Abstract is missing.
- Semantics of Probabilistic Programming: A Gentle IntroductionFredrik Dahlqvist, Alexandra Silva 0001, Dexter Kozen. 1-42 [doi]
- Probabilistic Programs as MeasuresSam Staton. 43-74 [doi]
- Application ofComputable Distributions to the Semantics of Probabilistic ProgramsDaniel Huang 0001, Greg Morrisett, Bas Spitters. 75-120 [doi]
- On Probabilistic λ-CalculiUgo Dal Lago. 121-144 [doi]
- Probabilistic Couplings from Program LogicsGilles Barthe, Justin Hsu. 145-184 [doi]
- Expected Runtime Analyis by Program VerificationBenjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. 185-220 [doi]
- Termination Analysis of Probabilistic Programs with MartingalesKrishnendu Chatterjee, Hongfei Fu 0001, Petr Novotný 0001. 221-258 [doi]
- Quantitative Analysis of Programs with Probabilities and Concentration of Measure InequalitiesSriram Sankaranarayanan 0001. 259-294 [doi]
- The Logical Essentials of Bayesian ReasoningBart Jacobs 0001, Fabio Zanasi. 295-332 [doi]
- Quantitative Equational ReasoningGiorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin. 333-360 [doi]
- Probabilistic Abstract Interpretation: Sound Inference and Application to PrivacyJosé Manuel Calderón Trilla, Michael Hicks 0001, Stephen Magill, Piotr Mardziel, Ian Sweet. 361-390 [doi]
- Quantitative Information Flow with Monads in HaskellJeremy Gibbons, Annabelle McIver, Carroll Morgan, Tom Schrijvers. 391-448 [doi]
- Luck: A Probabilistic Language for TestingLeonidas Lampropoulos, Benjamin C. Pierce, Li-yao Xia, Diane Gallois-Wong, Catalin Hritcu, John Hughes 0001. 449-488 [doi]
- Tabular: Probabilistic Inference from the SpreadsheetAndrew D. Gordon 0001, Claudio V. Russo, Marcin Szymczak 0002, Johannes Borgström, Nicolas Rolland, Thore Graepel, Daniel Tarlow. 489-532 [doi]
- Programming Unreliable HardwareMichael Carbin, Sasa Misailovic. 533-568 [doi]