This repository contains supplemental material for our PLDI 2013 paper:
Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip. Dynamic Determinacy Analysis. PLDI, 2013.
Specifically, proof.pdf contains a detailed proof of our main soundness result (Theorem 1),
and the folder formalisation contains a formalisation of the same result in Coq.