Tachio Terauchi

Computational Theory and Mathematics · 2002–2005

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

Subfields

Whom Tachio Terauchi trusts overall

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

  1. Thomas Ball
  2. Thomas A. Henzinger
  3. Sriram K. Rajamani
  4. Ranjit Jhala
  5. Andrei Sabelfeld
  6. Rupak Majumdar

Who trusts Tachio Terauchi overall

  1. Michael R. Clarkson
  2. Ranjit Jhala
  3. Gary Wassermann
  4. Dimiter Milushev
  5. Gilles Barthe
  6. Dongseok Jang
  7. Pramod Subramanyan
  8. Karim Eldefrawy
  9. Yichen Xie
  10. Fred B. Schneider

Papers from Tachio Terauchi's perspective

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

  1. The SLAM project: debugging system software via static analysis
  2. Lazy abstraction
  3. CCured: type-safe retrofitting of legacy code (ACM-SIGACT Symposium on Principles of Programming Languages)
  4. Language-based information-flow security (IEEE J. Sel. Areas Commun.)
  5. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. Automatically validating temporal safety properties of interfaces (SPIN)
  7. Simplify: a theorem prover for program checking (JACM)
  8. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. Abstractions from proofs (ACM-SIGACT Symposium on Principles of Programming Languages)
  10. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)

Their papers