Fall 2023 Calendar

Date Discussion Lead Paper/Topic Recording
Aug 21 Charith Mendis Organization Meeting
Sept 4 Labor Day (no class)
Sept 11* Yifan Zhao ApproxCaliper: A Programmable Framework for Application-Aware Neural Network Optimization Video
Sept 18 Stefanos Baziotis A Fast In-Place Interpreter for WebAssembly Video
Haoyang Zhang RipTide: A Programmable, Energy-Minimal Dataflow Compiler and Architecture
Sept 25* Randy Huang, Hongbin Zheng (AWS) A Deep Learning Compiler for Systolic Array based Accelerators
Oct 2 Jacob Laurel Abstractly Interpreting Differentiable Programming Video
Oct 9 Jason Ansel (Meta) PyTorch 2.0: Faster Machine learning through dynamic Python bytecode translation and graph compilation Video
Oct 16 Adrian Sampson (Cornell) The Next 700 Accelerator Design Languages Video
Oct 23 Rohan Yadav (Stanford) Distributed Sparse Computing in Python
Oct 30 Muchen Xu Hydride: A Retargetable and Extensible Synthesis-based Compiler for Modern Hardware Architectures
Nov 6 Vir Narula Pin or Fuse? Exploiting Scratchpad Memory to Reduce Off-Chip Data Transfer in DNN Accelerators
Muyan Hu EinNet: Optimizing Tensor Programs with Derivation-Based Transformations
Nov 20 Fall Break (no class)
Nov 27 Jaeyeon Won (MIT) The Continuous Tensor Abstraction: Where Indices are Real
Dec 4 Milind Kulkarni (Purdue) Beyond Polyhedra: Optimizing Irregular Programs
Dec 11 Finals Week (no class)

*5–6 pm in Room 2405 (Siebel)

Spring 2023 Calendar

Date Discussion Lead Paper/Topic Recording
Jan 30 Yufeng Wang TGOpt: Redundancy-Aware Optimizations for Temporal Graph Attention Networks Video
Feb 6 Vimarsh Sathia Understanding and Exploiting Optimal Function Inlining Slides
Benjamin Darnell egg: Fast and extensible equality saturation Slides
Feb 13 Xingyao Wang Code4Struct: Code Generation for Few-Shot Structured Prediction from Natural Language Video
Feb 20 Pavlo Pastaryev Copy-and-patch compilation: a fast compilation algorithm for high-level languages and bytecode Video
Srinjoy Das Alpa: Automating Inter- and Intra-Operator Parallelism for Distributed Deep Learning
Mar 2* Albert Cohen (Google) Machine Learning Compilers: There and Back Again Video
Mar 20 Jiawei Liu NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers
Mar 27 Kun Wu PIGEON: Optimizing CUDA Code Generator for End-to-End Training and Inference of Relational Graph Neural Networks Video
Apr 3 Shubham Ugare Incremental Verification of Neural Networks Video
Ashitabh Misra Applying Deep Learning to the Cache Replacement Problem
Apr 17 Stefanos Baziotis Dias: Dynamic Rewriting of Pandas Code Video
May 1 Zachary Tatlock (University of Washington) Relational Equality Saturation in egg Video (public)

*Thursday March 2nd, 12:30–1:30 pm in Room 1302 (SC)

Fall 2022 Calendar

Date Discussion Lead Paper/Topic Recording
Aug 30 Organization Meeting
Sept 9 Vincent Reverdy (CNRS) Compiler Performance, Embedded Domain Specific Languages, and the Future of C++
Sept 19 Panel Discussion
Sept 26 Yishen Chen (MIT) All you need is superword-level parallelism: systematic control-flow vectorization with SLP
Oct 3 Jackson Woodruff (University of Edinburgh) Bind the gap: compiling real software to hardware FFT accelerators
Oct 10 Mangpo Phothilimthana (Google Brain)
Oct 17 Jiaming Zhang Automated conformance testing for JavaScript engines via deep compiler fuzzing
Oct 24 Sukrit Ganesh Triton: an intermediate language and compiler for tiled neural network computations
Oct 31 Yufeng Wang ReACT: Redundancy-Aware Code Generation for Tensor Expressions
Damitha Lenadora SparseLNR: accelerating sparse tensor computations using loop nest restructuring
Nov 7 Saikat Dutta
Nov 14 Jacob Scott Laurel A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation
Nov 28 Shubham Ugare Proof transfer for fast certification of multiple approximate neural networks
Stephanos Baziotis TASO: optimizing deep learning computation with automatic generation of graph substitutions
Dec 5 Yifan Zhao Tensor Program Optimization with Probabilistic Programs

Spring 2022 Calendar

Date Discussion Lead Paper/Topic Recording
Jan 24 Organization Meeting
Jan 31 Jacob Scott Laurel A dual number abstraction for static analysis of Clarke Jacobians
Feb 7 Hashim Sharif Accuracy-aware Compilers for Energy-efficient Machine Learning Video
Feb 14 Damitha Lenadora Seastar: vertex-centric programming for graph neural networks Video
Stefanos Baziotis Broadway: A Compiler for Exploiting the Domain-Specific Semantics of Software Libraries
Feb 28 Aaron Councilman Domain Specific Languages and Compiler Techniques Video
Ashitabh Misra Automatic generation of high-performance quantized machine learning kernels
Mar 7 Albert Cohen (Google) Tensor Compilers: Abstractions for Portable Performance and Correctness Video
Mar 21 Benjamin Bichsel (ETH Zurich) Silq: a high-level quantum language with safe uncomputation and intuitive semantics Video
Mar 28 Srinjoy Das End-to-End Deep Learning of Optimization Heuristics Video
Yufeng Wang Graphiler: A Compiler for Graph Neural Networks
Apr 4 Ying Jing Trireme: Exploration of Hierarchical Multi-level Parallelism for Hardware Acceleration Video
Apr 11 Sushant Dinesh SYNTHCT: Towards Portable Constant-Time Code Video
Apr 18 Kaushik Kulkarni Transforming (not just) DG-FEM Array Expressions (not just) on GPUs Video
Abdul Rafae Noor Trimmer: An Automated System for Configuration-Based Software Debloating
Apr 25 Armando Solar-Lezama (MIT) Neurosymbolic programming, lessons from PL for better learning Video
May 2 Mathieu Fehr (University of Edinburgh) IRDL: an IR definition language for SSA compilers
May 9 Christopher Lam BioScript: programming safe chemistry on laboratories-on-a-chip

Fall 2021 Calendar

Date Discussion Lead Paper/Topic Recording
Oct 11 Organization Meeting
Oct 18 Charith, Vikram, Sasa, Gagandeep, Lawrence Panel Discussion
Oct 25 Jacob Scott Laurel Statheros: A Compiler for Efficient Low-Precision Probabilistic Programming
Nov 1 Gagandeep Singh Learning Fast and Precise Numerical Analysis
Nov 8 Aayan Kumar Shiftry: RNN Inference in 2KB of RAM
Nov 15 Kun Wu PyLog: An Algorithm-Centric Python-Based FPGA Programming and Synthesis Flow
Nov 29 Hanchen Ye Automatic generation of high-performance quantized machine learning kernels Video
Dec 6 Adel Ejjeh HPVM2FPGA: Enabling True Hardware-Agnostic FPGA Programming