PLDI 2024 (series) / PLDI Research Papers /
Equivalence and Similarity Refutation for Probabilistic Programs
Wed 26 Jun 2024 11:20 - 11:40 at Finland / Norway - Probabilistic Programming Chair(s): Jeremy G. Siek
Wed 26 JunDisplayed time zone: Windhoek change
Wed 26 Jun
Displayed time zone: Windhoek change
10:40 - 12:20 | Probabilistic ProgrammingPLDI Research Papers at Finland / Norway Chair(s): Jeremy G. Siek Indiana University, USA | ||
10:40 20mTalk | Bit Blasting Probabilistic Programs PLDI Research Papers Poorva Garg University of California, Los Angeles, Steven Holtzen Northeastern University, Guy Van den Broeck University of California at Los Angeles, Todd Millstein University of California at Los Angeles DOI | ||
11:00 20mTalk | Compiling Probabilistic Programs for Variable Elimination with Information Flow PLDI Research Papers Jianlin Li University of Waterloo, Eric Wang University of Waterloo, Yizhou Zhang University of Waterloo DOI | ||
11:20 20mTalk | Equivalence and Similarity Refutation for Probabilistic Programs PLDI Research Papers Krishnendu Chatterjee IST Austria, Ehsan Kafshdar Goharshady IST Austria, Petr Novotný Masaryk University, Đorđe Žikelić Singapore Management University, Singapore DOI | ||
11:40 20mTalk | GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables PLDI Research Papers Mathieu Huot MIT, Matin Ghavami Massachusetts Institute of Technology, Alexander K. Lew Massachusetts Institute of Technology, Ulrich Schaechtle Digital Garage, Cameron Freer Massachusetts Institute of Technology, Zane Shelby Digital Garage, Martin Rinard MIT, Feras Saad Carnegie Mellon University, Vikash K. Mansinghka Massachusetts Institute of Technology DOI | ||
12:00 20mTalk | Probabilistic Programming with Programmable Variational Inference PLDI Research Papers McCoy Reynolds Becker MIT, Alexander K. Lew Massachusetts Institute of Technology, Xiaoyan Wang Massachusetts Institute of Technology, Matin Ghavami Massachusetts Institute of Technology, Mathieu Huot MIT, Martin Rinard MIT, Vikash K. Mansinghka Massachusetts Institute of Technology DOI | ||