• 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