| Title | Input-Covering Schedules for Multithreaded Programs |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Bergan T, Grossman D, Ceze L |
| Conference Name | Workshop on Determinism and Correctness in Parallel Programming w/ International Conference on Architectural Support for Programming Languages and Operating Systems (WoDet w/ ASPLOS) |
| Date or Month Published | 03 |
| Downloads | http://www.cs.umass.edu/~emery/wodet3/wodet3-paper6.pdf PDF |
| Citation Key | input-wodet13 |
