Magnus O. Myreen

ACM-SIGACT Symposium on Principles of Programming Languages · 2010–2014

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

Whom Magnus O. Myreen trusts overall

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

  1. Xavier Leroy

Papers from Magnus O. Myreen's perspective

Ordered by how strongly the researchers Magnus O. Myreen 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. A Better x86 Memory Model: x86-TSO (International Conference on Theorem Proving in Higher Order Logics)
  3. Formal verification of a realistic compiler
  4. Mechanized Metatheory for the Masses: The PoplMark Challenge (International Conference on Theorem Proving in Higher Order Logics)
  5. Foundational proof-carrying code (Proceedings 16th Annual IEEE Symposium on Logic in Computer Science)
  6. A machine-checked model for a Java-like language, virtual machine, and compiler (TOPL)
  7. Interactive Theorem Proving and Program Development (Texts in Theoretical Computer Science. An EATCS Series)
  8. Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions
  9. Resources, Concurrency and Local Reasoning (International Conference on Concurrency Theory)
  10. Translation validation for an optimizing compiler (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers