CC 2022
31st ACM SIGPLAN International Conference on Compiler Construction (CC 2022)
Powered by
Conference Publishing Consulting

31st ACM SIGPLAN International Conference on Compiler Construction (CC 2022), April 02–03, 2022, Seoul, South Korea

CC 2022 – Proceedings

Contents - Abstracts - Authors


Title Page
Welcome from the Chairs
CC 2022 Conference Organization
Sponsors of CC 2022
Report from the Artifact Evaluation Committee


Writing and Verifying a Quantum Optimizing Compiler (Keynote)
Robert RandORCID logo
(University of Chicago, USA)
Publisher's Version

Quantum Computing and Hardware Design

QSSA: An SSA-Based IR for Quantum Computing
Anurudh Peduri ORCID logo, Siddharth Bhat, and Tobias Grosser ORCID logo
(IIIT Hyderabad, India; University of Edinburgh, UK)
Publisher's Version Artifacts Reusable Results Reproduced
QRANE: Lifting QASM Programs to an Affine IR
Blake Gerard, Tobias Grosser ORCID logo, and Martin Kong
(University of Oklahoma, USA; University of Edinburgh, UK)
Publisher's Version Artifacts Reusable
A Polynomial Time Exact Solution to the Bit-Aware Register Binding Problem
Michael Canesche ORCID logo, Ricardo Ferreira, José Augusto Nacif, and Fernando Magno Quintão Pereira ORCID logo
(Federal University of Minas Gerais, Brazil; Federal University of Viçosa, Brazil)
Publisher's Version

Compiler Theory

Graph Transformations for Register-Pressure-Aware Instruction Scheduling
Ghassan ShobakiORCID logo, Justin Bassett ORCID logo, Mark Heffernan ORCID logo, and Austin Kerbow ORCID logo
(California State University at Sacramento, USA; Google, USA)
Publisher's Version
Caviar: An E-Graph Based TRS for Automatic Code Optimization
Smail Kourta ORCID logo, Adel Abderahmane Namani ORCID logo, Fatima Benbouzid-Si Tayeb ORCID logo, Kim Hazelwood ORCID logo, Chris Cummins, Hugh Leather ORCID logo, and Riyadh Baghdadi ORCID logo
(NYU Abu Dhabi, United Arab Emirates; École nationale supérieure d'informatique, Algeria; Meta AI, USA)
Publisher's Version Info
On the Computation of Interprocedural Weak Control Closure
Abu Naser MasudORCID logo and Björn LisperORCID logo
(Mälardalen University, Sweden)
Publisher's Version
Seamless Deductive Inference via Macros
Arash Sahebolamri ORCID logo, Thomas Gilray, and Kristopher Micinski ORCID logo
(Syracuse University, USA; University of Alabama at Birmingham, USA)
Publisher's Version Info Artifacts Reusable Results Reproduced

Compilers and Machine Learning

One-Shot Tuner for Deep Learning Compilers
Jaehun Ryu ORCID logo, Eunhyeok ParkORCID logo, and Hyojin SungORCID logo
(POSTECH, South Korea)
Publisher's Version Artifacts Functional
Training of Deep Learning Pipelines on Memory-Constrained GPUs via Segmented Fused-Tiled Execution
Yufan XuORCID logo, Saurabh RajeORCID logo, Atanas Rountev ORCID logo, Gerald Sabin ORCID logo, Aravind Sukumaran-Rajam ORCID logo, and P. Sadayappan ORCID logo
(University of Utah, USA; Ohio State University, USA; RNET Technologies, USA; Washington State University, USA)
Publisher's Version Artifacts Reusable Results Reproduced
MLIR-Based Code Generation for GPU Tensor Cores
Navdeep Katel, Vivek Khandelwal, and Uday Bondhugula ORCID logo
(Indian Institute of Science, India; PolyMage Labs, India)
Publisher's Version
Automating Reinforcement Learning Architecture Design for Code Optimization
Huanting Wang ORCID logo, Zhanyong Tang ORCID logo, Cheng Zhang, Jiaqi Zhao, Chris Cummins, Hugh Leather ORCID logo, and Zheng WangORCID logo
(NorthWest University, China; University of Leeds, UK; Meta AI, USA)
Publisher's Version Artifacts Reusable Results Reproduced


Memory Access Scheduling to Reduce Thread Migrations
Sana Damani, Prithayan Barua, and Vivek Sarkar ORCID logo
(Georgia Institute of Technology, USA)
Publisher's Version
Performant Portable OpenMP
Guray OzenORCID logo and Michael Wolfe
Publisher's Version Info

Safety and Correctness

BinPointer: Towards Precise, Sound, and Scalable Binary-Level Pointer Analysis
Sun Hyoung Kim, Dongrui Zeng, Cong Sun ORCID logo, and Gang TanORCID logo
(Pennsylvania State University, USA; Xidian University, China)
Publisher's Version
Cape: Compiler-Aided Program Transformation for HTM-Based Cache Side-Channel Defense
Rui Zhang, Michael D. Bond ORCID logo, and Yinqian Zhang
(Ohio State University, USA; Southern University of Science and Technology, China)
Publisher's Version
Making No-Fuss Compiler Fuzzing Effective
Alex GroceORCID logo, Rijnard van Tonder ORCID logo, Goutamkumar Tulajappa Kalburgi, and Claire Le GouesORCID logo
(Northern Arizona University, USA; Sourcegraph, USA; Carnegie Mellon University, USA)
Publisher's Version Info Artifacts Functional

Performance Optimizations

Loner: Utilizing the CPU Vector Datapath to Process Scalar Integer Data
Armand Behroozi, Sunghyun Park ORCID logo, and Scott Mahlke
(University of Michigan, USA; NVIDIA Research, USA)
Publisher's Version
Mapping Parallelism in a Functional IR through Constraint Satisfaction: A Case Study on Convolution for Mobile GPUs
Naums MogersORCID logo, Lu Li, Valentin Radu, and Christophe DubachORCID logo
(University of Edinburgh, UK; University of Sheffield, UK; McGill University, Canada)
Publisher's Version Artifacts Reusable Results Reproduced
Software Pre-execution for Irregular Memory Accesses in the HBM Era
Sanyam Mehta, Gary Elsesser, and Terry Greyzck
Publisher's Version
Efficient Profile-Guided Size Optimization for Native Mobile Applications
Kyungwoo Lee ORCID logo, Ellis Hoag ORCID logo, and Nikolai Tillmann ORCID logo
(Meta, USA)
Publisher's Version

proc time: 4.11