Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sat 2 MarDisplayed time zone: London change
Sat 2 Mar
Displayed time zone: London change
08:00 - 08:30 | |||
08:00 30mCoffee break | Coffee Break Main Conference | ||
08:30 - 10:30 | |||
08:30 2hTutorial | BuildIt: Building DSLs made easy with the BuildIt Framework Workshops and Tutorials | ||
08:30 - 10:30 | |||
08:30 2hMeeting | LLVM Performance Workshop Workshops and Tutorials | ||
10:30 - 10:50 | |||
10:30 20mCoffee break | Coffee Break Workshops and Tutorials | ||
10:50 - 12:50 | |||
10:50 2hTutorial | BuildIt: Building DSLs made easy with the BuildIt Framework Workshops and Tutorials | ||
10:50 - 12:50 | |||
10:50 2hMeeting | LLVM Performance Workshop Workshops and Tutorials | ||
12:50 - 13:40 | |||
12:50 50mLunch | Lunch Workshops and Tutorials | ||
13:40 - 15:40 | LATHC: Languages, Architectures, and Tools for Heterogeneous Computing WorkshopWorkshops and Tutorials at Carrick 1 | ||
13:40 2hMeeting | LATHC: Languages, Architectures, and Tools for Heterogeneous Computing Workshop Workshops and Tutorials | ||
13:40 - 15:40 | |||
13:40 2hMeeting | LLVM Performance Workshop Workshops and Tutorials | ||
15:40 - 16:00 | |||
15:40 20mCoffee break | Coffee Break Workshops and Tutorials | ||
16:00 - 18:00 | LATHC: Languages, Architectures, and Tools for Heterogeneous Computing WorkshopWorkshops and Tutorials at Carrick 1 | ||
16:00 2hMeeting | LATHC: Languages, Architectures, and Tools for Heterogeneous Computing Workshop Workshops and Tutorials | ||
16:00 - 18:00 | |||
16:00 2hMeeting | LLVM Performance Workshop Workshops and Tutorials | ||
Sun 3 MarDisplayed time zone: London change
Sun 3 Mar
Displayed time zone: London change
07:30 - 08:00 | |||
07:30 30mCoffee break | Coffee Break Main Conference | ||
08:00 - 10:00 | |||
08:00 2hMeeting | C4ML: Compilers for Machine Learning Workshops and Tutorials | ||
10:00 - 10:20 | |||
10:00 20mCoffee break | Coffee Break Workshops and Tutorials | ||
10:20 - 12:20 | |||
10:20 2hMeeting | C4ML: Compilers for Machine Learning Workshops and Tutorials | ||
12:20 - 13:20 | |||
13:20 - 15:20 | |||
13:20 2hMeeting | C4ML: Compilers for Machine Learning Workshops and Tutorials | ||
15:20 - 15:40 | |||
15:20 20mCoffee break | Coffee Break Workshops and Tutorials | ||
15:40 - 17:40 | |||
15:40 2hMeeting | C4ML: Compilers for Machine Learning Workshops and Tutorials | ||
18:00 - 20:00 | Reception - only for attendees who registered for the full conference (Mon-Wed)Main Conference at Strathblane Hall | ||
Mon 4 MarDisplayed time zone: London change
Mon 4 Mar
Displayed time zone: London change
07:45 - 08:15 | |||
07:45 30mCoffee break | Coffee Break Main Conference | ||
08:15 - 08:30 | OpeningMain Conference at Pentland Suite Chair(s): Tobias Grosser University of Edinburgh, Boris Grot University of Edinburgh, UK, Michel Steuwer TU Berlin; University of Edinburgh | ||
08:15 15mDay opening | Opening Main Conference | ||
08:30 - 09:30 | HPCA Keynote - Terminus: Moving the Center of Cloud Servers to SmartNICs and BeyondKeynotes at Pentland Suite | ||
08:30 60mKeynote | HPCA Keynote - Terminus: Moving the Center of Cloud Servers to SmartNICs and Beyond Keynotes Derek Chiou University of Texas at Austin, USA | ||
09:30 - 10:00 | |||
09:30 30mCoffee break | Coffee Break Main Conference | ||
10:00 - 11:00 | Compilers for machine learningMain Conference at Tinto Chair(s): Fabrice Rastello University Grenoble Alpes - Inria - CNRS - Grenoble INP - LIG | ||
10:00 20mTalk | A Tensor Algebra Compiler for Sparse Differentiation Main Conference Amir Shaikhha University of Edinburgh, Mathieu Huot University of Oxford, Shideh Hashemian University of Edinburgh | ||
10:20 20mTalk | Energy-Aware Tile Size Selection for Affine Programs on GPUs Main Conference Malith Jayaweera Northeastern University, Martin Kong Ohio State University, Yanzhi Wang Northeastern University, David Kaeli Northeastern University Pre-print | ||
10:40 20mTalk | PolyTOPS: Reconfigurable and Flexible Polyhedral Scheduler Main Conference Gianpietro Consolaro Huawei Technologies; Mines Paris-PSL, Zhen Zhang Huawei Technologies, Harenome Razanajato Huawei Technologies, Nelson Lossing Huawei Technologies, Nassim Tchoulak Huawei Technologies, Adilla Susungi Huawei Technologies, Artur Cesar Araujo Alves Huawei Technologies, Renwei Zhang Huawei Technologies, Denis Barthou Huawei Technologies, Corinne Ancourt Mines Paris-PSL, Cédric Bastoul Huawei Technologies Pre-print | ||
11:00 - 11:30 | |||
11:00 30mCoffee break | Coffee Break Main Conference | ||
11:30 - 12:50 | Machine-Learning Guided OptimizationsMain Conference at Tinto Chair(s): Zheng Wang University of Leeds | ||
11:30 20mTalk | AskIt: Unified Programming Interface for Programming with Large Language Models Main Conference Katsumi Okuda Massachusetts Institute of Technology; Mitsubishi Electric Corporation, Saman Amarasinghe Massachusetts Institute of Technology | ||
11:50 20mTalk | Revealing Compiler Heuristics through Automated Discovery and Optimization Main Conference Volker Seeker Meta AI Research, Chris Cummins Meta AI Research, Murray Cole University of Edinburgh, Björn Franke University of Edinburgh, Kim Hazelwood Meta AI Research, Hugh Leather Meta AI Research | ||
12:10 20mTalk | SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly Main Conference Jordi Armengol-Estapé University of Edinburgh, Jackson Woodruff University of Edinburgh, Chris Cummins Meta AI Research, Michael F. P. O'Boyle University of Edinburgh Pre-print | ||
12:30 20mTalk | TapeFlow: Streaming Gradient Tapes in Automatic Differentiation Main Conference Media Attached | ||
12:50 - 14:20 | |||
12:50 90mLunch | Lunch Main Conference | ||
14:20 - 15:40 | Compilers for GPUsMain Conference at Tinto Chair(s): Roland Leißa University of Mannheim, School of Business Informatics and Mathematics | ||
14:20 20mTalk | A Framework for Fine-Grained Synchronization of Dependent GPU Kernels Main Conference Abhinav Jangda Microsoft Research, Saeed Maleki Microsoft Research, Maryam Mehri Dehnavi University of Toronto, Madan Musuvathi Microsoft Research, Olli Saarikivi Microsoft Research Pre-print | ||
14:40 20mTalk | Enhancing Performance through Control-Flow Unmerging and Loop Unrolling on GPUs Main Conference Alnis Murtovi TU Dortmund, Giorgis Georgakoudis Lawrence Livermore National Laboratory, Konstantinos Parasyris Lawrence Livermore National Laboratory, Chunhua Liao Lawrence Livermore National Laboratory, Ignacio Laguna Lawrence Livermore National Laboratory, Bernhard Steffen TU Dortmund | ||
15:00 20mTalk | Retargeting and Respecializing GPU Workloads for Performance Portability Main Conference Ivan Radanov Ivanov Tokyo Institute of Technology; RIKEN R-CCS, Oleksandr Zinenko Google DeepMind, Jens Domke RIKEN R-CCS, Toshio Endo Tokyo Institute of Technology, William S. Moses University of Illinois at Urbana-Champaign; Google DeepMind | ||
15:20 20mTalk | Seer: Predictive Runtime Kernel Selection for Irregular Problems Main Conference Pre-print | ||
15:40 - 16:10 | |||
15:40 30mCoffee break | Coffee Break Main Conference | ||
16:10 - 17:30 | |||
16:10 20mTalk | AXI4MLIR: User-Driven Automatic Host Code Generation for Custom AXI-Based Accelerators Main Conference Nicolas Bohm Agostini Northeastern University; Pacific Northwest National Laboratory, Jude Haris University of Glasgow, Perry Gibson University of Glasgow, Malith Jayaweera Northeastern University, norm rubin Northeastern University, Antonino Tumeo Pacific Northwest National Laboratory, José L. Abellán University of Murcia, José Cano University of Glasgow, David Kaeli Northeastern University Pre-print | ||
16:30 20mTalk | Ecmas: Efficient Circuit Mapping and Scheduling for Surface Code Main Conference Mingzheng Zhu University of Science and Technology of China, Hao Fu University of Science and Technology of China, Jun Wu University of Science and Technology of China, Chi Zhang University of Science and Technology of China, Wei Xie University of Science and Technology of China, Xiang-Yang Li University of Science and Technology of China Pre-print | ||
16:50 20mTalk | PresCount: Effective Register Allocation for Bank Conflict Reduction Main Conference Xiaofeng Guan Shanghai Jiao Tong University; Shanghai Enflame Technology, Hao Zhou Shanghai Enflame Technology, Guoqing Bao Shanghai Enflame Technology, Handong Li Shanghai Jiao Tong University, Liang Zhu Shanghai Jiao Tong University, Jianguo Yao Shanghai Jiao Tong University; Shanghai Enflame Technology Pre-print | ||
17:10 20mTalk | Tackling the Matrix Multiplication Micro-kernel Generation with Exo Main Conference Adrián Castelló Universitat Politècnica de València, Julian Bellavita Cornell University, Grace Dinh University of California at Berkeley, Yuka Ikarashi Massachusetts Institute of Technology, Héctor Martínez Universidad de Córdoba Pre-print | ||
18:00 - 20:30 | |||
Tue 5 MarDisplayed time zone: London change
Tue 5 Mar
Displayed time zone: London change
08:00 - 08:30 | |||
08:00 30mCoffee break | Coffee Break Main Conference | ||
08:30 - 09:30 | CGO Keynote - Computing Systems for the Foundation Model EraKeynotes at Pentland Suite Chair(s): Fernando Magno Quintão Pereira Federal University of Minas Gerais | ||
08:30 60mKeynote | CGO Keynote - Computing Systems for the Foundation Model Era Keynotes Kunle Olukotun Stanford University | ||
09:30 - 10:00 | |||
09:30 30mCoffee break | Coffee Break Main Conference | ||
10:00 - 11:00 | |||
10:00 20mTalk | One Automaton to Rule Them All: Beyond Multiple Regular Expressions Execution Main Conference Luisa Cicolini Politecnico di Milano, Filippo Carloni Politecnico di Milano, Marco D. Santambrogio Politecnico di Milano, Davide Conficconi Politecnico di Milano Pre-print Media Attached | ||
10:20 20mTalk | Whose Baseline Compiler Is It Anyway? Main Conference Ben L. Titzer Carnegie Mellon University Pre-print | ||
10:40 20mTalk | Enabling Fine-Grained Incremental Builds by Making Compiler Stateful Main Conference Ruobing Han Georgia Institute of Technology, Jisheng Zhao Georgia Institute of Technology, Hyesoon Kim Georgia Institute of Technology Pre-print | ||
11:00 - 11:30 | |||
11:00 30mCoffee break | Coffee Break Main Conference | ||
11:30 - 12:50 | Student Research Competition TalksStudent Research Competition at Carrick 1, 2, 3 Chair(s): EunJung (EJ) Park Qualcomm, USA | ||
11:30 13mTalk | A Unified Framework for Query Compilers Student Research Competition Callum Groeger University of Edinburgh | ||
11:43 13mTalk | Compiling Approximate Computation to Probabilistic Programs Student Research Competition Jingwen Pan University of Edinburgh | ||
11:56 13mTalk | Relaxing Alias Analysis: Exploring the Unexplored Space Student Research Competition Michel Weber ETH Zurich | ||
12:10 13mTalk | Interactively Exploring the Compiler Design Space: xdsl-gui Student Research Competition Dalia Shaaban ETH Zurich | ||
12:23 13mTalk | NAXOR: A Custom RISC-V Instruction to Elevate Cryptographic Algorithm Performance Student Research Competition Mehmet Eymen Unay Istanbul Technical University | ||
12:36 13mTalk | H-EYE: Holistic Performance Modeling for Diversely Scaled Systems Student Research Competition Ismet Dagli Colorado School of Mines | ||
11:30 - 12:50 | |||
11:30 20mTalk | Compile-Time Analysis of Compiler Frameworks for Query Compilation Main Conference Pre-print | ||
11:50 20mTalk | DrPy: Pinpointing Inefficient Memory Usage in Multi-Layer Python Applications Main Conference Jinku Cui North Carolina State University, Qidong Zhao North Carolina State University, Yueming Hao North Carolina State University, Xu Liu North Carolina State University | ||
12:10 20mTalk | SCHEMATIC: Compile-Time Checkpoint Placement and Memory Allocation for Intermittent Systems Main Conference Hugo Reymond Université de Rennes - Inria - CNRS - IRISA, Jean-Luc Béchennec Nantes Université - École Centrale Nantes - CNRS - LS2N - UMR 6004, Mikaël Briday Nantes Université - École Centrale Nantes - CNRS - LS2N - UMR 6004, Sébastien Faucou Nantes Université - École Centrale Nantes - CNRS - LS2N - UMR 6004, Isabelle Puaut Université de Rennes - Inria - CNRS - IRISA, Erven Rohou Université de Rennes - Inria - CNRS - IRISA Pre-print Media Attached | ||
12:30 20mTalk | Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation Main Conference Pre-print | ||
12:50 - 14:20 | |||
12:50 90mLunch | Lunch Main Conference | ||
14:20 - 15:40 | Static/Dynamic AnalysesMain Conference at Tinto Chair(s): Laure Gonnord Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France | ||
14:20 20mTalk | BEC: Bit-Level Static Analysis for Reliability against Soft Errors Main Conference Pre-print | ||
14:40 20mTalk | Boosting the Performance of Multi-solver IFDS Algorithms with Flow-Sensitivity Optimizations Main Conference Haofeng Li Institute of Computing Technology at Chinese Academy of Sciences, Jie Lu Institute of Computing Technology at Chinese Academy of Sciences, Haining Meng Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Liqing Cao Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Lian Li Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Zhongguancun Laboratory, Lin Gao TianqiSoft Pre-print | ||
15:00 20mTalk | Representing Data Collections in an SSA Form Main Conference Tommy McMichen Northwestern University, Nathan Greiner Northwestern University, Peter Zhong Northwestern University, Federico Sossai Northwestern University, Atmn Patel Northwestern University, Simone Campanoni Northwestern University Pre-print | ||
15:20 20mTalk | Revamping Sampling-Based PGO with Context-Sensitivity and Pseudo-instrumentation Main Conference | ||
15:40 - 16:10 | |||
15:40 30mCoffee break | Coffee Break Main Conference | ||
16:10 - 17:30 | |||
16:10 20mTalk | Compiler Testing with Relaxed Memory Models Main Conference | ||
16:30 20mTalk | High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM Main Conference | ||
16:50 20mTalk | EasyTracker: A Python Library for Controlling and Inspecting Program Execution Main Conference Théo Barollet University Grenoble Alpes - Inria - CNRS - Grenoble INP - LIG, Christophe Guillon University Grenoble Alpes - Inria - CNRS - Grenoble INP - LIG, Manuel Selva University Grenoble Alpes - Inria - CNRS - Grenoble INP - LIG, François Broquedis University Grenoble Alpes - Inria - CNRS - Grenoble INP - LIG, Florent Bouchez-Tichadou University Grenoble Alpes - Inria - CNRS - Grenoble INP - LIG, Fabrice Rastello University Grenoble Alpes - Inria - CNRS - Grenoble INP - LIG Pre-print | ||
17:10 20mTalk | OptiWISE: Combining Sampling and Instrumentation for Granular CPI Analysis Main Conference Yuxin Guo University of Cambridge, Alex W. Chadwick University of Cambridge, Marton Erdos University of Cambridge, Utpal Bora University of Cambridge, Ilias Vougioukas Arm, Giacomo Gabrielli Arm, Timothy M. Jones University of Cambridge Pre-print Media Attached | ||
18:30 - 23:00 | |||
Wed 6 MarDisplayed time zone: London change
Wed 6 Mar
Displayed time zone: London change
08:00 - 08:30 | |||
08:00 30mCoffee break | Coffee Break Main Conference | ||
08:30 - 09:30 | PPoPP Keynote - Sparsity in Deep Neural NetsKeynotes at Pentland Suite Chair(s): I-Ting Angelina Lee Washington University in St. Louis, USA | ||
08:30 60mKeynote | PPoPP Keynote - Sparsity in Deep Neural Nets Keynotes Nir Shavit MIT CSAIL | ||
09:30 - 10:00 | |||
09:30 30mCoffee break | Coffee Break Main Conference | ||
10:00 - 11:00 | |||
10:00 20mTalk | EasyView: Bringing Performance Profiles into Integrated Development Environments Main Conference Qidong Zhao North Carolina State University, Milind Chabbi Scalable Machines Research, Xu Liu North Carolina State University Pre-print | ||
10:20 20mTalk | Experiences Building an MLIR-Based SYCL Compiler Main Conference Ettore Tiotto Intel Corporation, Victor Perez Codeplay Software, Whitney Tsang Intel Corporation, Lukas Sommer Codeplay Software, Julian Oppermann Codeplay Software, Victor Lomüller Codeplay Software, Mehdi Goli Codeplay Software, James Brodman Intel Corporation Pre-print | ||
10:40 20mTalk | Unveiling and Vanquishing Goroutine Leaks in Enterprise Microservices: A Dynamic Analysis Approach Main Conference Georgian-Vlad Saioc Aarhus University; Uber Technologies, Dmitriy Shirchenko Uber Technologies, Milind Chabbi Uber Technologies Pre-print Media Attached | ||
11:00 - 11:30 | |||
11:00 30mCoffee break | Coffee Break Main Conference | ||
12:50 - 13:20 | |||
13:20 - 13:30 | |||