Assistant to the Proof Assistant

Formalizing Java's Access Modes

This is my presentation from OOPSLA 2019 on our formal model for the Varhandle API in JDK 9. More information on the paper can be found here. The Coq source and our Herd model/tests have been made available as well.

View video on Youtube

← Home