LCTES 2025: Call for Papers

Programming languages, compilers, and tools are crucial interfaces between embedded systems and emerging real-world applications, including deep neural networks, large language models, autonomous vehicles, and healthcare. These applications present challenges that often conflict with conventional design requirements and increase the complexity of embedded system designs. They also leverage new hardware paradigms like multicores (CPUs, GPUs, FPGAs) and distributed systems. Consequently, programming languages, compilers, and tools are increasingly vital for addressing productivity, validation, verification, maintainability, safety, and reliability, while meeting performance goals and resource constraints.

The 26th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory of Embedded Systems (LCTES 2025) invites original work on programming languages, compilers, tools, theory, and architectures that address these challenges. Both research papers on innovative techniques and experience papers on real-world system experimentation are welcome.

Important Dates

• Abstract Submission: March 7, 2025 (soft deadline, new submissions open until March 21, 2025)
• Paper Submission: March 21, 2025 (extended firm deadline)
• Paper Notification: April 21, 2025
• Artifact Evaluation Submission: April 28, 2025
• Artifact Evaluation Notification: May 9, 2025
• Camera-Ready Submission: May 12, 2025
• Conference Dates: June 16–17, 2025

Paper Categories

• Full Paper: Up to 10 pages, presenting original work. (Maximum 2 additional pages for references and appendix are allowed).
• Poster, Work-in-Progress, and Invited Paper: 4 pages, presenting original ideas likely to stimulate discussion.

Accepted papers in both categories will be published in ACM proceedings. Distinguished Paper awards will recognize outstanding work.

Special Issue Invitation

Accepted full papers are invited to submit an extended version to the ACM Transactions on Embedded Computing Systems (TECS), requiring substantial additional material and undergoing a separate review process. Papers submitted to LCTES (including WIP papers) are also welcome to submit to a special issue of the IEEE Embedded Systems Letters (IEEE ESL), requiring a distinct intellectual contribution and a separate review process.

Topics of Interest

Original contributions are solicited in areas including, but not limited to:

Programming Language Challenges

• Domain-specific languages
• Features for multicore, reconfigurable, and emerging architectures
• Features for distributed, adaptive, and real-time control embedded systems
• Capabilities for specification, composition, and construction of embedded systems
• Language features and techniques for reliability, verifiability, and security
• Virtual machines, concurrency, inter-processor synchronization, and memory management

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 debugging, profiling, and exception/interrupt handling
• Optimization for low power/energy, code/data size, and real-time performance
• Parameterized and structural compiler design space exploration and auto-tuning

Tools for Analysis, Specification, Design, and Implementation

• 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 reliability
• Cross-layer system optimization approaches

Theory and Foundations of Embedded Systems

• Predictability of resource behavior (energy, space, time)
• Validation and verification (especially for concurrent and distributed systems)
• Formal foundations of model-based design for code generation, analysis, and verification
• Mathematical foundations for embedded systems
• Models of computation for embedded applications

Novel Embedded Architectures

• Design and implementation of novel architectures
• Workload analysis and performance evaluation
• Architecture support for new language features, virtualization, compiler techniques, and debugging tools
• Architectural features for power/energy, code/data size, and predictability

Mobile Systems and IoT

• Operating systems for mobile and IoT devices
• Compiler and software tools for mobile and IoT systems
• Energy management for mobile and IoT devices
• Memory and I/O techniques for mobile and IoT devices

Large Language Models (LLMs) and Programming Languages/Compilers

• Impact of LLMs on embedded system design and architectures
• LLM-based debugging tools for embedded software
• Adapting LLMs for resource-constrained environments
• LLMs for embedded systems and compilers
• LLMs for program analysis, testing, and verification

Submission Guidelines

• Submissions must use the ACM SIGPLAN subformat of the acmart format (available via ACM Resources for Authors).
• Font size: 10pt.
• Page limit: 10 pages for full papers (excluding bibliography, with up to 2 extra pages for references and appendix); 4 pages for work-in-progress/poster/invited papers.
• References must list all authors (no "et al.") and use a numeric citation style (e.g., [52]).
• Submissions must be in PDF format and printable on US Letter and A4 paper.
• For work-in-progress papers, append "(WIP)" to the title.

Double-Blind Reviewing

To ensure double-blind reviewing:

• Omit author names and affiliations.
• Refer to authors' own prior work in the third person (e.g., "The work of Smith [1]..." instead of "Our previous work [1]...").
• Do not omit or anonymize essential background references.

Submission Site

Submissions must be made electronically through href="https://lctes2025.hotcrp.com/" - https://lctes2025.hotcrp.com/.

Co-located Conferences

LCTES 2025 is co-located with PLDI 2025, ISMM, and various workshops including ARRAY, EGRAPHS, PLMW @ PLDI, RPLS, SOAP, Sparse, and WQS.

Organizing Committee

• General Chair: Partha Roop (University of Auckland)
• Program Chairs: Yongjun Park (Yonsei University), Jeronimo Castrillon (TU Dresden, Germany)
• Artifact Evaluation Co-Chairs: Avinash Malik (University of Auckland), Kwanghyun Park (Yonsei University, South Korea)

For a full list of committee members, please refer to the conference website.

Please note: By submitting a paper, authors agree that if accepted, one author must register at the conference rate and present the paper in person at LCTES 2025.