Philip Derrin

Artificial Intelligence · 2009–2010

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

Subfields

Whom Philip Derrin trusts overall

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

  1. Xavier Leroy

Papers from Philip Derrin's perspective

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

  1. Terra: a virtual machine-based platform for trusted computing (Symposium on Operating Systems Principles)
  2. Journal of Graph Algorithms and Applications Many-to-one Boundary Labeling
  3. The protection of information in computer systems
  4. Software Verification with BLAST (SPIN)
  5. Language support for fast and reliable message-based communication in singularity OS (European Conference on Computer Systems)
  6. Building the IBM 4758 Secure Coprocessor (Computer)
  7. Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions
  8. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. A machine-checked model for a Java-like language, virtual machine, and compiler (TOPL)
  10. Translation validation for an optimizing compiler (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers