CC 2025

17 papers

1. A Comparative Study on the Accuracy and the Speed of Static and Dynamic Program Classifiers · Anderson Faustino da Silva, Jerónimo Castrillón, Fernando Magno Quintão Pereira
2. A Deep Technical Review of nZDC Fault Tolerance · Minli Liao, Sam Ainsworth, Lev Mukhanov, Timothy M. Jones
3. Automatic Test Case Generation for Jasper App HDL Compiler: An Industry Experience · Mirlaine Crepalde, Augusto Mafra, Lucas Cavalini, Lucas Martins, Guilherme Amorim, Pedro Henrique Santos + 1 more
4. Biotite: A High-Performance Static Binary Translator using Source-Level Information · Changbin Chen, Shu Sugita, Yotaro Nada, Hidetsugu Irie, Shuichi Sakai, Ryota Shioya
5. Compiler Support for Speculation in Decoupled Access/Execute Architectures · Robert Szafarczyk, Syed Waqar Nabi, Wim Vanderbauwhede
6. DFA-Net: A Compiler-Specific Neural Architecture for Robust Generalization in Data Flow Analyses · Alexander Brauckmann, Anderson Faustino da Silva, Gabriel Synnaeve, Michael F. P. O'Boyle, Jerónimo Castrillón, Hugh Leather
7. Data-Efficient Performance Modeling via Pre-training · Chunting Liu, Riyadh Baghdadi
8. Enhancing Program Analysis with Deterministic Distinguishable Calling Context · Sungkeun Kim, Khanh Nguyen, Chia-Che Tsai, Jaewoo Lee, Abdullah Muzahid, Eun Jung Kim
9. Finding Missed Code Size Optimizations in Compilers using Large Language Models · Davide Italiano, Chris Cummins
10. Fusion of Operators of Computational Graphs via Greedy Clustering: The XNNC Experience · Michael Canesche, Vanderson Martins do Rosario, Edson Borin, Fernando Magno Quintão Pereira
11. LLM Compiler: Foundation Language Models for Compiler Optimization · Chris Cummins, Volker Seeker, Dejan Grubisic, Baptiste Rozière, Jonas Gehring, Gabriel Synnaeve + 1 more
12. MimIrADe: Automatic Differentiation in MimIR · Marcel Ullrich, Sebastian Hack, Roland Leißa
13. Overloading the Dot · Joseph Tan, Magnus Madsen
14. Post-Link Outlining for Code Size Reduction · Shaobai Yuan, Jihong He, Yihui Xie, Feng Wang, Jie Zhao
15. Scalable Data-Flow Modeling and Validation of Distributed-Memory Algorithms · Raneem Abu Yosef, Martin Kong
16. Secure Scripting with CHERIoT MicroPython · Duncan Lowther, Dejice Jacob, Jacob Trevor, Jeremy Singer
17. pyATF: Constraint-Based Auto-Tuning in Python · Richard Schulze, Sergei Gorlatch, Ari Rasch