NDSeq: Specifying and Checking Parallelism Correctness Using Nondeterministic Sequential Programs (Par Lab Winter 2011 Retreat)

Title NDSeq: Specifying and Checking Parallelism Correctness Using Nondeterministic Sequential Programs (Par Lab Winter 2011 Retreat)
Speaker(s) Jacob BurnimTayfun Elmas, George Necula
Conference Name Par Lab Winter 2011 Retreat
Conference Location Tahoe City, CA
Conference Date January 12, 2011 - January 14, 2011
Publication
Abstract
AttachmentSize
ndseq-talk.pdf3.27 MB