• Scaling Probabilistic Programming Up
  Presented by Steven Holtzen at IFIP Working Group 2.8, Sandia National Laboratories, and Draper Labs, July 2025.
  Talk Slides
• Modular reasoning for probabilistic programs
  Presented by Steven Holtzen at Cornell Programming Language Discussion Group, April 2024.
  Talk Slides
• Lilac: A Modal Separation Logic for Conditional Probability
  Presented by John Li at PLDI, June 2023.
  Talk Recording
  Talk Slides
• PL Meets ML
  Presented by Steven Holtzen at Programming Languages Mentorship Workshop (PLMW) at PLDI, June 2023.
  Talk Slides
• Scaling Exact Inference for Discrete Probabilistic Programs
  Presented by Steven Holtzen at PLDI, June 2022.
  Talk Slides
• Probabilistic Programming for Science and Fault Analysis
  Presented by Steven Holtzen at Sandia National Laboratories, March 2022.
  Talk Slides
• Exploiting Symmetry for Scaling Discrete Factor Graph Inference
  Presented by Steven Holtzen at Northeastern DataLab Seminar, October 2021.
  Talk Slides
• Designing Languages for Probabilistic Reasoning
  Presented by Steven Holtzen at Harvard PL Seminar, 2021.
  Talk Slides
• Quantum Simulation with Probabilistic Inference
  Presented by Steven Holtzen at Intel, 2021.
  Talk Slides
• Scaling Languages for Probabilistic Reasoning
  Presented by Steven Holtzen at Norteastern University, Notre Dame, Oregon State University, UC Merced, 2021.
  Talk Slides