Tinto - CGO 2024

VenueEdinburgh

Room nameTinto

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT) London.

Use conference time zone: (GMT) LondonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 4 Mar
Displayed time zone: London change

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 20m Talk		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 20m Talk		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 20m Talk		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:30 - 12:50	Machine-Learning Guided OptimizationsMain Conference at Tinto Chair(s): Zheng Wang University of Leeds

11:30 20m Talk		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 20m Talk		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 20m Talk		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 20m Talk		TapeFlow: Streaming Gradient Tapes in Automatic Differentiation Main Conference Milad Hakimi Simon Fraser University, Arrvindh Shriraman Simon Fraser University Media Attached

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 20m Talk		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 20m Talk		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 20m Talk		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 20m Talk		Seer: Predictive Runtime Kernel Selection for Irregular Problems Main Conference Ryan Swann AMD, Muhammad Osama AMD, Karthik Sangaiah AMD, Jalal Mahmud AMD Pre-print

16:10 - 17:30	Custom ProcessorsMain Conference at Tinto Chair(s): Rodrigo C. O. Rocha Huawei

16:10 20m Talk		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 20m Talk		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 20m Talk		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 20m Talk		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	Business MeetingsMain Conference at Tinto

Tue 5 Mar
Displayed time zone: London change

10:00 - 11:00	Compiler ConstructionMain Conference at Tinto Chair(s): Jose Nelson Amaral University of Alberta

10:00 20m Talk		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 20m Talk		Whose Baseline Compiler Is It Anyway? Main Conference Ben L. Titzer Carnegie Mellon University Pre-print
10:40 20m Talk		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:30 - 12:50	Custom EnvironmentsMain Conference at Tinto Chair(s): João P. L. De Carvalho Qualcomm Canada Inc

11:30 20m Talk		Compile-Time Analysis of Compiler Frameworks for Query Compilation Main Conference Alexis Engelke TU Munich, Tobias Schwarz TU Munich Pre-print
11:50 20m Talk		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 20m Talk		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 20m Talk		Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation Main Conference Jonathan Van der Cruysse McGill University, Christophe Dubach McGill University Pre-print

14:20 - 15:40	Static/Dynamic AnalysesMain Conference at Tinto Chair(s): Laure Gonnord Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France

14:20 20m Talk		BEC: Bit-Level Static Analysis for Reliability against Soft Errors Main Conference Yousun Ko Yonsei University, Bernd Burgstaller Yonsei University Pre-print
14:40 20m Talk		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 20m Talk		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 20m Talk		Revamping Sampling-Based PGO with Context-Sensitivity and Pseudo-instrumentation Main Conference Wenlei He Meta, Hongtao Yu Meta, Lei Wang Meta, Taewook Oh Meta

16:10 - 17:30	Supporting ToolsMain Conference at Tinto Chair(s): Ayal Zaks Mobileye

16:10 20m Talk		Compiler Testing with Relaxed Memory Models Main Conference Luke Geeson University College London, Lee Smith Arm
16:30 20m Talk		High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM Main Conference Yuyou Fan University of Utah, John Regehr University of Utah
16:50 20m Talk		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 20m Talk		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

Wed 6 Mar
Displayed time zone: London change

10:00 - 11:00	Practice and ExperienceMain Conference at Tinto Chair(s): Corinne Ancourt Mines Paris-PSL

10:00 20m Talk		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 20m Talk		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 20m Talk		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:30 - 12:50	Acceleration TechniquesMain Conference at Tinto Chair(s): Amir Shaikhha University of Edinburgh

