[hpc-announce] [LCTES'21] Submission Deadline Extended

[Xu Liu]

Call for Papers

Submission extended to Mar 8, 2021.

https://pldi21.sigplan.org/home/LCTES-2021#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 2021 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.

Paper Categories:

Full paper: 10 pages presenting original work.
Work-in-progress paper: 4 pages papers presenting original ideas that
are likely to trigger interesting discussions.

Accepted papers in both categories will appear in the proceedings
published by ACM.

This year LCTES is introducing a journal mode in addition to the usual
conference mode. All accepted full papers will be invited to be
published in a special issue of ACM Transactions on Embedded Computing
Systems (TECS).

Original contributions are solicited on the topics of interest
including, but not limited to:

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 behavior: energy, space, time
Validation and verification, in particular of concurrent and distributed systems
Formal foundations of model-based design as the 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
Architectural features to improve power/energy, code/data size, and
predictability
Mobile systems and IoT, including:
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 IO techniques for mobile and IoT devices
Empirical studies and their reproduction, and confirmation


-- 
Xu Liu
Assistant Professor
Department of Computer Science
North Carolina State University