Casuarina Ballroom

VenueThe Westin Las Vegas Hotel & Spa

Room nameCasuarina Ballroom

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-08:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-08:00) Pacific Time (US & Canada)Select 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 3 Mar
Displayed time zone: Pacific Time (US & Canada) change

10:00 - 11:00	Distinguished PapersMain Conference at Casuarina Ballroom

10:00 20m Talk		Synthesis of Sorting Kernels Main Conference Marcel Ullrich Saarland University, Sebastian Hack Saarland University, Saarland Informatics Campus
10:20 20m Talk		Tensorize: Fast Synthesis of Tensor Programs from Legacy Code using Symbolic Tracing, Sketching and Solving Main Conference Alexander Brauckmann University of Edinburgh, Luc Jaulmes University of Edinburgh, United Kingdom, José Wesley De Souza Magalhães University of Edinburgh, Elizabeth Polgreen University of Edinburgh, Michael F. P. O'Boyle University of Edinburgh
10:40 20m Talk		Enhancing Deployment-time Predictive Model Robustness for Code Analysis and Optimization Main Conference Huanting Wang University of Leeds, Patrick Lenihan University of Leeds, Zheng Wang University of Leeds

11:20 - 12:20	Optimizations & Transformations (1)Main Conference at Casuarina Ballroom

11:20 20m Talk		SySTeC: A Symmetric Sparse Tensor Compiler Main Conference Radha Patel MIT CSAIL, Willow Ahrens Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology
11:40 20m Talk		Pattern Matching in AI Compilers and its Formalization Main Conference Joseph W. Cutler University of Pennsylvania, Alexander Collins NVIDIA, Bin Fan Nvidia, Mahesh Ravishankar , Vinod Grover NVIDIA
12:00 20m Talk		Scalar Interpolation: A Better Balance Between Vector and Scalar Execution for SuperScalar Architectures Main Conference Reza Ghanbari University of Alberta, Henry Kao Huawei Technologies Canada, João P. L. De Carvalho AMD, Ehsan Amiri Huawei Technologies Canada, Jose Nelson Amaral University of Alberta

14:00 - 15:20	ML Tools & OptimizationMain Conference at Casuarina Ballroom

14:00 20m Talk		VEGA: Automatically Generating Compiler Backends Using a Pre-Trained Transformer Model Main Conference Ming Zhong SKLP, Institute of Computing Technology, CAS, Fang Lv Institute of Computing Technology, Chinese Academy of Sciences, Lulin Wang SKLP, ICT, CAS Beijing, China, Lei Qiu SKLP, Institute of Computing Technology, CAS; University of Chinese Academy of Sciences, Yingying Wang SKLP, ICT, CAS Beijing, China, Ying Liu Institute of Computing Technology, Chinese Academy of Sciences, Huimin Cui Institute of Computing Technology, Chinese Academy of Sciences, Xiaobing Feng ICT CAS, Jingling Xue UNSW Sydney
14:20 20m Talk		IntelliGen: Instruction-Level Auto-Tuning for Tensor Program with Monotonic Memory Optimization Main Conference Zixuan Ma Tsinghua University, Haojie Wang Tsinghua University, Jingze Xing Tsinghua University, Shuhong Huang Tsinghua University, Liyan Zheng Tsinghua University, Chen Zhang Tsinghua University, Huanqi Cao Tsinghua University, Kezhao Huang Tsinghua University, Mingshu Zhai Tsinghua University, Shizhi Tang Tsinghua University, Penghan Wang Tsinghua University, Jidong Zhai Tsinghua University
14:40 20m Talk		GraalNN: Context-Sensitive Static Profiling with Graph Neural Networks Main Conference Lazar Milikic Oracle Labs, Milan Cugurovic Oracle Labs, Vojin Jovanovic Oracle Labs
15:00 20m Talk		LLM-Vectorizer: LLM-based Verified Loop Vectorizer Main Conference Jubi Taneja Microsoft Research, Avery Laird University of Toronto, Cong Yan Microsoft Research, Madan Musuvathi Microsoft Research, Shuvendu K. Lahiri Microsoft Research

15:40 - 16:40	Architectures & Code GenerationMain Conference at Casuarina Ballroom

