LCTES 2024
as the organisers put it
Welcome to the 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2024)! LCTES provides a link between the programming languages and embedded systems engineering communities. Researchers and developers in these areas are addressing many similar problems but with different backgrounds and approaches. LCTES is intended to expose researchers and developers from either area to relevant work and interesting problems in the other area and provide a forum where they can interact. LCTES’24 is co-located with PLDI and FCRC 2024, sharing t ...
who it's for
compiler researchers, embedded systems engineers, programming language researchers, security researchers, machine learning engineers, robotics systems developers
topics
flexible-granularity task graph representation; vulnerability-preserving data augmentation; Rust-like borrow checker for C; binary code similarity extraction; EVM bytecode to WASM translation; OpenMP real-time task support; IoT malware graph masking; microkernel hypervisor for robots; optimistic global function merging; mixed-precision emulation on tensor cores; dynamic tensor spilling for tiny ML; fixed-point code generation with SMT
| title | author | length |
|---|---|---|
| (WIP) A Flexible-Granularity Task Graph Representation and its Generation from C(…) | Tiago Santos, João Bispo, João M. P Cardoso | 14m |
Proposes an extended task graph built as an AST overlay and generated by a source‑to‑source compiler that normalizes C into a two‑type function form… | ||
| Enhancing Code Vulnerability Detection via Vulnerability-Preserving Data Augmentation | Shangqing Liu, Wei Ma, Jian Wang, Xiaofei Xie, Ruitao Feng, Yang Liu | 12m |
Claims a fine-grained detector that trains five binary classifiers for different CWE types and combines them by majority vote, built on an edge-aware GGNN and… | ||
| Foundations for a Rust-Like Borrow Checker for C | Tiago Silva, João Bispo, Tiago Carvalho | 17m |
Claim: Rust's MIR borrow checker is replicated for C by normalizing C, building a MIR-like CFG, and running a lifetime/ownership analysis that flags… | ||
| CodeExtract: Enhancing Binary Code Similarity Detection with Code Extraction Techniques | Lichen Jia, Chenggang Wu, Peihua Zhang, Zhe Wang | 16m |
CodeExtract implements proactive inlining for single-call functions plus duplicate basic-block extraction to turn inlined code back into calls, operating on… | ||
| EVMBT: A Binary Translation Scheme for Upgrading EVM Smart Contracts to WASM | Weimin Chen, Xiapu Luo, Haoyu Wang, Heming Cui, Shuyu Zheng, Xuanzhe Liu | 13m |
EVMBT implements a binary translation pipeline that lifts EVM bytecode into LLVM IR via devirtualization of the EVM stack and resolves indirect jumps with… | ||
| OpenMP-RT: Native Pragma Support for Real-Time Tasks and Synchronization with LLVM(…) | Brayden McDonald, Frank Mueller | 22m |
Implements a new pragma-based real-time task construct in the LLVM C compiler under OpenMP 5.1 for Linux (uses PREEMPT_RT scheduler), providing a OpenMP-RT… | ||
| Unmasking the Lurking: Malicious Behavior Detection for IoT Malware with Multi-label(…) | Ruitao Feng, Sen Li, Sen Chen, Mengmeng Ge, Xuewei Li, Xiaohong Li | 14m |
MaGraMal identifies four fine-grained lurking behaviors from a manually annotated 5,000+ IoT malware corpus built in three person-months and trains over 224… | ||
| SmartVisor: User-Friendly Hypervisor for Mobile Robots | Guanyu Chen, Pan Lv, Hong Li, Guoqing Yang | 09m |
SmartVisor is a microkernel-based hypervisor that runs multiple OSes on mobile robots, implements a multi-VM management module with driver support, parallel… | ||
| Optimistic and Scalable Global Function Merging | Kyungwoo Lee, Manman Ren, Ellis Hoag | 16m |
Uses optimistic global function merging that publishes stable, IR‑independent summaries across codegen runs, creates merge candidates per module, and relies on… | ||
| MixPert: Optimizing Mixed-Precision Floating-Point Emulation on GPU Integer Tensor Cores | Zejia Lin, Aoyuan Sun, Xianwei Zhang, Yutong Lu | 12m |
MixPert implements a 3-integer shared-exponent format and an optimized data layout plus augmented pipeline to emulate FP32 on GPU Integer Tensor Cores, using… | ||
| TinySeg: Model Optimizing Framework for Image Segmentation on Tiny Embedded Systems | Byungchul Chae, Jiae Kim, Seonyeong Heo | 15m |
Framework called TinySeg implements dynamic tensor spilling and fused fetching on top of TensorFlow Lite for Microcontrollers, targeting an image‑segmentation… | ||
| Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures | Dorra Ben Khalifa, Matthieu Martel | 14m |
A tool named popins converts TensorFlow models to synthesized fixed‑point C by solving integer constraints that pick per-weight and per-activation formats; it… | ||
| Accelerating Shared Library Execution in a DBT | Tom Spink, Björn Franke | 17m |
Implements mixed-mode execution inside QEMU to intercept PLT entries and redirect guest calls to native host library functions, mapping guest PC addresses to… | ||
| Three Colours of Fuzzing: Reflections and Open Challenges | Cristian Cadar | 53m |
Compares whitebox, greybox and blackbox fuzzing with concrete tools and results: CLE (symbolic execution) runs forever experiments and times out on some CVEs… | ||
| nothing matches | ||