SLING: using dynamic analysis to infer program invariants in separation logic-Reference-Cited by-同舟云学术

SLING: using dynamic analysis to infer program invariants in separation logic

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:

Le Ton Chanh¹,Zheng Guolong²,Nguyen ThanhVu²

Affiliation:

1. Stevens Institute of Technology, USA

2. University of Nebraska-Lincoln, USA

Funder

Office of Naval Research

Publisher

ACM

Link

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

Reference22 articles.

1. A learning-to-rank based fault localization approach using likely invariants;Le Tien-Duy B;ISSTA. ACM,2016

2. The SLAM Project: Debugging System Software via Static Analysis;Ball Thomas;POPL.,2002

3. A Decidable Fragment of Separation Logic;Berdine Josh;Foundations of Software Technology and Theoretical Computer Science.,2004

4. Software Verification with Validation of Results;Beyer Dirk;TACAS.,2017

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

1. Survey of annotation generators for deductive verifiers;Journal of Systems and Software;2024-05

2. Mostly Automated Proof Repair for Verified Libraries;Proceedings of the ACM on Programming Languages;2023-06-06

3. Multi-phase invariant synthesis;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07

4. Formal specifications investigated;Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering;2022-05-18

5. Shape-analysis driven memory graph visualization;Proceedings of the 30th IEEE/ACM International Conference on Program Comprehension;2022-05-16