Trevor Jim

Artificial Intelligence · USENIX ATC, General Track · 1989–2002

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

Subfields

Whom Trevor Jim trusts overall

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

  1. George C. Necula
  2. Amir Herzberg
  3. Dawson R. Engler

Who trusts Trevor Jim overall

  1. Ninghui Li
  2. John DeTreville
  3. John C. Mitchell
  4. William H. Winsborough
  5. Pradeep Varma
  6. Michael M. Swift
  7. Emery D. Berger
  8. George C. Necula
  9. Volodymyr Kuznetsov
  10. David Tolpin

Papers from Trevor Jim's perspective

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

  1. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
  3. Cyclone: A Safe Dialect of C (USENIX ATC, General Track)
  4. Automatically validating temporal safety properties of interfaces (SPIN)
  5. Bugs as deviant behavior: a general approach to inferring errors in systems code
  6. Region-based memory management in cyclone (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. Access control meets public key infrastructure, or: assigning roles to strangers (Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000)
  8. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities (Network and Distributed System Security Symposium)
  9. Unification-based pointer analysis with directional assignments (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  10. Bebop: A Symbolic Model Checker for Boolean Programs (SPIN)

Their papers