K. Rustan M. Leino

Artificial Intelligence · 2001–2003

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

Subfields

• Artificial Intelligence — 9 citations into it; #27,455 of 35,345 by trust here, #16,771 by citations
• Software — 8 citations into it; #274 of 1,227 by trust here, #308 by citations
• Information Systems — 7 citations into it
• Computational Theory and Mathematics — 6 citations into it; #3,488 of 12,182 by trust here, #4,531 by citations

Whom K. Rustan M. Leino trusts overall

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

1. Cormac Flanagan
2. Greg Nelson

Who trusts K. Rustan M. Leino overall

1. Greg Nelson
2. David R. Cok
3. Manuvir Das
4. Glenn Ammons
5. Dawson R. Engler
6. Joseph R. Kiniry
7. Mike Barnett

Papers from K. Rustan M. Leino's perspective

Ordered by how strongly the researchers K. Rustan M. Leino trusts endorse each paper. Same corpus, a different order for every researcher.

1. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
2. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
3. Simplify: a theorem prover for program checking (JACM)
4. An overview of JML tools and applications (International Journal on Software Tools for Technology Transfer (STTT))
5. Ownership types for safe programming: preventing data races and deadlocks (Conference on Object-Oriented Programming Systems, Languages, and Applications)
6. Effective Static Debugging via Compential Set-Based Analysis
7. The Spec# Programming System: An Overview (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
8. Tracking down software bugs using automatic anomaly detection (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)
9. Typestates for Objects (European Conference on Object-Oriented Programming)
10. The unified modeling language reference manual

Their papers

• Houdini, an Annotation Assistant for ESC/Java (2001) — 498 citations
• Verification of Object-Oriented Programs with Invariants (2003) — 396 citations
• An overview of JML tools and applications (2003) — 944 citations