Input-Covering Schedules for Multithreaded Programs

TitleInput-Covering Schedules for Multithreaded Programs
Publication TypeConference Paper
Year of Publication2013
AuthorsBergan T, Grossman D, Ceze L
Conference NameWorkshop 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 Published03
DownloadsPDF
Citation Keyinput-wodet13
Last changed Wed, 2013-05-08 08:53