Mike Barnett

Artificial Intelligence · 2003–2005

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

Subfields

• Artificial Intelligence — 14 citations into it; #17,470 of 35,345 by trust here, #13,760 by citations
• Computational Theory and Mathematics — 8 citations into it; #8,063 of 12,182 by trust here, #4,531 by citations
• Software — 7 citations into it; #490 of 1,227 by trust here, #322 by citations

Whom Mike Barnett trusts overall

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

1. Greg Nelson
2. R. Deline
3. David Detlefs
4. Manuel Fähndrich
5. Lilian Burdy
6. Chandrasekhar Boyapati
7. Yoonsik Cheon
8. J. Saxe
9. Robert Lee
10. Gary T. Leavens

Who trusts Mike Barnett overall

1. Leonardo de Moura
2. Rohit Sinha
3. Jean-Christophe Filliâtre
4. Nikolaj S. Bjørner
5. François Bobot
6. Michael M. Swift
7. Sergey Mechtaev
8. K. Rustan
9. Lilian Burdy
10. A. Paskevich

Papers from Mike Barnett's perspective

Ordered by how strongly the researchers Mike Barnett 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. Simplify: a theorem prover for program checking (JACM)
3. The Spec# Programming System: An Overview (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
4. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
5. An overview of JML tools and applications (International Journal on Software Tools for Technology Transfer (STTT))
6. Ownership types for safe programming: preventing data races and deadlocks (Conference on Object-Oriented Programming Systems, Languages, and Applications)
7. High Integrity Software - The SPARK Approach to Safety and Security
8. Verification of Object-Oriented Programs with Invariants (Journal of Object Technology)
9. Typestates for Objects (European Conference on Object-Oriented Programming)
10. Adoption and focus: practical linear types for imperative programming (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers

• Boogie: A Modular Reusable Verifier for Object-Oriented Programs (2005) — 1,068 citations
• Verification of Object-Oriented Programs with Invariants (2003) — 396 citations
• The Spec# Programming System: An Overview (2004) — 1,202 citations