Verified sequential Malloc/Free-Reference-Cited by-同舟云学术

Verified sequential Malloc/Free

Published:2020-06 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2020 ACM SIGPLAN International Symposium on Memory Management
language:
Short-container-title:

Author:

Appel Andrew W.¹,Naumann David A.²

Affiliation:

1. Princeton University, USA

2. Stevens Institute of Technology, USA

Funder

National Science Foundation

Publisher

ACM

Link

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

Reference54 articles.

1. David Aspinall and Adriana B. Compagnoni. 2003. David Aspinall and Adriana B. Compagnoni. 2003.

2. Heap-Bounded Assembly Language. J. Autom. Reasoning 31 3-4 (2003) 261–302. Heap-Bounded Assembly Language. J. Autom. Reasoning 31 3-4 (2003) 261–302.

3. Precise analysis of memory consumption using program logics

4. Lennart Beringer and Andrew W. Appel. 2019. Abstraction and Subsumption in Modular Verification of C Programs. In Formal Methods - The Next 30 Years - Third World Congress FM 2019 Proceedings (LNCS) Maurice H. ter Beek Annabelle McIver and José N. Oliveira (Eds.) Vol. 11800. Springer 573–590. 030-30942-8_34 10.1007/978-3-030-30942-8_34 Lennart Beringer and Andrew W. Appel. 2019. Abstraction and Subsumption in Modular Verification of C Programs. In Formal Methods - The Next 30 Years - Third World Congress FM 2019 Proceedings (LNCS) Maurice H. ter Beek Annabelle McIver and José N. Oliveira (Eds.) Vol. 11800. Springer 573–590. 030-30942-8_34 10.1007/978-3-030-30942-8_34

5. Automatic Certification of Heap Consumption

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

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

2. Who Ate My Memory? Towards Attribution in Memory Management;2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP);2023-05

3. wfspan: Wait-free Dynamic Memory Management;ACM Transactions on Embedded Computing Systems;2022-07-31

4. Coq’s vibrant ecosystem for verification engineering (invited talk);Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs;2022-01-11

5. Verified Software Units for Simple DFA Modules and Objects in C;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022