LCTES 2025 – Proceedings

26th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2025)

Frontmatter

Keynotes

Pioneering Pathways: The Evolution of Embedded Software Design Methodologies (Keynote)
Soonhoi Ha
(Seoul National University, Republic of Korea)

Publisher's Version

SCCharts Twelve Years Later: A Reflection on Sequential Constructiveness and Text-First Modeling (Keynote)
Reinhard von Hanxleden
(Kiel University, Germany)

Publisher's Version

AI and Accelerator Architecture and WIP

SPARQ: An Accelerator Architecture for Large Language Models with Joint Sparsity and Quantization Techniques
Seonggyu Choi and Hyungmin Cho
(Sungkyunkwan University, Republic of Korea)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced

ADaPS: Adaptive Data Partitioning to Parallelize CNN Inference on Resource-Constrained Hardware
Jaume Mateu Cuadrat and Bernhard Egger
(Seoul National University, Republic of Korea)

Publisher's Version

Graphitron: A Domain Specific Language for FPGA-Based Graph Processing Accelerator Generation
Xinmiao Zhang, Zheng Feng, Shengwen Liang, Xinyu Chen, Lei Zhang, and Cheng Liu
(Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Hong Kong University of Science and Technology, Guangzhou, China)

Publisher's Version

Modeling and Verification of Sigma Delta Neural Networks using Satisfiability Modulo Theory
Sirshendu Das, Ansuman Banerjee, and Swarup Kumar Mohalik
(Indian Statistical Institute, Kolkata, India; Ericsson Research, India)

Publisher's Version

Zoozve: A Strip-Mining-Free RISC-V Vector Extension with Arbitrary Register Grouping Compilation Support (WIP)
Siyi Xu, Limin Jiang, Yintao Liu, Yihao Shen, Yi Shi, Shan Cao, and Zhiyuan Jiang
(Shanghai University, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Towards Macro-Aware C-to-Rust Transpilation (WIP)
Robbe De Greef, Attilio Discepoli, Esteban Aguililla Klein, Théo Engels, Ken Hasselmann, and Antonio Paolillo
(Vrije Universiteit Brussel, Belgium; Université Libre de Bruxelles, Belgium; Royal Military Academy of Belgium, Belgium)

Publisher's Version

Embedded Systems and Real-Time Optimization

rtesbench: A Multi-core Benchmark Framework for Real-Time Embedded Systems
Yixiao Xing, Yixiao Li, and Hiroaki Takada
(Nagoya University, Japan)

Publisher's Version Info

ASC-Hook: Efficient System Call Interception for ARM
Yang Shen, Min Xie, Tao Wu, Wenzhe Zhang, Ruibo Wang, and Gen Zhang
(National University of Defense Technology, China; Changsha University of Science and Technology, China)

Publisher's Version

SSFFT: Energy-Efficient Selective Scaling for Fast Fourier Transform in Embedded GPUs
Dongwon Yang, Jaebeom Jeon, Minseong Gil, Junsu Kim, Seondeok Kim, Gunjae Koo, Myung Kuk Yoon, and Yunho Oh
(Korea University, Republic of Korea; Ewha Womans University, Republic of Korea)

Publisher's Version

vNV-Heap: An Ownership-Based Virtually Non-Volatile Heap for Embedded Systems
Markus Elias Gerber, Luis Gerhorst, Ishwar Mudraje, Kai Vogelgesang, Thorsten Herfet, and Peter Wägemann
(Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany; Saarland University, Germany)

Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable Results Reproduced

Compiler Technology and Auto-tuning

JetCert: A Self-Adaptive Compilation Framework for Fast and Safe Code Execution
Arman Cham Heidari and Mehran Alidoost Nia
(Shahid Beheshti University, Iran)

Publisher's Version Published Artifact Info Artifacts Available Artifacts Functional Results Reproduced

Grouptuner: Efficient Group-Aware Compiler Auto-tuning
Bingyu Gao, Mengyu Yao, Ziming Wang, Dong Liu, Ding Li, Xiangqun Chen, and Yao Guo
(Peking University, China; ZTE Corporation, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced

Multi-level Machine Learning-Guided Autotuning for Efficient Code Generation on a Deep Learning Accelerator
JooHyoung Cha, Munyoung Lee, Jinse Kwon, Jemin Lee, and Yongin Kwon
(UST, Republic of Korea; ETRI, Republic of Korea)

Publisher's Version

DSP-MLIR: A Domain-Specific Language and MLIR Dialect for Digital Signal Processing
Abhinav Kumar, Atharva Khedkar, Hwisoo So, Megan Kuo, Ameya Gurjar, Partha Biswas, and Aviral Shrivastava
(Arizona State University, USA; Yonsei University, Republic of Korea; MathWorks, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced

Systems

R-Visor: An Extensible Dynamic Binary Instrumentation and Analysis Framework for Open Instruction Set Architectures
Edwin Kayang, Mishel Jyothis Paul, Eric Jahns, Muslum Ozgur Ozmen, Milan Stojkov, Kevin Rudd, and Michel A. Kinsy
(Arizona State University, USA; University of Novi Sad, Serbia)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional

SetMP: Set Associative Mapping Management for Multi-plane Optimization in SSDs
Aobo Yang, Huanhuan Tian, Yuyang He, Jiaojiao Wu, Jiaxu Wu, Zhibing Sha, Zhigang Cai, and Jianwei Liao
(Southwest University, China)

Publisher's Version

LUCI: Lightweight UI Command Interface
Guna Lagudu, Vinayak Sharma, and Aviral Shrivastava
(Arizona State University, USA)

Publisher's Version

Kubism: Disassembling and Reassembling K-Means Clustering for Mobile Heterogeneous Platforms
Seondeok Kim, Sangun Choi, Jaebeom Jeon, Junsu Kim, Minseong Gil, Jaehyeok Ryu, and Yunho Oh
(Korea University, Republic of Korea)

Publisher's Version

proc time: 5.16