LCTES 2024 – Proceedings

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

Frontmatter

Optimization

Accelerating Shared Library Execution in a DBT
Tom Spink and Björn Franke
(University of St Andrews, United Kingdom; University of Edinburgh, United Kingdom)

Publisher's Version Article: pldiws24lctesmain-p11-p doi:10.1145/3652032.3657565

Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures
Dorra Ben Khalifa and Matthieu Martel
(Fédération ENAC ISAE-SUPAERO ONERA - Université de Toulouse, France; University of Peprignan, France)

Publisher's Version Article: pldiws24lctesmain-p60-p doi:10.1145/3652032.3657578

TinySeg: Model Optimizing Framework for Image Segmentation on Tiny Embedded Systems
Byungchul Chae, Jiae Kim, and Seonyeong Heo
(Kyung Hee University, South Korea)

Publisher's Version Article: pldiws24lctesmain-p46-p doi:10.1145/3652032.3657576

MixPert: Optimizing Mixed-Precision Floating-Point Emulation on GPU Integer Tensor Cores
Zejia Lin, Aoyuan Sun, Xianwei Zhang, and Yutong Lu
(Sun Yat-sen University, China)

Publisher's Version Article: pldiws24lctesmain-p17-p doi:10.1145/3652032.3657567

Optimistic and Scalable Global Function Merging
Kyungwoo Lee, Manman Ren, and Ellis Hoag
(Meta, USA)

Publisher's Version Article: pldiws24lctesmain-p41-p doi:10.1145/3652032.3657575

Language-Based Deployment Optimization for Random Forests (Invited Paper)
Jannik Malcher, Daniel Biebert, Kuan-Hsun Chen, Sebastian Buschjäger, Christian Hakert, and Jian-Jia Chen
(TU Dortmund, Germany; University of Twente, Netherlands; Lamarr Institute for Machine Learning and Artificial Intelligence, Germany)

Publisher's Version Article: pldiws24lctesmain-pi1-p doi:10.1145/3652032.3659366

Embedded Systems

SmartVisor: User-Friendly Hypervisor for Mobile Robots
Guanyu Chen, Pan Lv, Hong Li, and Guoqing Yang
(Zhejiang University, China)

Publisher's Version Article: pldiws24lctesmain-p36-p doi:10.1145/3652032.3657573

Orchestrating Multiple Mixed Precision Models on a Shared Precision-Scalable NPU
Kiung Jung, Seok Namkoong, Hongjun Um, Hyejun Kim, Youngsok Kim, and Yongjun Park
(Yonsei University, South Korea; Hanyang University, South Korea)

Publisher's Version Article: pldiws24lctesmain-p30-p doi:10.1145/3652032.3657571

WoCA: Avoiding Intermittent Execution in Embedded Systems by Worst-Case Analyses with Device States
Phillip Raffeck, Johannes Maier, and Peter Wägemann
(Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany)

Publisher's Version Article: pldiws24lctesmain-p19-p doi:10.1145/3652032.3657569

Unmasking the Lurking: Malicious Behavior Detection for IoT Malware with Multi-label Classification
Ruitao Feng, Sen Li, Sen Chen, Mengmeng Ge, Xuewei Li, and Xiaohong Li
(Singapore Management University, Singapore; Tianjin University, China; Nanyang Technological University, Singapore)

Publisher's Version Article: pldiws24lctesmain-p53-p doi:10.1145/3652032.3657577

TWFuzz: Fuzzing Embedded Systems with Three Wires
Zhongwen Feng and Junyan Ma
(Chang'an University, China)

Publisher's Version Article: pldiws24lctesmain-p18-p doi:10.1145/3652032.3657568

OpenMP-RT: Native Pragma Support for Real-Time Tasks and Synchronization with LLVM under Linux
Brayden McDonald and Frank Mueller
(North Carolina State University, USA)

Publisher's Version Article: pldiws24lctesmain-p40-p doi:10.1145/3652032.3657574

Analysis and Testing

EVMBT: A Binary Translation Scheme for Upgrading EVM Smart Contracts to WASM
Weimin Chen, Xiapu Luo, Haoyu Wang, Heming Cui, Shuyu Zheng, and Xuanzhe Liu
(Hong Kong Polytechnic University, China; Huazhong University of Science and Technology, China; University of Hong Kong, China; Peking University, China)

Publisher's Version Info Article: pldiws24lctesmain-p22-p doi:10.1145/3652032.3657570

CodeExtract: Enhancing Binary Code Similarity Detection with Code Extraction Techniques
Lichen Jia, Chenggang Wu, Peihua Zhang, and Zhe Wang
(Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)

Publisher's Version Article: pldiws24lctesmain-p32-p doi:10.1145/3652032.3657572

Foundations for a Rust-Like Borrow Checker for C
Tiago Silva, João Bispo, and Tiago Carvalho
(University of Porto, Portugal; INESC TEC, Portugal; Polytechnic Institute of Porto, Portugal)

Publisher's Version Info Article: pldiws24lctesmain-p61-p doi:10.1145/3652032.3657579

Enhancing Code Vulnerability Detection via Vulnerability-Preserving Data Augmentation
Shangqing Liu, Wei Ma, Jian Wang, Xiaofei Xie, Ruitao Feng, and Yang Liu
(Nanyang Technological University, Singapore; Singapore Management University, Singapore)

Publisher's Version Article: pldiws24lctesmain-p2-p doi:10.1145/3652032.3657564

A Flexible-Granularity Task Graph Representation and Its Generation from C Applications (WIP)
Tiago Santos, João Bispo, and João M. P. Cardoso
(University of Porto, Portugal)

Publisher's Version Article: pldiws24lctesmain-p63-p doi:10.1145/3652032.3657580

proc time: 0.03