21^st ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems(LCTES 2020)

June 15-20, 2020,London, UK

Call for Papers

Embedded system design faces many challenges both with respect to functional requirements and nonfunctional requirements, many of which are conflicting. They are found in areas such as design and developer productivity, verification, validation, maintainability, and meeting performance goals and resource constraints. Novel design-time and run-time approaches are needed to meet the demand of emerging applications and to exploit new hardware paradigms, and in particular to scale up to multicores (including GPUs and FPGAs) and distributed systems built from multicores.

LCTES 2020 solicits papers presenting original work on programming languages, compilers, tools, theory, and architectures that help in overcoming these challenges. Research papers on innovative techniques are welcome, as well as experience papers on insights obtained by experimenting with real-world systems and applications.

Topics of Interest :

• Programming language challenges
• 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
• Compiler challenges
• 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
• Hardware, system software, application software, and their interfaces
• Distributed real-time control, media players, and reconfigurable architectures
• Run-time system support for embedded systems
• Predictability of resource behavior: energy, space, time
• Formal foundations of model-based design as the basis for code generation, analysis, and verification
• Mathematical foundations for embedded systems
• Design and implementation of novel architectures
• Architecture support for new language features, virtualization, compiler techniques, debugging tools
• Operating systems for mobile and IoT devices
• Memory and IO techniques for mobile and IoT devices

Paper Submission

Submissions must be in ACM SIGPLAN subformat of the acmart format by downloading acmart-sigplanproc.zip, double-column, 10-point type, and may not exceed 10 pages for full papers and 4 pages for work-in-progress papers (not including references; there is no page limit for references for both categories of papers.). A more detailed explanation about formatting can be found at http://www.sigplan.org/Resources/Author/. For papers in the work-in-progress categories.

The ACM template can be found at https://www.acm.org/publications/proceedings-template.

The submission site: is https://lctes20.hotcrp.com.

Important Dates