Assistant to the Proof Assistant

Research

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

← Home