Scott Owens

Artificial Intelligence · 2009–2014

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 Scott Owens trusts overall

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

  1. Xavier Leroy

Who trusts Scott Owens overall

  1. Susmit Sarkar

Papers from Scott Owens's perspective

Ordered by how strongly the researchers Scott Owens 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. Formal verification of a realistic compiler
  6. Mechanized Metatheory for the Masses: The PoplMark Challenge (International Conference on Theorem Proving in Higher Order Logics)
  7. Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. A parameterized type system for race-free Java programs (Conference on Object-Oriented Programming Systems, Languages, and Applications)
  9. Java Concurrency in Practice
  10. Resources, Concurrency and Local Reasoning (International Conference on Concurrency Theory)

Their papers