PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Wed 26 Jun 2024 11:20 - 11:40 at Finland / Norway - Probabilistic Programming Chair(s): Jeremy G. Siek

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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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