Assistant to the Proof Assistant

Research

  1. Compiling Volatile Correctly in Java
  2. A Formalization of Java's Concurrent Access Modes
  3. Prove Once, Run Efficiently Anywhere
  4. Declarative Fence Insertion

← Home