Session details: Session 7A: Probabilistic Programs

2015 ◽  
Author(s):  
Supratik Chakraborty
Keyword(s):  
Probabilistic Programs

scholarly journals A modular cost analysis for probabilistic programs

2020 ◽  
Vol 4 (OOPSLA) ◽  
pp. 1-30
Author(s):  
Martin Avanzini ◽  
Georg Moser ◽  
Michael Schaper
Keyword(s):  
Cost Analysis ◽  
Probabilistic Programs

Incremental inference for probabilistic programs

2018 ◽  
Vol 53 (4) ◽  
pp. 571-585 ◽  
Author(s):  
Marco Cusumano-Towner ◽  
Benjamin Bichsel ◽  
Timon Gehr ◽  
Martin Vechev ◽  
Vikash K. Mansinghka
Keyword(s):  
Probabilistic Programs

scholarly journals Transforming Probabilistic Programs for Model Checking

2020 ◽  
Author(s):  
Ryan Bernstein ◽  
Matthijs Vákár ◽  
Jeannette Wing
Keyword(s):  
Model Checking ◽  
Probabilistic Programs

scholarly journals Symbolic conditioning of arrays in probabilistic programs

2017 ◽  
Vol 1 (ICFP) ◽  
pp. 1-25 ◽  
Author(s):  
Praveen Narayanan ◽  
Chung-chieh Shan
Keyword(s):  
Probabilistic Programs

scholarly journals Semantics of higher-order probabilistic programs with conditioning

2020 ◽  
Vol 4 (POPL) ◽  
pp. 1-29 ◽  
Author(s):  
Fredrik Dahlqvist ◽  
Dexter Kozen
Keyword(s):  
Higher Order ◽  
Probabilistic Programs

scholarly journals Quantitative analysis of assertion violations in probabilistic programs

2021 ◽  
Author(s):  
Jinyi Wang ◽  
Yican Sun ◽  
Hongfei Fu ◽  
Krishnendu Chatterjee ◽  
Amir Kafshdar Goharshady
Keyword(s):  
Quantitative Analysis ◽  
Probabilistic Programs

Replication Package for Article: Quantitative Analysis of Assertion Violations in Probabilistic Programs

2021 ◽  
Author(s):  
Jinyi Wang ◽  
Yican Sun ◽  
Hongfei Fu ◽  
Krishnendu Chatterjee ◽  
Amir Kafshdar Goharshady
Keyword(s):  
Quantitative Analysis ◽  
Probabilistic Programs
Sign in / Sign up

Export Citation Format

Share Document