15:40 20m Talk		Calibro: Compilation-Assisted Linking-Time Binary Code Outlining for Code Size Reduction in Android Applications Main Conference Zhanhao Liang Wuhan University, Hanming Sun Wuhan University, wenhan shang Wuhan University, YUAN Mengting School of Computer Science, Wuhan University, Wuhan, China, Jingqin Fu Wuhan Broadcasting and Television Station, Jiang Ma OPPO Electronics Corp., Jason Xue MBZUAI, Qingan Li Wuhan University, China
16:00 20m Talk		A Multi-Level Compiler Backend for Accelerated Micro-Kernels Targeting RISC-V ISA Extensions Main Conference Alexandre Lopoukhine University of Cambridge, Federico Ficarelli Cineca, Christos Vasiladiotis University of Edinburgh, Anton Lydike The University of Edinburgh, Josse Van Delm KU Leuven, Alban Dutilleul ENS Rennes, Luca Benini ETH Zurich, Switzerland, Marian Verhelst KU Leuven, Tobias Grosser University of Cambridge, UK
16:20 20m Talk		xDSL: Sidekick Compilation for SSA-Based Compilers Main Conference Mathieu Fehr The University of Edinburgh, Michel Weber ETH Zurich, Christian Ulmann ETH Zurich, Alexandre Lopoukhine University of Cambridge, Martin Lücke University of Edinburgh, Theo Degioanni ENS Rennes, Christos Vasiladiotis University of Edinburgh, Michel Steuwer Technische Universität Berlin, Tobias Grosser University of Cambridge, UK

17:00 - 18:00	MLIRMain Conference at Casuarina Ballroom

17:00 20m Talk		The MLIR Transform Dialect - Your compiler is more powerful than you think Main Conference Martin Lücke University of Edinburgh, Michel Steuwer Technische Universität Berlin, Albert Cohen Google DeepMind, William S. Moses University of Illinois Urbana-Champaign, Alex Zinenko Google DeepMind
17:20 20m Talk		Combining MLIR Dialects with Domain-Specific Architecture for Efficient Regular Expression Matching Main Conference Andrea Somaini Politecnico di Milano, Filippo Carloni Politecnico di Milano, Giovanni Agosta Politecnico di Milano, Italy, Marco D. Santambrogio Politecnico di Milano, Davide Conficconi Politecnico di Milano
17:40 20m Talk		DialEgg: Dialect-Agnostic MLIR Optimizer using Equality Saturation with Egglog Main Conference Abd-El-Aziz Zayed McGill University, Christophe Dubach McGill University

Tue 4 Mar
Displayed time zone: Pacific Time (US & Canada) change

10:00 - 11:00	Program Analysis & SynthesisMain Conference at Casuarina Ballroom

10:00 20m Talk		Automatic Synthesis of Specialized Hash Functions Main Conference Renato B Hoffmann PUC-RS, Leonardo Gibrowski Faé PUC-RS, Dalvan Griebler Pontifícia Universidade Católica do Rio Grande do Sul - PUCRS, David Li Google, Fernando Magno Quintão Pereira Federal University of Minas Gerais
10:20 20m Talk		Stack Filtering: Elevating Precision and Efficiency in Rust Pointer Analysis Main Conference Wei Li UNSW, Dongjie He Chongqing University, China, Wenguang Chen Tsinghua University; Pengcheng Laboratory, Jingling Xue UNSW Sydney
10:40 20m Talk		SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges Main Conference David Kozak Brno University of Technology & Oracle Labs, Christian Wimmer Amazon Web Services, Codrut Stancu Oracle Labs, Tomas Vojnar Masaryk University

11:20 - 12:20	Optimizations & Transformations (2)Main Conference at Casuarina Ballroom

11:20 20m Talk		PreFix: Optimizing the Performance of Heap-Intensive Applications Main Conference Chaitanya Mamatha Ananda University of California Riverside, Rajiv Gupta University of California at Riverside (UCR), Sriraman Tallam Google Inc., Han Shen Google Inc, David Li Google
11:40 20m Talk		A Priori Loop Nest Normalization: Automatic Loop Scheduling in Complex Applications Main Conference Lukas Trümper Daisytuner, Philipp Schaad ETH Zurich, Berke Ates ETH Zurich, Alexandru Calotoiu ETH Zurich, Marcin Copik ETH Zurich, Torsten Hoefler ETH Zurich
12:00 20m Talk		An Efficient Polynomial Multiplication Derived Implementation Of Convolution in Neural Networks Main Conference Haoke Xu University of Delaware, Yulin Zhang Minzu University of China, Zitong Cheng University of Delaware, Xiaoming Li University of Delaware

14:00 - 15:20	GPU & ParallelismMain Conference at Casuarina Ballroom

