Josh Berdine

Artificial Intelligence · 2005

A researcher in the Science corpus: 2 papers; trusts 6 researchers and is trusted by 4 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 13 citations into it; #21,346 of 35,345 by trust here, #25,809 by citations
• Computational Theory and Mathematics — 10 citations into it; #7,683 of 12,182 by trust here, #10,349 by citations
• Computer Networks and Communications — 6 citations into it
• Hardware and Architecture — 5 citations into it
• Software — 5 citations into it; #691 of 1,227 by trust here, #1,098 by citations

Whom Josh Berdine trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. John C. Reynolds
2. Peter W. O'Hearn
3. Anders Møller
4. Cristiano Calcagno
5. S. Brookes
6. Greg Nelson
7. Maged M. Michael
8. Iroon Polytechniou
9. Mike Barnett
10. Michael I. Schwartzbach

Who trusts Josh Berdine overall

1. Viktor Vafeiadis
2. Cristiano Calcagno
3. Yu Wang
4. Peter W. O'Hearn
5. Matthew J. Parkinson
6. Dino Distefano
7. Fengjuan Gao

Papers from Josh Berdine's perspective

Ordered by how strongly the researchers Josh Berdine trusts endorse each paper. Same corpus, a different order for every researcher.

1. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
2. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
3. Verification of Object-Oriented Programs with Invariants (Journal of Object Technology)
4. Local Reasoning about Programs that Alter Data Structures
5. The Spec# Programming System: An Overview (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
6. Generalized Symbolic Execution for Model Checking and Testing (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
7. The pointer assertion logic engine (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
8. Permission accounting in separation logic (ACM-SIGACT Symposium on Principles of Programming Languages)
9. Influence of cultivation temperature on the ligninolytic activity of selected fungal strains
10. Hazard pointers: safe memory reclamation for lock-free objects (IEEE Transactions on Parallel and Distributed Systems)

Their papers

• Symbolic Execution with Separation Logic (2005) — 370 citations
• Smallfoot: Modular Automatic Assertion Checking with Separation Logic (2005) — 424 citations