Maximal specification synthesis-Reference-Cited by-同舟云学术

Maximal specification synthesis

Published:2016-01-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
language:
Short-container-title:

Author:

Albarghouthi Aws¹,Dillig Isil²,Gurfinkel Arie³

Affiliation:

1. University of Wisconsin-Madison, USA

2. University of Texas at Austin, USA

3. Carnegie Mellon University, USA

Publisher

ACM

Link

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

Reference53 articles.

1. Infer. http://fbinfer.com/. Infer. http://fbinfer.com/.

2. The LLVM compiler infrastructure. http://llvm.org. The LLVM compiler infrastructure. http://llvm.org.

3. Windows driver kit (WDK). https://msdn.microsoft.com/en-us/ library/windows/hardware/ff557573(v=vs.85).aspx. Windows driver kit (WDK). https://msdn.microsoft.com/en-us/ library/windows/hardware/ff557573(v=vs.85).aspx.

4. Craig Interpretation

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

1. From Batch to Stream: Automatic Generation of Online Algorithms;Proceedings of the ACM on Programming Languages;2024-06-20

2. Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq;Proceedings of the ACM on Programming Languages;2024-06-20

3. Partial program analysis for staged compilation systems;Formal Methods in System Design;2024-06-13

4. LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

5. Inference of Robust Reachability Constraints;Proceedings of the ACM on Programming Languages;2024-01-05