PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea

This program is tentative and subject to change.

Tue 17 Jun 2025 14:00 - 14:20 at Grand Ball Room 1 - Compiler Technology and Auto-Tuning

Embedded and safety-critical applications must operate reliably under dynamic and resource-constrained environments, where maintaining a balance between safety guarantees and system performance is crucial. Traditional static compilation approaches lack the flexibility needed to adaptively respond to runtime variations in operational conditions, often leading either to compromised safety or suboptimal performance. To address these challenges, we introduce JetCert, a self-adaptive compilation framework designed for embedded and safety-critical systems. JetCert dynamically transitions between formally verified, safety-critical compilation and optimized, high-performance compilation strategies based on runtime monitoring and analysis. By integrating seamlessly with existing self-adaptive control loops, JetCert ensures adaptive runtime decision-making. Moreover, JetCert features a priority-based continuous integration and deployment (CI/CD) pipeline designed for embedded environments. It supports rapid and reliable software updates. Experimental results demonstrate JetCert’s capability to effectively maintain safety constraints while optimizing system performance in dynamic embedded scenarios.

This program is tentative and subject to change.

Tue 17 Jun

Displayed time zone: Seoul change

14:00 - 15:20
Compiler Technology and Auto-TuningLCTES at Grand Ball Room 1
14:00
20m
Talk
JetCert: A Self-Adaptive Compilation Framework for Fast and Safe Code Execution
LCTES
Arman Cham Heidari Shahid Beheshti University, Mehran Alidoost Nia Shahid Beheshti University
DOI
14:20
20m
Talk
Grouptuner: Efficient Group-Aware Compiler Auto-tuning
LCTES
Bingyu Gao Peking University, Mengyu Yao Peking University, Ziming Wang Peking University, Dong Liu ZTE, Ding Li Peking University, Xiangqun Chen Peking University, Yao Guo Peking University
DOI
14:40
20m
Talk
Multi-level Machine Learning-Guided Autotuning for Efficient Code Generation on a Deep Learning Accelerator
LCTES
JooHyoung Cha Korea University of Science and Technology, Munyoung Lee ETRI, Jinse Kwon ETRI, Jemin Lee ETRI, Yongin Kwon ETRI
DOI
15:00
20m
Talk
DSP-MLIR: A Domain-Specific Language and MLIR Dialect for Digital Signal Processing
LCTES
Abhinav Kumar Arizona State University, Atharva Khedkar Arizona State University, Hwisoo So Yonsei University, Megan Kuo Arizona State University, Ameya Gurjar Arizona State University, Partha Biswas MathWorks, Aviral Shrivastava Arizona State University
DOI