Robert Lee

Artificial Intelligence · 2002

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

Subfields

Whom Robert Lee trusts overall

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

  1. Cormac Flanagan
  2. Christoph von Praun
  3. Chandrasekhar Boyapati
  4. Anders Møller
  5. D. Clarke
  6. Jong-Deok Choi

Who trusts Robert Lee overall

  1. Peter W. O'Hearn
  2. Mike Barnett
  3. Shan Lu

Papers from Robert Lee's perspective

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

  1. Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. A parameterized type system for race-free Java programs (Conference on Object-Oriented Programming Systems, Languages, and Applications)
  3. Object race detection (Conference on Object-Oriented Programming Systems, Languages, and Applications)
  4. Introduction to algorithms
  5. Efficient and precise datarace detection for multithreaded object-oriented programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. Bugs as deviant behavior: a general approach to inferring errors in systems code
  7. The pointer assertion logic engine (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. Ownership, encapsulation and the disjointness of type and effect (Conference on Object-Oriented Programming Systems, Languages, and Applications)
  9. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  10. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers