CC 2024 – Proceedings

Frontmatter

Code Generation and Synthesis

Fast Template-Based Code Generation for MLIR
Florian Drescher and Alexis Engelke
(TU Munich, Germany)

@InProceedings{CC24p1, author = {Florian Drescher and Alexis Engelke}, title = {Fast Template-Based Code Generation for MLIR}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3640537.3641567}, year = {2024}, } Publisher's Version Artifacts Reusable Results Reproduced Article: cc24main-p31-p (type: Full Paper) doi:10.1145/3640537.3641567

A Unified Memory Dependency Framework for Speculative High-Level Synthesis
Jean-Michel Gorius, Simon Rokicki, and Steven Derrien
(University of Rennes - Inria - CNRS - IRISA, France)

@InProceedings{CC24p16, author = {Jean-Michel Gorius and Simon Rokicki and Steven Derrien}, title = {A Unified Memory Dependency Framework for Speculative High-Level Synthesis}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {16-15}, doi = {10.1145/3640537.3641581}, year = {2024}, } Publisher's Version Article: cc24main-p109-p (type: Full Paper) doi:10.1145/3640537.3641581

Static and Dynamic Analysis

If-Convert as Early as You Must
Dorit Nuzman, Ayal Zaks, and Ziv Ben-Zion
(Mobileye, Israel)

@InProceedings{CC24p31, author = {Dorit Nuzman and Ayal Zaks and Ziv Ben-Zion}, title = {If-Convert as Early as You Must}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3640537.3641562}, year = {2024}, } Publisher's Version Article: cc24main-p2-p (type: Full Paper) doi:10.1145/3640537.3641562

Paguroidea: Fused Parser Generator with Transparent Semantic Actions
Yifan Zhu, Quartic Cat, Boluo Ge, and Shaotong Sun
(University of Rochester, USA; Chinese University of Hong Kong, Shenzhen, China; North Carolina State University, USA)

@InProceedings{CC24p46, author = {Yifan Zhu and Quartic Cat and Boluo Ge and Shaotong Sun}, title = {Paguroidea: Fused Parser Generator with Transparent Semantic Actions}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {46-45}, doi = {10.1145/3640537.3641563}, year = {2024}, } Publisher's Version Artifacts Reusable Results Reproduced Article: cc24main-p12-p (type: Full Paper) doi:10.1145/3640537.3641563

Region-Based Data Layout via Data Reuse Analysis
Caio Salvador Rohwedder, João P. L. De Carvalho, and José Nelson Amaral
(University of Alberta, Canada)

@InProceedings{CC24p61, author = {Caio Salvador Rohwedder and João P. L. De Carvalho and José Nelson Amaral}, title = {Region-Based Data Layout via Data Reuse Analysis}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3640537.3641571}, year = {2024}, } Publisher's Version Artifacts Reusable Results Reproduced Article: cc24main-p48-p (type: Full Paper) doi:10.1145/3640537.3641571

A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction
Wei Li, Dongjie He, Yujiang Gui, Wenguang Chen, and Jingling Xue
(UNSW, Australia; Tsinghua University, China)

