The Portal Center organizes a monthly seminar that is open to industry affiliates and sponsors, typically on the first Wednesday of each month. If your company is an affiliate or sponsor and you wish to get access to the monthly meetings, then email Julie Hitchcock (julieh1@stanford.edu). The Portal center also runs a weekly internal seminar. Both internal and affiliate seminars are on Wednesdays at 12noon in the CoDa Building (389 Jane Stanford Way) Room E401.
In the following schedules external affiliate and sponsor talks are listed in bold text and internal talks with normal font.
Winter 2026
| Date | Topic | Speaker |
|---|---|---|
| March 11 | Chasing the Optimum: The Rise and Evolution of Optimization Modulo Theories | Nestan Tsiskaridze |
| March 4 | Zircon: A Heterogeneous CGRA for Accelerating Dense and Sparse Machine Learning Applications | Yuchen Mei & Michael Oduoza |
| February 25 | Data Layout Polymorphism for Bounding Volume Hierarchies | Chris Gyurgyik |
| February 18 | Designing a Sparsity-Aware Processing Unit for LLM Activation Outliers | Bo Wun Cheng |
| February 11 | Productively Programming Accelerated Computing Systems | Rohan Yadav |
| February 4 | Pono 2.0: A Versatile SMT-Based Model Checker for Safety and Liveness | Áron Ricardo Perez-Lopez |
| January 28 | Optimal Software Pipelining and Warp Specialization for Tensor Core GPUs | Rupanshu Soi |
| January 21 | Non-linear Function Approximation for Quantized Neural Network Using Formal Tools | Zhouhua Xie |
| January 14 | Winter-Spring Planning | |
| January 7 | SemanticDialect: Fine-grained Block-wise Mixed-format Video Diffusion Transformer Quantization | Wonsuk Jang |
Fall 2025
| Date | Topic | Speaker |
|---|---|---|
| Dec. 22- Jan. 2 | Winter Break (no seminars) | |
| December 17 | End of quarter (no seminar) | |
| December 10 | Compiling Recurrences to Systolic Architectures | Shiv Sundram |
| December 3 | The Sphinx Framework | Jeffrey Yu |
| November 26 | Thanksgiving Break (no seminar) | |
| November 19 | Quantum Compilation and Simulation | Ritvik Sharma |
| November 12 | Accelerating Database Processing with FPGAs | Stephen Neuendorffer (AMD) |
| CANCELED: November 5 | Pono 2.0: A Versatile SMT-Based Model Checker for Safety and Liveness | Áron Ricardo Perez-Lopez |
| October 29 | Mapping AI inference workloads to Heterogeneous Hardware at scale | Zain Asgar |
| October 22 | Compiling Declarative Recurrences into Optimized Systolic Array Accelerators | Akhilesh Balasingam |
| October 15 | Efficient Optimization with Encoded Ising Models | Devrath Iyer |
| October 8 | Sparse ML Compilation Frameworks for CPUs and Dataflow Machines | Bobby Yan and Rubens Lacouture |
| October 1 | Towards Automated GPU Kernel Generation | Simon Guo |
| September 24 | Planning Meeting |
Summer 2025
| Date | Topic | Speaker |
|---|---|---|
| August 27-28 | Yearly Portal Retreat | |
| August 13 | Abstract Machine Discussion (no zoom) | Mark Horowitz |
| August 6 | Quantization Discussion (no zoom) | Thierry Tambe |
| July 23 | High-Level IR Discussion (no zoom) | Fredrik Kjolstad |
| July 9 | Voyager: A High-Level Synthesis Based Framework for Design Space Exploration and Generation of Neural Network Accelerators | Kartik Prabhu |
Spring 2025
| Date | Topic | Speaker |
|---|---|---|
| June 4 | Task-based tensor computations on modern GPUs | Rohan Yadav |
| May 28 | LEGO: A compiler for tiling and mapping sparse tensor algebra expressions to heterogenous hardware stacks | Sai Gautham Ravipati |
| May 21 | Zircon: Heterogeneous CGRA for Accelerating Machine Learning and Image Processing Applications | Yuchen Mei |
| May 14 | µAgent: Energy-Efficient Edge SoC for LLM-based Agentic AI Reasoning | Wonsuk Jang and Christian Kubicka |
| May 7 | Efficient Sparsity for Deep Learning | Trevor Gale (Google DeepMind) |
| April 30 | Sphinx: Accelerating Edge LLM Using 4-bit NormalFloat and On-the-Fly Outlier Handling | Jeffrey Yu |
| April 23 | Compressing LLMs for Efficient Inference: Recent Advances in Low-Rank Methods, Quantization, and Structured Sparsity | Rajarshi Saha (AWS) |
| April 16 | CPV: A Circuit-Based Program Verifier | Po-Chun Chien |
| April 9 | Ember: a Compiler for Efficient Embedding Operations on Decoupled Access-Execute Architectures | Marco Siracusa |
| April 2 | Deegen: A Meta-compiler Approach for High Performance VMs at Low Engineering Cost Abstract | Haoran Xu |
Winter 2025
| Date | Topic | Speaker |
|---|---|---|
| March 26 | Spring Break (no seminar) | |
| March 19 | Verification | Clark Barrett |
| March 12 | Summer Goals | Discussion |
| March 5 | Quantization Algorithms | Mert Pilanci |
| February 26 | HLS and VLSI Design | Thierry Tambe, Priyanka Raina, and Mark Horowitz |
| February 19 | Collection IR | Fred Kjolstad |
| February 12 | Voyager: A High-Level Synthesis Based Framework for Design Space Exploration and Generation of Neural Network Accelerators | Kartik Prabhu |
| February 5 | ML Research Overview | Ludwig Schmidt |
| January 29 | Compiling Recurrences over Dense and Sparse Arrays | Shiv Sundram |
| January 22 | Who is working on what? | Discussion |
| January 15 | Apple-Portal Discussion | Eric Lee |
| January 8 | Mapping Sparse Applications to Accelerated Computing Systems | Olivia Hsu |
Fall 2024
| Date | Topic | Speaker | |
|---|---|---|---|
| December 11 | AMD AIEngine Software | Joseph Melber (AMD) | |
| December 4 | LLM-aided code translation | Abdulrahman Mahmoud (MBZUAI) | |
| November 27 | Thanksgiving Break (no seminar) | ||
| November 20 | Portable ML Compiler Design Discussion | Priyanka Raina and Fred Kjolstad | |
| November 13 | Quantization in Hardware | Thierry Tambe | |
| November 6 | Introduction to AWS Trainium architecture and ISA | Ron Diamant (AWS), Serina Tan (AWS), and Jonathan Henson (AWS) | |
| October 30 | Current State of HW Quantization and Number Formats | Thierry Tambe | |
| October 23 | Chiplets | Mark Horowitz | |
| October 16 | AMD AIEngine | Steven Neuendorffer (AMD) and Sam Bayliss (AMD) | |
| October 9 | PyTorch Compiler for Internal Hardware | Jeffrey Yu | |
| October 2 | Current State of ML Compilers | Christophe Gyurgyik | |
| Sepember 25 | Round-Table Elevator Pitches | ||
| September 18 | Topic Planning | ||
| September 11 | Introductions |