Property-Driven Cooperative Logging for Concurrency Bugs Replication

Submitted by jdella on December 3, 2013 - 4:02 pm
TitleProperty-Driven Cooperative Logging for Concurrency Bugs Replication
Publication TypeConference Paper
Year of Publication2013
AuthorsMachado N, Romano P, Rodrigues L
Conference Name5th USENIX Workshop on Hot Topics in Parallelism (HotPar 13)
Date Published06/2013
PublisherUSENIX Association
Conference LocationSan Jose, CA
URLhttps://www.usenix.org/conference/hotpar13/workshop-program/presentation/machado