PMAF: an algebraic framework for static analysis of probabilistic programs-Reference-Cited by-同舟云学术

PMAF: an algebraic framework for static analysis of probabilistic programs

Published:2018-06-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Wang Di¹,Hoffmann Jan¹,Reps Thomas²

Affiliation:

1. Carnegie Mellon University, USA

2. University of Wisconsin, USA / GrammaTech, USA

Funder

a gift from Rajiv and Ritu Batra

AFRL under DARPA STAC award

AFRL under DARPA award

the Wisconsin Alumni Research Foundation

the UW-Madison Office of the Vice Chancellor for Research and Graduate Education

AFRL under DARPA MUSE award

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3192366.3192408

Reference83 articles.

1. S. Abramsky and A. Jung. 1994. Domain Theory. In Handbook of Logic in Computer Science. Oxford University Press Oxford UK. S. Abramsky and A. Jung. 1994. Domain Theory. In Handbook of Logic in Computer Science . Oxford University Press Oxford UK.

2. R. I. Bahar E. A. Frohm C. M. Gaona G. D. Hachtel E. Macii A. Pardo and F. Somenzi. 1997. Algebraic Decision Diagrams and their Applications. Formal Methods in System Design 10 (April 1997). Issue 2. R. I. Bahar E. A. Frohm C. M. Gaona G. D. Hachtel E. Macii A. Pardo and F. Somenzi. 1997. Algebraic Decision Diagrams and their Applications. Formal Methods in System Design 10 (April 1997). Issue 2.

3. T. Ball A. Podelski and S. K. Rajamani. 2001. Boolean and Cartesian Abstraction for Model Checking C Programs. In Tools and Algs. for the Construct. and Anal. of Syst. (TACAS'01). T. Ball A. Podelski and S. K. Rajamani. 2001. Boolean and Cartesian Abstraction for Model Checking C Programs. In Tools and Algs. for the Construct. and Anal. of Syst. (TACAS'01) .

4. G. Barthe T. Espitau M. Gaboardi B. Gregoire J. Hsu and P.-Y. Strub. 2016. A Program Logic for Probabilistic Programs. Available at justinh.su/files/papers/ellora.pdf. G. Barthe T. Espitau M. Gaboardi B. Gregoire J. Hsu and P.-Y. Strub. 2016. A Program Logic for Probabilistic Programs. Available at justinh.su/files/papers/ellora.pdf.

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Newtonian Program Analysis of Probabilistic Programs;Proceedings of the ACM on Programming Languages;2024-04-29

2. On Lexicographic Proof Rules for Probabilistic Termination;Formal Aspects of Computing;2023-06-23

3. Automated Expected Value Analysis of Recursive Programs;Proceedings of the ACM on Programming Languages;2023-06-06

4. Symbolic execution for randomized programs;Proceedings of the ACM on Programming Languages;2022-10-31

5. Guaranteed bounds for posterior inference in universal probabilistic programming;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09