Continuously reasoning about programs using differential Bayesian inference-Reference-Cited by-同舟云学术

Continuously reasoning about programs using differential Bayesian inference

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

Author:

Heo Kihong¹,Raghothaman Mukund¹,Si Xujie¹,Naik Mayur¹

Affiliation:

1. University of Pennsylvania, USA

Funder

National Science Foundation

Defense Advanced Research Projects Agency

Publisher

ACM

Link

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

Reference61 articles.

1. Serge Abiteboul Richard Hull and Victor Vianu. 1994. Foundations of Databases: The Logical Level (1st ed.). Pearson. Serge Abiteboul Richard Hull and Victor Vianu. 1994. Foundations of Databases: The Logical Level (1st ed.). Pearson.

2. The SLAM project

3. Gilles Barthe Juan Manuel Crespo and César Kunz. 2011. Relational Verification Using Product Programs. In Formal Methods (FM 2011). Springer 200–214. Gilles Barthe Juan Manuel Crespo and César Kunz. 2011. Relational Verification Using Product Programs. In Formal Methods (FM 2011). Springer 200–214.

4. A few billion lines of code later

5. A static analyzer for large safety-critical software

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

1. An empirical application of user-guided program analysis;China Communications;2024-07

2. Learning Abstraction Selection for Bayesian Program Analysis;Proceedings of the ACM on Programming Languages;2024-04-29

3. VALAR: Streamlining Alarm Ranking in Static Analysis with Value-Flow Assisted Active Learning;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

4. APICAD: Augmenting API Misuse Detection through Specifications from Code and Documents;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05

5. TRACER;Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security;2022-11-07