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

LCTES 2010
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