M. Leino

Artificial Intelligence · 2004–2010

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

Subfields

Whom M. Leino trusts overall

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

  1. Greg Nelson
  2. David R. Cok
  3. Bernhard Beckert
  4. Mike Barnett
  5. Joseph R. Kiniry
  6. R. Deline
  7. David Detlefs

Who trusts M. Leino overall

  1. Danfeng Zhang
  2. Leonardo de Moura
  3. Andrew Ferraiuolo
  4. Daniel Kifer
  5. Nikolaj S. Bjørner

Papers from M. Leino's perspective

Ordered by how strongly the researchers 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. High Integrity Software - The SPARK Approach to Safety and Security
  4. Verification of Object-Oriented Programs with Invariants (Journal of Object Technology)
  5. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. Symbolic execution and program testing
  7. Ownership types for safe programming: preventing data races and deadlocks (Conference on Object-Oriented Programming Systems, Languages, and Applications)
  8. Typestates for Objects (European Conference on Object-Oriented Programming)
  9. Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino (The KeY Approach)
  10. ESC/Java2: Uniting ESC/Java and JML (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)

Their papers