LCTES 2010 - LCTES 2010 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems

Website http://www.cs.pitt.edu/lctes2010/ | Edit Freely

Category LCTES 2010

Deadline: October 17, 2009 | Date: April 12, 2010

Venue/Country: Stockholm, Sweden

Updated: 2010-06-04 19:32:22 (GMT+9)

Call For Papers - CFP

ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems

Stockholm, Sweden

April 12-16, 2010

in conjunction with CPSWeek 2010

As embedded and cyber physical systems increase in number, complexity, and diversity, new research challenges are encountered in areas such as verification, validation, meeting performance goals and resource constraints, creating and exploiting new hardware architectures, and scaling up to multicores and distributed systems built from multicores. LCTES 2010 solicits papers presenting original work on programming languages, compilers, tools, and architectures that help meet these challenges. Research papers (which propose innovative techniques) and experience papers (which report experimentation with and lessons learned from real-world systems and applications) are both welcome.

Papers are solicited on, but not limited to, the following topics in embedded and cyber physical systems:

Programming language issues, including:

Features to exploit multi-core, reconfigurable and other emerging architectures

Features for distributed, adaptive and real-time control in cyber physical systems

Language capabilities for specification, composition and construction of cyber physical systems

Language features and techniques to enhance reliability, verifiability, and security

Virtual machines, concurrency, inter-processor synchronization, memory management

Compiler issues, including:

Interaction between embedded/cyber physical architectures, operating systems and compilers

Interpreters, binary translation and just-in-time compilation

Support for enhanced debugging, profiling, exception/interrupt handling

Optimization for low power/energy, code and data size, and high performance (inc. real-time)

Tools for analysis, specification, design, and implementation, including:

Hardware, system software, and application software, and their interfaces

Distributed real-time control, media players, reconfigurable architectures

Validation and verification, system integration and testing

Performance monitoring and tuning

Runtime system support for embedded and cyber physical systems

Novel embedded and cyber physical architectures, including:

Design and implementation of novel architectures

Workload analysis and performance evaluation

Architecture support for new language features, compiler techniques and debugging tools