Formalising Java's Data Race Free Guarantee

By David Aspinall, J. Sevcík. International Conference on Theorem Proving in Higher Order Logics, 2007

731 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computer Networks and Communications, Hardware and Architecture

View Paper: https://www.semanticscholar.org/paper/f06a870b7f78f97de636d61d3e3b9bb604483479

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Peter Sewell
2. Scott Owens
3. Susmit Sarkar

In Computer Networks and Communications

1. Peter Sewell
2. Scott Owens
3. Susmit Sarkar

In Hardware and Architecture

1. Peter Sewell
2. Scott Owens
3. Susmit Sarkar

Citations in the corpus

• A Better x86 Memory Model: x86-TSO (2009, methodology): “[22], using Prolog and SAT solvers to explore an axiomatic Itanium model, and Aspinall and Ševč́ık [5], who formalised and identified problems with the Java Memory Model using Isabelle/HOL.”