T. Hoare

Artificial Intelligence · 2003

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

Subfields

Whom T. Hoare trusts overall

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

  1. Thomas Ball
  2. David E. Evans
  3. Peter W. O'Hearn
  4. Matthew W. Moskewicz
  5. Sriram K. Rajamani

Who trusts T. Hoare overall

  1. Thomas A. Henzinger
  2. C. Allen
  3. Dirk Beyer

Papers from T. Hoare's perspective

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

  1. Automatically validating temporal safety properties of interfaces (SPIN)
  2. Local Reasoning about Programs that Alter Data Structures
  3. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  4. Improving Security Using Extensible Lightweight Static Analysis (IEEE Software)
  5. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
  7. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. The ASTREÉ Analyzer
  9. CCured: type-safe retrofitting of legacy code (ACM-SIGACT Symposium on Principles of Programming Languages)
  10. ImageNet classification with deep convolutional neural networks

Their papers