11:30 20m Talk		A System-Level Dynamic Binary Translator using Automatically-Learned Translation Rules Main Conference Jinhu Jiang Fudan University, Chaoyi Liang Fudan University, Rongchao Dong Fudan University, Zhaohui Yang Fudan University, Zhongjun Zhou Fudan University, Wenwen Wang University of Georgia, Pen-Chung Yew University of Minnesota at Twin Cities, Weihua Zhang Fudan University Pre-print
11:50 20m Talk		Instruction Scheduling for the GPU on the GPU Main Conference Ghassan Shobaki California State University, Pınar Muyan-Özçelik California State University, Josh Hutton California State University, Bruce Linck California State University, Vladislav Malyshenko California State University, Austin Kerbow Advanced Micro Devices, Ronaldo Ramirez-Ortega California State University, Vahl Scott Gordon California State University
12:10 20m Talk		JITSPMM: Just-in-Time Instruction Generation for Accelerated Sparse Matrix-Matrix Multiplication Main Conference Qiang Fu Advanced Micro Devices, Thomas B. Rolinger NVIDIA, H. Howie Huang George Washington University Pre-print
12:30 20m Talk		oneDNN Graph Compiler: A Hybrid Approach for High-Performance Deep Learning Compilation Main Conference Jianhui Li Intel, Zhennan Qin Intel, Yijie Mei Intel, Jingze Cui Intel, Yunfei Song Intel, Ciyong Chen Intel, Yifei Zhang Intel, Longsheng Du Intel, Xianhang Cheng Intel, Baihui Jin Intel, Yan Zhang Intel, Jason Ye Intel, Eric Lin Intel, Dan Lavery Intel Pre-print

	12:50 - 13:20	Awards SessionMain Conference at Tinto

	13:20 - 13:30	ClosingMain Conference at Tinto

Mon 4 Mar
Displayed time zone: London change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30
Tinto	Main Conference Compilers for machine learning																		Main Conference Machine-Learning Guided Optimizations																																		Main Conference Compilers for GPUs																						Main Conference Custom Processors																						Main Conference Business Meetings

Tue 5 Mar
Displayed time zone: London change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Tinto	Main Conference Compiler Construction																		Main Conference Custom Environments																																		Main Conference Static/Dynamic Analyses																						Main Conference Supporting Tools

Wed 6 Mar
Displayed time zone: London change


Room	10:00						30						11:00						30						12:00						30						13:00						30
Tinto	Main Conference Practice and Experience																		Main Conference Acceleration Techniques																Main Conference Awards Session						Main Conference Closing

Mon 4 Mar
Displayed time zone: London change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Tinto	CGO Main Conference A Tensor Algebra Compiler for Sparse Differentiation 10:00 - 10:20				CGO Main Conference Energy-Aware Tile Size Selection for Affine Programs on GPUs 10:20 - 10:40				CGO Main Conference PolyTOPS: Reconfigurable and Flexible Polyhedral Scheduler 10:40 - 11:00										CGO Main Conference AskIt: Unified Programming Interface for Programming with Large Languag ... 11:30 - 11:50				CGO Main Conference Revealing Compiler Heuristics through Automated Discovery and Optimization 11:50 - 12:10				CGO Main Conference SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly 12:10 - 12:30				CGO Main Conference TapeFlow: Streaming Gradient Tapes in Automatic Differentiation 12:30 - 12:50																						CGO Main Conference A Framework for Fine-Grained Synchronization of Dependent GPU Kernels 14:20 - 14:40				CGO Main Conference Enhancing Performance through Control-Flow Unmerging and Loop Unrolling ... 14:40 - 15:00				CGO Main Conference Retargeting and Respecializing GPU Workloads for Performance Portability 15:00 - 15:20				CGO Main Conference Seer: Predictive Runtime Kernel Selection for Irregular Problems 15:20 - 15:40										CGO Main Conference AXI4MLIR: User-Driven Automatic Host Code Generation for Custom AXI-Bas ... 16:10 - 16:30				CGO Main Conference Ecmas: Efficient Circuit Mapping and Scheduling for Surface Code 16:30 - 16:50				CGO Main Conference PresCount: Effective Register Allocation for Bank Conflict Reduction 16:50 - 17:10				CGO Main Conference Tackling the Matrix Multiplication Micro-kernel Generation with Exo 17:10 - 17:30

