ASE 2024
Sun 27 October - Fri 1 November 2024 Sacramento, California, United States
Thu 31 Oct 2024 10:30 - 10:45 at Compagno - Program analysis 3 Chair(s): Xusheng Xiao

Probabilistic programming allows developers to focus on the modeling aspect in the Bayesian workflow by abstracting away the posterior inference machinery. In practice, however, programming errors specific to the probabilistic environment are hard to fix without deep knowledge of the underlying systems. Like in classical software engineering, static program analysis methods could be employed to catch many of these errors. In this work, we present the first framework to formulate static analyses for probabilistic programs in a language-agnostic manner: LASAPP. While prior work focused on specific languages, all analyses written with our framework can be readily applied to new languages by adding easy-to-implement API bindings. Our prototype supports five popular probabilistic programming languages out-of-the-box. We demonstrate the effectiveness and expressiveness of the LASAPP framework by presenting four provably correct language-agnostic probabilistic program analyses that address problems discussed in the literature and evaluate them on over 200 real-world programs.

Thu 31 Oct

Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00
Program analysis 3Industry Showcase / Research Papers at Compagno
Chair(s): Xusheng Xiao Arizona State University
10:30
15m
Talk
Language-Agnostic Static Analysis of Probabilistic Programs
Research Papers
Markus Böck TU Wien, Michael Schröder TU Wien, Jürgen Cito TU Wien
10:45
15m
Talk
What Is Wrong with My Model? Identifying Systematic Problems with Semantic Data Slicing
Research Papers
Chenyang Yang , Yining Hong Carnegie Mellon University, Grace Lewis Carnegie Mellon Software Engineering Institute, Tongshuang Wu Carnegie Mellon University, Christian Kästner Carnegie Mellon University
11:00
15m
Talk
Interrogation Testing of Program Analyzers for Soundness and Precision Issues
Research Papers
David Kaindlstorfer TU Wien, Austria, Anastasia Isychev TU Wien, Valentin Wüstholz ConsenSys, Maria Christakis TU Wien
11:15
15m
Talk
Constraint-Based Test Oracles for Program Analyzers
Research Papers
Markus Fleischmann TU Wien, Austria, David Kaindlstorfer TU Wien, Austria, Anastasia Isychev TU Wien, Valentin Wüstholz ConsenSys, Maria Christakis TU Wien
11:30
15m
Talk
Program Synthesis Meets Visual What-Comes-Next Puzzles
Research Papers
Sumit Lahiri Indian Institute of Technology Kanpur, Pankaj Kumar Kalita IIT Kanpur, Akshay Kumar Chittora Indian Institute of Technology Kanpur, Varun Vankudre Indian Institute of Technology Kanpur, Subhajit Roy IIT Kanpur
11:45
15m
Talk
Enhancing Compositional Static Analysis with Dynamic Analysis
Industry Showcase