talks

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