CC 2023
32nd ACM SIGPLAN International Conference on Compiler Construction (CC 2023)

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

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

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

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

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

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

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

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