| Title | Input-Covering Schedules for Multithreaded Programs |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Bergan T, Ceze L, Grossman D |
| Conference Name | SPLASH-OOPSLA |
| Date or Month Published | 10 |
| Downloads | http://homes.cs.washington.edu/~luisceze/publications/oopsla13-ics.pdf PDF |
| Citation Key | inputcov-oopsla13 |