14:00 20m Talk		Code Generation for Cryptographic Kernels Using Multi-word Modular Arithmetic on GPU Main Conference Naifeng Zhang Carnegie Mellon University, Franz Franchetti Carnegie Mellon University, USA
14:20 20m Talk		CuAsmRL: optimizing GPU SASS schedules via deep reinforcement learning Main Conference Guoliang He University of Cambridge, Eiko Yoneki U. of Cambridge
14:40 20m Talk		Proteus: Portable Runtime Optimization of GPU Kernel Execution with Just-In-Time Compilation Main Conference Giorgis Georgakoudis Lawrence Livermore National Laboratory, Konstantinos Parasyris Lawrence Livermore National Laboratory, David Beckingsale Lawrence Livermore National Laboratory
15:00 20m Talk		Parallaft: Runtime-based CPU Fault Tolerance via Heterogeneous Parallelism Main Conference Boyue Zhang University of Cambridge, Sam Ainsworth University of Edinburgh, Lev Mukhanov Queen Mary University London, Timothy M. Jones University of Cambridge

15:40 - 17:00	Security & CryptographyMain Conference at Casuarina Ballroom

15:40 20m Talk		Qiwu: Exploiting Ciphertext-Level SIMD Parallelism in Homomorphic Encryption Programs Main Conference Zhang zhongcheng Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Zhongguancun Laboratory, Ying Liu Institute of Computing Technology, Chinese Academy of Sciences, Yuyang Zhang Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences;, Zhenchuan Chen Institute of Computing Technology, Chinese Academy of Sciences, Jiacheng Zhao Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Zhongguancun Laboratory, Xiaobing Feng ICT CAS, Huimin Cui Institute of Computing Technology, Chinese Academy of Sciences, Jingling Xue UNSW Sydney
16:00 20m Talk		Cage: Hardware-Accelerated Safe WebAssembly Main Conference Martin Fink Technical University of Munich, Dimitrios Stavrakakis TU Munich and University of Edinburgh, Dennis Sprokholt TU Delft, Soham Chakraborty TU Delft, Jan-Erik Ekberg Huawei Technologies LLC, Pramod Bhatotia TU Munich, Germany
16:20 20m Talk		Teapot: Efficiently Uncovering Spectre Gadgets in COTS Binaries Main Conference Fangzheng Lin Institute of Science Tokyo, Zhongfa Wang Institute of Science Tokyo, Hiroshi Sasaki Institute of Science Tokyo
16:40 20m Talk		Janitizer: Rethinking Binary Tools for Practical and Comprehensive Security Main Conference Mahwish Arif University of Cambridge, Sam Ainsworth University of Edinburgh, Timothy M. Jones University of Cambridge

Wed 5 Mar
Displayed time zone: Pacific Time (US & Canada) change

10:00 - 11:20	Optimizations & Transformations (3)Main Conference at Casuarina Ballroom

10:00 20m Talk		Postiz: Extending Post-Increment Addressing for Loop Optimization and Code Size Reduction Main Conference enming fan , Xiaofeng Guan Shanghai Jiao Tong University; Shanghai Enflame Technology, Fan Hu , Heng Shi Enflame Tech Co., Hao Zhou Enflame Tech Co., Jianguo Yao Shanghai Jiao Tong University; Shanghai Enflame Technology
10:20 20m Talk		Compiler Auto-Tuning Using Synergistic Pass Pairs Main Conference Haolin Pan Institute of Software, Chinese Academy of Sciences;School of Intelligent Science and Technology, HIAS, UCAS, Hangzhou;University of Chinese Academy of Sciences, Yuanyu Wei Institute of Software, Chinese Academy of Sciences;School of Intelligent Science and Technology, HIAS, UCAS, Hangzhou;University of Chinese Academy of Sciences, Mingjie Xing Institute of Software, Chinese Academy of Sciences, Yanjun Wu Institute of Software, Chinese Academy of Sciences, Chen Zhao Institute of Software, Chinese Academy of Sciences
10:40 20m Talk		Stardust: Compiling Sparse Tensor Algebra to a Reconfigurable Dataflow Architecture Main Conference Olivia Hsu Stanford University, Alexander Rucker Stanford University, Tian Zhao Stanford University, Varun Desai Stanford University, Kunle Olukotun Stanford University, Fredrik Kjolstad Stanford University
11:00 20m Talk		Vectron: A Dynamic Programming Auto-Vectorization Framework Main Conference Sourena Naser Moghaddasi University of Victoria, Haris Smajlović University of Victoria, Ariya Shajii Exaloop, Ibrahim Numanagić University of Victoria

11:40 - 13:00	Runtime & System ToolsMain Conference at Casuarina Ballroom

