JetCert: A Self-Adaptive Compilation Framework for Fast and Safe Code Execution
This program is tentative and subject to change.
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 JunDisplayed time zone: Seoul change
14:00 - 15:20 | |||
14:00 20mTalk | JetCert: A Self-Adaptive Compilation Framework for Fast and Safe Code Execution LCTES DOI | ||
14:20 20mTalk | 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 20mTalk | 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 20mTalk | 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 |