%0 Conference Paper %1 conf/pldi/FlanaganFY08 %A Flanagan, Cormac %A Freund, Stephen N. %A Yi, Jaeheon %B PLDI %D 2008 %E Gupta, Rajiv %E Amarasinghe, Saman P. %I ACM %K dblp %P 293-303 %T Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2008.html#FlanaganFY08 %@ 978-1-59593-860-2

@inproceedings{conf/pldi/FlanaganFY08, added-at = {2021-06-25T00:00:00.000+0200}, author = {Flanagan, Cormac and Freund, Stephen N. and Yi, Jaeheon}, biburl = {https://www.bibsonomy.org/bibtex/27a6895cc294cfffe262d2c824254a968/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2008}, editor = {Gupta, Rajiv and Amarasinghe, Saman P.}, ee = {https://doi.org/10.1145/1379022.1375618}, interhash = {e930eada7167c58483ba12de481e305b}, intrahash = {7a6895cc294cfffe262d2c824254a968}, isbn = {978-1-59593-860-2}, keywords = {dblp}, pages = {293-303}, publisher = {ACM}, timestamp = {2024-04-09T18:59:33.000+0200}, title = {Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2008.html#FlanaganFY08}, year = 2008 }