11:40 20m Talk		Honey Potion: an eBPF Backend for Elixir Main Conference Kael Soares Augusto UFMG, Vinícius Pacheco Cadence, Marcos A. M. Vieira Universidade Federal de Minas Gerais, Rodrigo G. Ribeiro Federal University of Ouro Preto, Fernando Magno Quintão Pereira Federal University of Minas Gerais
12:00 20m Talk		GoFree: Reducing Garbage Collection via Compiler-inserted Freeing Main Conference Haoran Peng University of Science and Technology of China, Yu Zhang University of Science and Technology of China, Michael D. Ernst University of Washington, Jinbao Chen University of Science and Technology of China, Boyao Ding University of Science and Technology of China
12:20 20m Talk		Improving Native-Image Startup Performance Main Conference Matteo Basso Università della Svizzera italiana (USI), Aleksandar Prokopec Oracle Labs, Andrea Rosà USI Lugano, Walter Binder USI Lugano
12:40 20m Talk		Speeding up the Local C++ Development Cycle with Header Substitution Main Conference Nader Al Awar The University of Texas at Austin, Zijian Yi The University of Texas at Austin, George Biros The University of Texas at Austin, Milos Gligoric The University of Texas at Austin

Mon 3 Mar
Displayed time zone: Pacific Time (US & Canada) 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
Casuarina Ballroom	Main Conference Distinguished Papers																Main Conference Optimizations & Transformations (1)																																Main Conference ML Tools & Optimization																				Main Conference Architectures & Code Generation																Main Conference MLIR

Tue 4 Mar
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Casuarina Ballroom	Main Conference Program Analysis & Synthesis																Main Conference Optimizations & Transformations (2)																																Main Conference GPU & Parallelism																				Main Conference Security & Cryptography

Wed 5 Mar
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00						30						11:00						30						12:00						30
Casuarina Ballroom	Main Conference Optimizations & Transformations (3)																				Main Conference Runtime & System Tools

Mon 3 Mar
Displayed time zone: Pacific Time (US & Canada) 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
Casuarina Ballroom	CGO Main Conference Synthesis of Sorting Kernels 10:00 - 10:20				CGO Main Conference Tensorize: Fast Synthesis of Tensor Programs from Legacy Code using Sym ... 10:20 - 10:40				CGO Main Conference Enhancing Deployment-time Predictive Model Robustness for Code Analysis ... 10:40 - 11:00								CGO Main Conference SySTeC: A Symmetric Sparse Tensor Compiler 11:20 - 11:40				CGO Main Conference Pattern Matching in AI Compilers and its Formalization 11:40 - 12:00				CGO Main Conference Scalar Interpolation: A Better Balance Between Vector and Scalar Execut ... 12:00 - 12:20																								CGO Main Conference VEGA: Automatically Generating Compiler Backends Using a Pre-Trained Tr ... 14:00 - 14:20				CGO Main Conference IntelliGen: Instruction-Level Auto-Tuning for Tensor Program with Monot ... 14:20 - 14:40				CGO Main Conference GraalNN: Context-Sensitive Static Profiling with Graph Neural Networks 14:40 - 15:00				CGO Main Conference LLM-Vectorizer: LLM-based Verified Loop Vectorizer 15:00 - 15:20								CGO Main Conference Calibro: Compilation-Assisted Linking-Time Binary Code Outlining for Co ... 15:40 - 16:00				CGO Main Conference A Multi-Level Compiler Backend for Accelerated Micro-Kernels Targeting ... 16:00 - 16:20				CGO Main Conference xDSL: Sidekick Compilation for SSA-Based Compilers 16:20 - 16:40								CGO Main Conference The MLIR Transform Dialect - Your compiler is more powerful than you think 17:00 - 17:20				CGO Main Conference Combining MLIR Dialects with Domain-Specific Architecture for Efficient ... 17:20 - 17:40				CGO Main Conference DialEgg: Dialect-Agnostic MLIR Optimizer using Equality Saturation with ... 17:40 - 18:00

