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

• Programming language challenges, including: Domain-specific languages

• Features to exploit multicore, reconfigurable, and other emerging architectures

• Features for distributed, adaptive, and real-time control embedded systems

• Language capabilities for specification, composition, and construction of embedded systems

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

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

• Compiler challenges, including: Interaction between embedded architectures, operating systems, and compilers

• Interpreters, binary translation, just-in-time compilation, and split compilation

• Support for enhanced programmer productivity

• Support for enhanced debugging, profiling, and exception/interrupt handling

• Optimization for low power/energy, code and data size, and best-effort and real-time performance

• Parameterized and structural compiler design space exploration and auto-tuning

• Tools for analysis, specification, design, and implementation, including: ◦Hardware, system software, application software, and their interfaces

• Distributed real-time control, media players, and reconfigurable architectures

• System integration and testing

• Performance estimation, monitoring, and tuning

• Run-time system support for embedded systems

• Design space exploration tools

• Support for system security and system-level reliability

• Approaches for cross-layer system optimization

• Theory and foundations of embedded systems, including: Predictability of resource behaviour: energy, space, time

• Validation and verification, in particular of concurrent and distributed systems

• Formal foundations of model-based design as basis for code generation, analysis, and verification

• Mathematical foundations for embedded systems

• Models of computations for embedded applications

• Novel embedded architectures, including: Design and implementation of novel architectures

• Workload analysis and performance evaluation

• Architecture support for new language features, virtualization, compiler techniques, debugging tools

• Achitectural features to improve power/energy, code/data size, and predictability

• Empirical studies and their reproduction, and confirmation