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, Andrea Rosà, Luca Omini, and Walter Binder
(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 and Amir Shaikhha
(University of Edinburgh, Edinburgh, UK)
Publisher's Version
A Multi-threaded Fast Hardware Compiler for HDLs
Sheng-Hong Wang, Hunter James Coffman, Kenneth Mayer, Sakshi Garg, and Jose Renau
(University of California, Santa Cruz, USA)
Publisher's Version

Scheduling and Tuning

Efficiently Learning Locality Optimizations by Decomposing Transformation Domains
Tharindu R. Patabandi and Mary Hall
(University of Utah, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced
A Deep Learning Model for Loop Interchange
Lina Mezdour, Khadidja Kadem, Massinissa Merouani, Amina Selma Haichour, Saman Amarasinghe, and Riyadh Baghdadi
(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, Richard Schulze, Denys Shabalin, Anne Elster, Sergei Gorlatch, and Mary Hall
(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, Toru Koizumi, Ryota Shioya, Hidetsugu Irie, and Shuichi Sakai
(University of Tokyo, Tokyo, Japan)
Publisher's Version
Matching Linear Algebra and Tensor Code to Specialized Hardware Accelerators
Pablo Antonio Martínez, Jackson Woodruff, Jordi Armengol-Estapé, Gregorio Bernabé, José Manuel García, and Michael F. P. O’Boyle
(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
(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, Simon Garcia De Gonzalo, and Antonio J. Peña
(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, Maximilian Stemmer-Grabow, and Julian Wachter
(KIT, Karlsruhe, Germany)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced
RL4ReAl: Reinforcement Learning for Register Allocation
S. VenkataKeerthy, Siddharth Jain, Anilava Kundu, Rohit Aggarwal, Albert Cohen, and Ramakrishna Upadrasta
(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 and Saumya Debray
(University of Arizona, USA)
Publisher's Version
HyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction
Rodrigo C. O. Rocha, Charitha Saumya, Kirshanthan Sundararajah, Pavlos Petoumenos, Milind Kulkarni, and Michael F. P. O’Boyle
(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, Umar Farooq, Chengyan Zhao, Xia Liu, and Nian Sun
(ByteDance, USA; ByteDance, China)
Publisher's Version

Domain Specific Languages

Building a Compiled Query Engine in Python
Hesam Shahrokhi and Amir Shaikhha
(University of Edinburgh, Edinburgh, UK)
Publisher's Version
Codon: A Compiler for High-Performance Pythonic Applications and DSLs
Ariya Shajii, Gabriel Ramirez, Haris Smajlović, Jessica Ray, Bonnie Berger, Saman Amarasinghe, and Ibrahim Numanagić
(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, Ioannis Magkanaris, Omar Awile, Pramod Kumbhar, Felix Schürmann, and Alastair F. Donaldson
(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, Yilei Zhang, Bo Huang, Jianmei Guo, and Shiqiang Cui
(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 and Christophe Dubach
(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 and Fernando Magno Quintão Pereira
(Federal University of Minas Gerais, Brazil)
Publisher's Version Info

proc time: 2.66