Michael Norrish

Artificial Intelligence · 2008–2014

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

Subfields

Whom Michael Norrish trusts overall

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

  1. Xavier Leroy

Who trusts Michael Norrish overall

  1. The mathlib Community
  2. Michael Färber
  3. Kshitij Bansal
  4. Cezary Kaliszyk

Papers from Michael Norrish's perspective

Ordered by how strongly the researchers Michael Norrish 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. Formal verification of a realistic compiler
  4. Software Verification with BLAST (SPIN)
  5. The protection of information in computer systems
  6. Mechanized Metatheory for the Masses: The PoplMark Challenge (International Conference on Theorem Proving in Higher Order Logics)
  7. Language support for fast and reliable message-based communication in singularity OS (European Conference on Computer Systems)
  8. A machine-checked model for a Java-like language, virtual machine, and compiler (TOPL)
  9. Foundational proof-carrying code (Proceedings 16th Annual IEEE Symposium on Logic in Computer Science)
  10. Interactive Theorem Proving and Program Development (Texts in Theoretical Computer Science. An EATCS Series)

Their papers