NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel Correctness
| Title | NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel Correctness |
| Speaker(s) | Jacob Burnim , Tayfun Elmas, George Necula |
| Conference Name | PLDI 2011 |
| Conference Location | Berkeley |
| Conference Date | June 04, 2011 |
| Publication | |
| Abstract | Abstract |
| Attachment | Size |
|---|---|
| Talk Slides.pdf | 1.97 MB |