CC 2023
32nd ACM SIGPLAN International Conference on Compiler Construction (CC 2023)
Powered by
Conference Publishing Consulting

32nd ACM SIGPLAN International Conference on Compiler Construction (CC 2023), February 25–26, 2023, Montréal, QC, Canada

CC 2023 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Welcome from the General Chair
Welcome from the Program Chairs
Report from the Artifact Evaluation Committee
CC 2023 Conference Organization
Sponsors of CC 2023

Vector and Parallelism

Java Vector API: Benchmarking and Performance Analysis
Matteo Basso ORCID logo, Andrea Rosà ORCID logo, Luca Omini ORCID logo, and Walter Binder ORCID logo
(USI Lugano, Lugano, Switzerland)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced
Compiling Discrete Probabilistic Programs for Vectorized Exact Inference
Jingwen Pan ORCID logo and Amir Shaikhha ORCID logo
(University of Edinburgh, Edinburgh, UK)
Publisher's Version
A Multi-threaded Fast Hardware Compiler for HDLs
Sheng-Hong Wang ORCID logo, Hunter James Coffman ORCID logo, Kenneth Mayer ORCID logo, Sakshi Garg ORCID logo, and Jose Renau ORCID logo
(University of California, Santa Cruz, USA)
Publisher's Version

Scheduling and Tuning

Efficiently Learning Locality Optimizations by Decomposing Transformation Domains
Tharindu R. Patabandi ORCID logo and Mary Hall ORCID logo
(University of Utah, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced
A Deep Learning Model for Loop Interchange
Lina Mezdour ORCID logo, Khadidja Kadem ORCID logo, Massinissa Merouani ORCID logo, Amina Selma Haichour ORCID logo, Saman AmarasingheORCID logo, and Riyadh Baghdadi ORCID logo
(NYU Abu Dhabi, Abu Dhabi, United Arab Emirates; ESI, Algiers, Algeria; Massachusetts Institute of Technology, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
(De/Re)-Compositions Expressed Systematically via MDH-Based Schedules
Ari Rasch ORCID logo, Richard Schulze ORCID logo, Denys Shabalin ORCID logo, Anne Elster ORCID logo, Sergei Gorlatch ORCID logo, and Mary Hall ORCID logo
(University of Muenster, Muenster, Germany; Google, Switzerland; NTNU, Trondheim, Norway; University of Utah, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced

Code Generation and Synthesis

A Sound and Complete Algorithm for Code Generation in Distance-Based ISA
Shu Sugita ORCID logo, Toru Koizumi ORCID logo, Ryota Shioya ORCID logo, Hidetsugu Irie ORCID logo, and Shuichi Sakai ORCID logo
(University of Tokyo, Tokyo, Japan)
Publisher's Version
Matching Linear Algebra and Tensor Code to Specialized Hardware Accelerators
Pablo Antonio Martínez ORCID logo, Jackson Woodruff ORCID logo, Jordi Armengol-Estapé ORCID logo, Gregorio Bernabé ORCID logo, José Manuel García ORCID logo, and Michael F. P. O’Boyle ORCID logo
(University of Murcia, Murcia, Spain; University of Edinburgh, Edinburgh, UK)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced
Torchy: A Tracing JIT Compiler for PyTorch
Nuno P. Lopes ORCID logo
(INESC-ID, Lisbon, Portugal; Instituto Superior Técnico - University of Lisbon, Lisbon, Portugal)
Publisher's Version

Backend

A Symbolic Emulator for Shuffle Synthesis on the NVIDIA PTX Code
Kazuaki Matsumura ORCID logo, Simon Garcia De Gonzalo ORCID logo, and Antonio J. Peña ORCID logo
(Barcelona Supercomputing Center, Barcelona, Spain; Sandia National Laboratories, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced
Register Allocation for Compressed ISAs in LLVM
Andreas Fried ORCID logo, Maximilian Stemmer-Grabow ORCID logo, and Julian Wachter ORCID logo
(KIT, Karlsruhe, Germany)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced
RL4ReAl: Reinforcement Learning for Register Allocation
S. VenkataKeerthyORCID logo, Siddharth Jain ORCID logo, Anilava Kundu ORCID logo, Rohit Aggarwal ORCID logo, Albert Cohen ORCID logo, and Ramakrishna Upadrasta ORCID logo
(IIT Hyderabad, Hyderabad, India; Google, France)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced

Code Size and Bugs

Automatically Localizing Dynamic Code Generation Bugs in JIT Compiler Back-End
HeuiChan Lim ORCID logo and Saumya Debray ORCID logo
(University of Arizona, USA)
Publisher's Version
HyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction
Rodrigo C. O. Rocha ORCID logo, Charitha SaumyaORCID logo, Kirshanthan SundararajahORCID logo, Pavlos Petoumenos ORCID logo, Milind KulkarniORCID logo, and Michael F. P. O’Boyle ORCID logo
(University of Edinburgh, Edinburgh, UK; Purdue University, USA; University of Manchester, Manchester, UK)
Publisher's Version Published Artifact Archive submitted (520 kB) Artifacts Available Artifacts Reusable Results Reproduced
Linker Code Size Optimization for Native Mobile Applications
Gai Liu ORCID logo, Umar Farooq ORCID logo, Chengyan Zhao ORCID logo, Xia Liu ORCID logo, and Nian Sun ORCID logo
(ByteDance, USA; ByteDance, China)
Publisher's Version

Domain Specific Languages

Building a Compiled Query Engine in Python
Hesam Shahrokhi ORCID logo and Amir Shaikhha ORCID logo
(University of Edinburgh, Edinburgh, UK)
Publisher's Version
Codon: A Compiler for High-Performance Pythonic Applications and DSLs
Ariya Shajii ORCID logo, Gabriel Ramirez ORCID logo, Haris Smajlović ORCID logo, Jessica Ray ORCID logo, Bonnie Berger ORCID logo, Saman Amarasinghe ORCID logo, and Ibrahim Numanagić ORCID logo
(Exaloop, USA; Massachusetts Institute of Technology, USA; University of Victoria, Canada)
Publisher's Version Archive submitted (960 kB) Info
MOD2IR: High-Performance Code Generation for a Biophysically Detailed Neuronal Simulation DSL
George Mitenkov ORCID logo, Ioannis Magkanaris ORCID logo, Omar Awile ORCID logo, Pramod Kumbhar ORCID logo, Felix Schürmann ORCID logo, and Alastair F. DonaldsonORCID logo
(Imperial College London, London, UK; EPFL, Lausanne, Switzerland)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced

Optimizations

A Hotspot-Driven Semi-automated Competitive Analysis Framework for Identifying Compiler Key Optimizations
Wenlong Mu ORCID logo, Yilei Zhang ORCID logo, Bo Huang ORCID logo, Jianmei Guo ORCID logo, and Shiqiang Cui ORCID logo
(East China Normal University, China; Hangzhou Hongjun Microelectronics Technology, China)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced
LAGrad: Statically Optimized Differentiable Programming in MLIR
Mai Jacob Peng ORCID logo and Christophe DubachORCID logo
(McGill University, Canada; Mila, Canada)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced
Lazy Evaluation for the Lazy: Automatically Transforming Call-by-Value into Call-by-Need
Breno Campos Ferreira Guimarães ORCID logo and Fernando Magno Quintão Pereira ORCID logo
(Federal University of Minas Gerais, Brazil)
Publisher's Version Info

proc time: 4.54