Tue 4 Mar
Displayed time zone: Pacific Time (US & Canada) 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
Casuarina Ballroom	CGO Main Conference Automatic Synthesis of Specialized Hash Functions 10:00 - 10:20				CGO Main Conference Stack Filtering: Elevating Precision and Efficiency in Rust Pointer Ana ... 10:20 - 10:40				CGO Main Conference SkipFlow: Improving the Precision of Points-to Analysis using Primitive ... 10:40 - 11:00								CGO Main Conference PreFix: Optimizing the Performance of Heap-Intensive Applications 11:20 - 11:40				CGO Main Conference A Priori Loop Nest Normalization: Automatic Loop Scheduling in Complex ... 11:40 - 12:00				CGO Main Conference An Efficient Polynomial Multiplication Derived Implementation Of Convol ... 12:00 - 12:20																								CGO Main Conference Code Generation for Cryptographic Kernels Using Multi-word Modular Arit ... 14:00 - 14:20				CGO Main Conference CuAsmRL: optimizing GPU SASS schedules via deep reinforcement learning 14:20 - 14:40				CGO Main Conference Proteus: Portable Runtime Optimization of GPU Kernel Execution with Jus ... 14:40 - 15:00				CGO Main Conference Parallaft: Runtime-based CPU Fault Tolerance via Heterogeneous Parallelism 15:00 - 15:20								CGO Main Conference Qiwu: Exploiting Ciphertext-Level SIMD Parallelism in Homomorphic Encry ... 15:40 - 16:00				CGO Main Conference Cage: Hardware-Accelerated Safe WebAssembly 16:00 - 16:20				CGO Main Conference Teapot: Efficiently Uncovering Spectre Gadgets in COTS Binaries 16:20 - 16:40				CGO Main Conference Janitizer: Rethinking Binary Tools for Practical and Comprehensive Security 16:40 - 17:00

Wed 5 Mar
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45
Casuarina Ballroom	CGO Main Conference Postiz: Extending Post-Increment Addressing for Loop Optimization and C ... 10:00 - 10:20				CGO Main Conference Compiler Auto-Tuning Using Synergistic Pass Pairs 10:20 - 10:40				CGO Main Conference Stardust: Compiling Sparse Tensor Algebra to a Reconfigurable Dataflow ... 10:40 - 11:00				CGO Main Conference Vectron: A Dynamic Programming Auto-Vectorization Framework 11:00 - 11:20								CGO Main Conference Honey Potion: an eBPF Backend for Elixir 11:40 - 12:00				CGO Main Conference GoFree: Reducing Garbage Collection via Compiler-inserted Freeing 12:00 - 12:20				CGO Main Conference Improving Native-Image Startup Performance 12:20 - 12:40				CGO Main Conference Speeding up the Local C++ Development Cycle with Header Substitution 12:40 - 13:00

Room information: Casuarina Ballroom

Mon 3 Mar
Displayed time zone: Pacific Time (US & Canada) change

Tue 4 Mar
Displayed time zone: Pacific Time (US & Canada) change

Wed 5 Mar
Displayed time zone: Pacific Time (US & Canada) change

Mon 3 Mar
Displayed time zone: Pacific Time (US & Canada) change

Main Conference

Main Conference

Main Conference

Main Conference

Main Conference

Tue 4 Mar
Displayed time zone: Pacific Time (US & Canada) change

Main Conference

Main Conference

Main Conference

Main Conference

Wed 5 Mar
Displayed time zone: Pacific Time (US & Canada) change

Main Conference

Main Conference

Mon 3 Mar
Displayed time zone: Pacific Time (US & Canada) change

Tue 4 Mar
Displayed time zone: Pacific Time (US & Canada) change

Wed 5 Mar
Displayed time zone: Pacific Time (US & Canada) change

CGO 2025

Room information: Casuarina Ballroom

Program Display Configuration

Mon 3 MarDisplayed time zone: Pacific Time (US & Canada) change

Tue 4 MarDisplayed time zone: Pacific Time (US & Canada) change

Wed 5 MarDisplayed time zone: Pacific Time (US & Canada) change

Mon 3 MarDisplayed time zone: Pacific Time (US & Canada) change

Main Conference

Main Conference

Main Conference

Main Conference

Main Conference

Tue 4 MarDisplayed time zone: Pacific Time (US & Canada) change

Main Conference

Main Conference

Main Conference

Main Conference

Wed 5 MarDisplayed time zone: Pacific Time (US & Canada) change

Main Conference

Main Conference

Mon 3 MarDisplayed time zone: Pacific Time (US & Canada) change

Tue 4 MarDisplayed time zone: Pacific Time (US & Canada) change

Wed 5 MarDisplayed time zone: Pacific Time (US & Canada) change

Mon 3 Mar
Displayed time zone: Pacific Time (US & Canada) change

Tue 4 Mar
Displayed time zone: Pacific Time (US & Canada) change

Wed 5 Mar
Displayed time zone: Pacific Time (US & Canada) change

Mon 3 Mar
Displayed time zone: Pacific Time (US & Canada) change

Tue 4 Mar
Displayed time zone: Pacific Time (US & Canada) change

Wed 5 Mar
Displayed time zone: Pacific Time (US & Canada) change

Mon 3 Mar
Displayed time zone: Pacific Time (US & Canada) change

Tue 4 Mar
Displayed time zone: Pacific Time (US & Canada) change

Wed 5 Mar
Displayed time zone: Pacific Time (US & Canada) change