Sep
16th
Thu
16th
TODO results
Expanders Mixing time and existence proofs
TM workshop report
Determinism result-Threads; possibly extend to TM
Finish reading denotational semantics and operational semantics for DC-IMP