Tue 5 Mar
Displayed time zone: London change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Tinto	CGO Main Conference One Automaton to Rule Them All: Beyond Multiple Regular Expressions Exe ... 10:00 - 10:20				CGO Main Conference Whose Baseline Compiler Is It Anyway? 10:20 - 10:40				CGO Main Conference Enabling Fine-Grained Incremental Builds by Making Compiler Stateful 10:40 - 11:00										CGO Main Conference Compile-Time Analysis of Compiler Frameworks for Query Compilation 11:30 - 11:50				CGO Main Conference DrPy: Pinpointing Inefficient Memory Usage in Multi-Layer Python Applic ... 11:50 - 12:10				CGO Main Conference SCHEMATIC: Compile-Time Checkpoint Placement and Memory Allocation for ... 12:10 - 12:30				CGO Main Conference Latent Idiom Recognition for a Minimalist Functional Array Language usi ... 12:30 - 12:50																						CGO Main Conference BEC: Bit-Level Static Analysis for Reliability against Soft Errors 14:20 - 14:40				CGO Main Conference Boosting the Performance of Multi-solver IFDS Algorithms with Flow-Sens ... 14:40 - 15:00				CGO Main Conference Representing Data Collections in an SSA Form 15:00 - 15:20				CGO Main Conference Revamping Sampling-Based PGO with Context-Sensitivity and Pseudo-instru ... 15:20 - 15:40										CGO Main Conference Compiler Testing with Relaxed Memory Models 16:10 - 16:30				CGO Main Conference High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM 16:30 - 16:50				CGO Main Conference EasyTracker: A Python Library for Controlling and Inspecting Program Ex ... 16:50 - 17:10				CGO Main Conference OptiWISE: Combining Sampling and Instrumentation for Granular CPI Analysis 17:10 - 17:30

Wed 6 Mar
Displayed time zone: London change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45
Tinto	CGO Main Conference EasyView: Bringing Performance Profiles into Integrated Development Env ... 10:00 - 10:20				CGO Main Conference Experiences Building an MLIR-Based SYCL Compiler 10:20 - 10:40				CGO Main Conference Unveiling and Vanquishing Goroutine Leaks in Enterprise Microservices: ... 10:40 - 11:00										CGO Main Conference A System-Level Dynamic Binary Translator using Automatically-Learned Tr ... 11:30 - 11:50				CGO Main Conference Instruction Scheduling for the GPU on the GPU 11:50 - 12:10				CGO Main Conference JITSPMM: Just-in-Time Instruction Generation for Accelerated Sparse Mat ... 12:10 - 12:30				CGO Main Conference oneDNN Graph Compiler: A Hybrid Approach for High-Performance Deep Lear ... 12:30 - 12:50

Room information: Tinto

Program Display Configuration

Mon 4 MarDisplayed time zone: London change

Tue 5 MarDisplayed time zone: London change

Wed 6 MarDisplayed time zone: London change

Mon 4 MarDisplayed time zone: London change

Main Conference

Main Conference

Main Conference

Main Conference

Main Conference

Tue 5 MarDisplayed time zone: London change

Main Conference

Main Conference

Main Conference

Main Conference

Wed 6 MarDisplayed time zone: London change

Main Conference

Main Conference

Main Conference

Main Conference

Mon 4 MarDisplayed time zone: London change

Tue 5 MarDisplayed time zone: London change

Wed 6 MarDisplayed time zone: London change

Mon 4 Mar
Displayed time zone: London change

Tue 5 Mar
Displayed time zone: London change

Wed 6 Mar
Displayed time zone: London change

Mon 4 Mar
Displayed time zone: London change

Tue 5 Mar
Displayed time zone: London change

Wed 6 Mar
Displayed time zone: London change

Mon 4 Mar
Displayed time zone: London change

Tue 5 Mar
Displayed time zone: London change

Wed 6 Mar
Displayed time zone: London change