Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 3 MarDisplayed time zone: Pacific Time (US & Canada) change
Mon 3 Mar
Displayed time zone: Pacific Time (US & Canada) change
09:30 - 10:00 | Break and ReconfigurationBreak / Main Conference | ||
10:00 - 11:00 | |||
10:00 20mTalk | Synthesis of Sorting Kernels Main Conference | ||
10:20 20mTalk | 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 20mTalk | 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:00 - 11:20 | BreakBreak / Main Conference | ||
11:00 20mCoffee break | Break Break | ||
11:20 - 12:20 | |||
11:20 20mTalk | 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 20mTalk | 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 20mTalk | 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 | ||
12:20 - 14:00 | LunchBreak / Main Conference | ||
12:20 1h40mLunch | Lunch Break | ||
14:00 - 15:20 | |||
14:00 20mTalk | 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 20mTalk | 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 20mTalk | GraalNN: Context-Sensitive Static Profiling with Graph Neural Networks Main Conference | ||
15:00 20mTalk | 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 | ||
14:00 - 15:20 | |||
14:00 20mTalk | Synthesis of Quantum Simulators by Compilation Main Conference Meisam Tarabkhah University of Edinburgh, Mahshid Delavar University of Sheffield, Mina Doosti University of Edinburgh, Amir Shaikhha University of Edinburgh | ||
14:20 20mTalk | Weaver: A Retargetable Compiler Framework for FPQA Quantum Architectures Main Conference Oğuzcan Kırmemiş TU Munich, Francisco Romao TU Munich, Emmanouil Giortamis TU Munich, Pramod Bhatotia TU Munich, Germany | ||
14:40 20mTalk | Qubit Movement-Optimized Program Generation on Zoned Neutral Atom Processors Main Conference enhyeok jang Yonsei University, Youngmin Kim Yonsei University, Hyungseok Kim Yonsei University, Seungwoo Choi Yonsei University, Yipeng Huang Rutgers University, Won Woo Ro Yonsei University | ||
15:00 20mTalk | ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language Main Conference Austin J. Adams Georgia Institute of Technology, Sharjeel Khan Georgia Institute of Technology, Arjun Bhamra Georgia Institute of Technology, Ryan Abusaada Georgia Institute of Technology, Anthony Cabrera Oak Ridge National Laboratory, Cameron Hoechst Georgia Institute of Technology, Travis S. Humble Oak Ridge National Laboratory, Jeffrey Young Georgia Institute of Technology, Thomas Conte Georgia Institute of Technology | ||
15:20 - 15:40 | BreakBreak / Main Conference | ||
15:20 20mCoffee break | Break Break | ||
15:40 - 16:40 | |||
15:40 20mTalk | 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 20mTalk | 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 20mTalk | 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 | ||
15:40 - 16:40 | |||
15:40 20mTalk | ANT-ACE: An FHE Compiler Framework for Automating Neural Network Inference Main Conference Long Li Ant Group, Jianxin Lai Ant Group, Peng Yuan Ant Group, Tianxiang Sui Ant Group, Yan Liu Ant Group, Qing Zhu Ant Group, Xiaojing Zhang Ant Group, Linjie Xiao Ant Group, Wenguang Chen Tsinghua University; Pengcheng Laboratory, Jingling Xue UNSW Sydney | ||
16:00 20mTalk | CUrator: An Efficient LLM Execution Engine with Optimized Integration of CUDA Libraries Main Conference | ||
16:20 20mTalk | Accelerating LLMs using an Efficient GEMM library and Target-aware Optimizations on Real-world PIM Devices Main Conference Hyeoncheol Kim Yonsei University, Taehoon Kim Rebellions Inc, Taehyeong Park Yonsei University, Donghyeon Kim Hanyang University, Yongseung Yu Yonsei University, Hanjun Kim Yonsei University, Yongjun Park Yonsei University | ||
16:40 - 17:00 | BreakBreak / Main Conference | ||
16:40 20mCoffee break | Break Break | ||
17:00 - 18:00 | |||
17:00 20mTalk | 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 20mTalk | 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 20mTalk | DialEgg: Dialect-Agnostic MLIR Optimizer using Equality Saturation with Egglog Main Conference | ||
Tue 4 MarDisplayed time zone: Pacific Time (US & Canada) change
Tue 4 Mar
Displayed time zone: Pacific Time (US & Canada) change
09:30 - 10:00 | Break and ReconfigurationBreak / Main Conference | ||
10:00 - 11:00 | |||
10:00 20mTalk | 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 20mTalk | 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 20mTalk | 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 | ||
10:00 - 11:00 | |||
10:00 20mTalk | FastFlip: Compositional SDC Resiliency Analysis Main Conference Keyur Joshi University of Illinois at Urbana-Champaign, Rahul Singh University of Illinois Urbana-Champaign, Tommaso Bassetto University of Illinois Urbana-Champaign, Sarita Adve University of Illinois at Urbana-Champaign, Darko Marinov University of Illinois at Urbana-Champaign, Sasa Misailovic University of Illinois at Urbana-Champaign | ||
10:20 20mTalk | MTE2JNI: A Memory Tagging Method to Protect Java Heap Memory from Illicit Native Code Access Main Conference Huinan Chen Wuhan University, Jiang Ma OPPO Electronics Corp., Jason Xue MBZUAI, Qingan Li Wuhan University, China | ||
10:40 20mTalk | Compiler-Based Memory Safety Instrumentations in Practice: Usability, Performance, and Security Guarantees Main Conference Tina Jung Saarland Informatics Campus, Saarland University, Fabian Ritter Saarland University, Germany, Sebastian Hack Saarland University, Saarland Informatics Campus | ||
11:00 - 11:20 | BreakBreak / Main Conference | ||
11:00 20mCoffee break | Break Break | ||
11:20 - 12:20 | |||
11:20 20mTalk | 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 20mTalk | 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 20mTalk | 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 | ||
12:20 - 14:00 | LunchBreak / Main Conference | ||
12:20 1h40mLunch | Lunch Break | ||
14:00 - 15:20 | |||
14:00 20mTalk | Code Generation for Cryptographic Kernels Using Multi-word Modular Arithmetic on GPU Main Conference | ||
14:20 20mTalk | CuAsmRL: optimizing GPU SASS schedules via deep reinforcement learning Main Conference | ||
14:40 20mTalk | 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 20mTalk | 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:20 - 15:40 | BreakBreak / Main Conference | ||
15:20 20mCoffee break | Break Break | ||
15:40 - 17:00 | |||
15:40 20mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | 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 | ||
17:00 - 20:00 | ExcursionBreak / Main Conference | ||
17:00 3hDinner | Dinner Break | ||
Wed 5 MarDisplayed time zone: Pacific Time (US & Canada) change
Wed 5 Mar
Displayed time zone: Pacific Time (US & Canada) change
09:30 - 10:00 | Break and ReconfigurationBreak / Main Conference | ||
10:00 - 11:20 | |||
10:00 20mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | 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:20 - 11:40 | BreakBreak / Main Conference | ||
11:20 20mCoffee break | Break Break | ||
11:40 - 13:00 | |||
11:40 20mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | 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 | ||