@inproceedings {179432,
	author = {Nuno Machado and Paolo Romano and Lu{\'\i}s Rodrigues},
	title = {{Property-Driven} Cooperative Logging for Concurrency Bugs Replication},
	booktitle = {5th USENIX Workshop on Hot Topics in Parallelism (HotPar 13)},
	year = {2013},
	address = {San Jose, CA},
	url = {https://www.usenix.org/conference/hotpar13/workshop-program/presentation/machado},
	publisher = {USENIX Association},
	month = jun
}