@InProceedings{CC24p76, author = {Wei Li and Dongjie He and Yujiang Gui and Wenguang Chen and Jingling Xue}, title = {A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {76-75}, doi = {10.1145/3640537.3641574}, year = {2024}, } Publisher's Version Artifacts Reusable Results Reproduced Article: cc24main-p65-p (type: Full Paper) doi:10.1145/3640537.3641574

CoSense: Compiler Optimizations using Sensor Technical Specifications
Pei Mu, Nikolaos Mavrogeorgis, Christos Vasiladiotis, Vasileios Tsoutsouras, Orestis Kaparounakis, Phillip Stanley-Marbell, and Antonio Barbalace
(University of Edinburgh, United Kingdom; University of Cambridge, United Kingdom)

@InProceedings{CC24p91, author = {Pei Mu and Nikolaos Mavrogeorgis and Christos Vasiladiotis and Vasileios Tsoutsouras and Orestis Kaparounakis and Phillip Stanley-Marbell and Antonio Barbalace}, title = {CoSense: Compiler Optimizations using Sensor Technical Specifications}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {91-90}, doi = {10.1145/3640537.3641576}, year = {2024}, } Publisher's Version Artifacts Functional Results Reproduced Article: cc24main-p76-p (type: Full Paper) doi:10.1145/3640537.3641576

Runtime Techniques

UNIFICO: Thread Migration in Heterogeneous-ISA CPUs without State Transformation
Nikolaos Mavrogeorgis, Christos Vasiladiotis, Pei Mu, Amir Khordadi, Björn Franke, and Antonio Barbalace
(University of Edinburgh, United Kingdom)

@InProceedings{CC24p106, author = {Nikolaos Mavrogeorgis and Christos Vasiladiotis and Pei Mu and Amir Khordadi and Björn Franke and Antonio Barbalace}, title = {UNIFICO: Thread Migration in Heterogeneous-ISA CPUs without State Transformation}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {106-105}, doi = {10.1145/3640537.3641565}, year = {2024}, } Publisher's Version Artifacts Reusable Results Reproduced Article: cc24main-p15-p (type: Full Paper) doi:10.1145/3640537.3641565

BLQ: Light-Weight Locality-Aware Runtime for Blocking-Less Queuing
Qinzhe Wu, Ruihao Li, Jonathan Beard, and Lizy John
(University of Texas at Austin, USA; Arm, USA)

@InProceedings{CC24p121, author = {Qinzhe Wu and Ruihao Li and Jonathan Beard and Lizy John}, title = {BLQ: Light-Weight Locality-Aware Runtime for Blocking-Less Queuing}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {121-120}, doi = {10.1145/3640537.3641568}, year = {2024}, } Publisher's Version Article: cc24main-p35-p (type: Full Paper) doi:10.1145/3640537.3641568

Debugging, Profiling, and Parallelism

APPy: Annotated Parallelism for Python on GPUs
Tong Zhou, Jun Shirako, and Vivek Sarkar
(Georgia Institute of Technology, USA)

@InProceedings{CC24p136, author = {Tong Zhou and Jun Shirako and Vivek Sarkar}, title = {APPy: Annotated Parallelism for Python on GPUs}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {136-135}, doi = {10.1145/3640537.3641575}, year = {2024}, } Publisher's Version Archive submitted (1.4 MB) Article: cc24main-p69-p (type: Full Paper) doi:10.1145/3640537.3641575

Accurate Coverage Metrics for Compiler-Generated Debugging Information
J. Ryan Stinnett and Stephen Kell
(King’s College London, United Kingdom)

@InProceedings{CC24p151, author = {J. Ryan Stinnett and Stephen Kell}, title = {Accurate Coverage Metrics for Compiler-Generated Debugging Information}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {151-150}, doi = {10.1145/3640537.3641578}, year = {2024}, } Publisher's Version Article: cc24main-p91-p (type: Full Paper) doi:10.1145/3640537.3641578

FlowProf: Profiling Multi-threaded Programs using Information-Flow
Ahamed Al Nahian and Brian Demsky
(University of California, Irvine, USA)

@InProceedings{CC24p166, author = {Ahamed Al Nahian and Brian Demsky}, title = {FlowProf: Profiling Multi-threaded Programs using Information-Flow}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {166-165}, doi = {10.1145/3640537.3641577}, year = {2024}, } Publisher's Version Article: cc24main-p89-p (type: Full Paper) doi:10.1145/3640537.3641577

Reducing the Overhead of Exact Profiling by Reusing Affine Variables
Leon Frenot and Fernando Magno Quintão Pereira
(ENS Lyon, France; Federal University of Minas Gerais, Brazil)

@InProceedings{CC24p181, author = {Leon Frenot and Fernando Magno Quintão Pereira}, title = {Reducing the Overhead of Exact Profiling by Reusing Affine Variables}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {181-180}, doi = {10.1145/3640537.3641569}, year = {2024}, } Publisher's Version Article: cc24main-p37-p (type: Full Paper) doi:10.1145/3640537.3641569

Stale Profile Matching
Amir Ayupov, Maksim Panchenko, and Sergey Pupyrev
(Meta, USA)

@InProceedings{CC24p196, author = {Amir Ayupov and Maksim Panchenko and Sergey Pupyrev}, title = {Stale Profile Matching}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {196-195}, doi = {10.1145/3640537.3641573}, year = {2024}, } Publisher's Version Article: cc24main-p64-p (type: Full Paper) doi:10.1145/3640537.3641573

Safety and Correctness

From Low-Level Fault Modeling (of a Pipeline Attack) to a Proven Hardening Scheme
Sébastien Michelland, Christophe Deleuze, and Laure Gonnord
(Université Grenoble Alpes, France)

@InProceedings{CC24p211, author = {Sébastien Michelland and Christophe Deleuze and Laure Gonnord}, title = {From Low-Level Fault Modeling (of a Pipeline Attack) to a Proven Hardening Scheme}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {211-210}, doi = {10.1145/3640537.3641570}, year = {2024}, } Publisher's Version Artifacts Reusable Results Reproduced Article: cc24main-p40-p (type: Full Paper) doi:10.1145/3640537.3641570

Clog: A Declarative Language for C Static Code Checkers
Alexandru Dura and Christoph Reichenbach
(Lund University, Sweden)

@InProceedings{CC24p226, author = {Alexandru Dura and Christoph Reichenbach}, title = {Clog: A Declarative Language for C Static Code Checkers}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {226-225}, doi = {10.1145/3640537.3641579}, year = {2024}, } Publisher's Version Artifacts Reusable Results Reproduced Article: cc24main-p94-p (type: Full Paper) doi:10.1145/3640537.3641579

Compilers and Machine Learning

Compiler-Based Memory Encryption for Machine Learning on Commodity Low-Power Devices
Kiwan Maeng and Brandon Lucia
(Pennsylvania State University, USA; Carnegie Mellon University, USA)

@InProceedings{CC24p241, author = {Kiwan Maeng and Brandon Lucia}, title = {Compiler-Based Memory Encryption for Machine Learning on Commodity Low-Power Devices}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {241-240}, doi = {10.1145/3640537.3641564}, year = {2024}, } Publisher's Version Article: cc24main-p13-p (type: Full Paper) doi:10.1145/3640537.3641564

YFlows: Systematic Dataflow Exploration and Code Generation for Efficient Neural Network Inference using SIMD Architectures on CPUs
Cyrus Zhou, Zack Hassman, Dhirpal Shah, Vaughn Richard, and Yanjing Li
(University of Chicago, USA)

@InProceedings{CC24p256, author = {Cyrus Zhou and Zack Hassman and Dhirpal Shah and Vaughn Richard and Yanjing Li}, title = {YFlows: Systematic Dataflow Exploration and Code Generation for Efficient Neural Network Inference using SIMD Architectures on CPUs}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {256-255}, doi = {10.1145/3640537.3641566}, year = {2024}, } Publisher's Version Article: cc24main-p30-p (type: Full Paper) doi:10.1145/3640537.3641566

Fast and Accurate Context-Aware Basic Block Timing Prediction using Transformers
Abderaouf Nassim Amalou, Elisa Fromont, and Isabelle Puaut
(University of Rennes - Inria - CNRS - IRISA, France; University of Rennes - IUF - Inria - CNRS - IRISA, France)

@InProceedings{CC24p271, author = {Abderaouf Nassim Amalou and Elisa Fromont and Isabelle Puaut}, title = {Fast and Accurate Context-Aware Basic Block Timing Prediction using Transformers}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {271-270}, doi = {10.1145/3640537.3641572}, year = {2024}, } Publisher's Version Article: cc24main-p58-p (type: Full Paper) doi:10.1145/3640537.3641572

The Next 700 ML-Enabled Compiler Optimizations
S. VenkataKeerthy, Siddharth Jain, Umesh Kalvakuntla, Pranav Sai Gorantla, Rajiv Shailesh Chitale, Eugene Brevdo, Albert Cohen, Mircea Trofin, and Ramakrishna Upadrasta
(IIT Hyderabad, India; Google DeepMind, USA; Google DeepMind, France; Google, USA)

@InProceedings{CC24p286, author = {S. VenkataKeerthy and Siddharth Jain and Umesh Kalvakuntla and Pranav Sai Gorantla and Rajiv Shailesh Chitale and Eugene Brevdo and Albert Cohen and Mircea Trofin and Ramakrishna Upadrasta}, title = {The Next 700 ML-Enabled Compiler Optimizations}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {286-285}, doi = {10.1145/3640537.3641580}, year = {2024}, } Publisher's Version Artifacts Functional Results Reproduced Article: cc24main-p106-p (type: Full Paper) doi:10.1145/3640537.3641580

Exponentially Expanding the Phase-Ordering Search Space via Dormant Information
Ruobing Han and Hyesoon Kim
(Georgia Institute of Technology, USA)

@InProceedings{CC24p301, author = {Ruobing Han and Hyesoon Kim}, title = {Exponentially Expanding the Phase-Ordering Search Space via Dormant Information}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {301-300}, doi = {10.1145/3640537.3641582}, year = {2024}, } Publisher's Version Article: cc24main-p115-p (type: Full Paper) doi:10.1145/3640537.3641582

proc time: 0.05