K. Rustan

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 K. Rustan trusts overall

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

  1. Greg Nelson
  2. David R. Cok
  3. Bernhard Beckert
  4. Joseph R. Kiniry
  5. Mike Barnett
  6. R. Deline
  7. David Detlefs
  8. Reiner Hähnle
  9. Gary T. Leavens
  10. Lilian Burdy

Who trusts K. Rustan overall

  1. Danfeng Zhang
  2. Andrew Ferraiuolo
  3. Leonardo de Moura
  4. Daniel Kifer
  5. Emina Torlak
  6. Nikolaj S. Bjørner
  7. Andrew Baumann
  8. Chris Hawblitzel
  9. François Bobot
  10. Michael M. Swift

Papers from K. Rustan's perspective

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

Their papers