Smallfoot: Modular Automatic Assertion Checking with Separation Logic

By Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn. Formal Methods for Components and Objects, 2005

424 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Hardware and Architecture

View Paper: https://www.semanticscholar.org/paper/db98d68cee3d782af0eec49e06a5a2e3dff30f08

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Ke Wang
2. Philippa Gardner
3. Sergio Maffeis
4. Linzhang Wang
5. Gareth Smith
6. Yu Wang
7. Thomas Wies
8. Ke Wang

In Hardware and Architecture

1. Thomas Wies

Citations in the corpus

• Towards a program logic for JavaScript (2012, background): “Separation logic has proven to be invaluable for reasoning about programs which directly manipulate the heap, such as C and Java programs [2, 3, 8, 19, 32].”
• Learning semantic program embeddings with graph interval neural network (2020, methodology): “We also deploy our trained bug detector and Facebook Infer [Berdine et al. 2006; Calcagno et al. 2015], arguably the state-of-the-art static analysis tool, to search bugs in 20 Java projects that are among the most starred on GitHub.”
• GRASShopper - Complete Heap Verification with Mixed Specifications (2014, background): “Separation logic has therefore spawned extensive research into developing tool support for automated verification of programs against SL specifi-cations [3,4,9,27].”