Peter Sewell

International Conference on Theorem Proving in Higher Order Logics · 2005–2010

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

Whom Peter Sewell trusts overall

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

  1. Jeremy Manson

Papers from Peter Sewell's perspective

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

  1. The Java memory model (ACM-SIGACT Symposium on Principles of Programming Languages)
  2. Foundations of the C++ concurrency memory model (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. A Better x86 Memory Model: x86-TSO (International Conference on Theorem Proving in Higher Order Logics)
  4. Formalising Java's Data Race Free Guarantee (International Conference on Theorem Proving in Higher Order Logics)
  5. A machine-checked model for a Java-like language, virtual machine, and compiler (TOPL)
  6. The verifying compiler: A grand challenge for computing research (JACM)
  7. HOL Light: A Tutorial Introduction
  8. Foundational proof-carrying code (Proceedings 16th Annual IEEE Symposium on Logic in Computer Science)
  9. Interactive Theorem Proving and Program Development (Texts in Theoretical Computer Science. An EATCS Series)
  10. Types and programming languages: the next generation (18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.)

Their papers