Bounded expectations: resource analysis for probabilistic programs-Reference-Cited by-同舟云学术

Bounded expectations: resource analysis for 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:

Ngo Van Chan¹,Carbonneaux Quentin²,Hoffmann Jan¹

Affiliation:

1. Carnegie Mellon University, USA

2. Yale University, USA

Funder

Defense Advanced Research Projects Agency

Eric and Wendy Schmidt Fund

Publisher

ACM

Link

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

Reference89 articles.

1. Elvira Albert Jesús Correas Fernández and Guillermo Román-Díez. 2015. Non-cumulative Resource Analysis. In Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference (TACAS’15). 10.1007/978-3-662-46681-0_6 Elvira Albert Jesús Correas Fernández and Guillermo Román-Díez. 2015. Non-cumulative Resource Analysis. In Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference (TACAS’15). 10.1007/978-3-662-46681-0_6

2. On the Limits of the Classical Approach to Cost Analysis

3. R. B. Ash and C. Doléans-Dade. 2000. Probability and Measure Theory. Academic Press. R. B. Ash and C. Doléans-Dade. 2000. Probability and Measure Theory. Academic Press.

4. Amortised Resource Analysis with Separation Logic

5. Analysing the complexity of functional programs: higher-order meets first-order

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

1. Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs;Proceedings of the ACM on Programming Languages;2024-08-15

2. Almost-Sure Termination by Guarded Refinement;Proceedings of the ACM on Programming Languages;2024-08-15

3. Equivalence and Similarity Refutation for Probabilistic Programs;Proceedings of the ACM on Programming Languages;2024-06-20

4. Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving;Proceedings of the ACM on Programming Languages;2024-06-20

5. Quantitative Bounds on Resource Usage of Probabilistic Programs;Proceedings of the ACM on Programming Languages;2024-04-29