Tagged “research”

1. Compiling Volatile Correctly in Java
   25 Feb 2022 research ECOOP
2. A Formalization of Java's Concurrent Access Modes
   20 Oct 2019 research OOPSLA
3. Prove Once, Run Efficiently Anywhere
   13 Jun 2019 research dissertation
4. Declarative Fence Insertion
   28 Oct 2015 research OOPSLA

See all tags.