Inferring Nondeterministic Sequential Specifications for Parallelism Correctness (Par Lab Summer 2011 Retreat)

Title Inferring Nondeterministic Sequential Specifications for Parallelism Correctness (Par Lab Summer 2011 Retreat)
Speaker(s) Jacob BurnimTayfun Elmas, George Necula
Conference Name Par Lab Summer 2011 Retreat
Conference Location Santa Cruz, CA
Conference Date June 01, 2011 - June 03, 2011
Publication
Abstract
AttachmentSize
ndetermin.pdf2.24 MB