PROVING THINGS ABOUT CONCURRENT PROGRAMS Lecture 24 – CS2110 – Spring 2013.
Lecture 21 – CS2110 – Fall 2009 PROVING THINGS ABOUT CONCURRENT PROGRAMS.
Proving things about concurrent programs
DoublePlay: Parallelizing Sequential Logging and Replay Kaushik Veeraraghavan Dongyoon Lee, Benjamin Wester, Jessica Ouyang, Peter M. Chen, Jason Flinn,