%0 Conference Paper %1 conf/popl/FlanaganF04 %A Flanagan, Cormac %A Freund, Stephen N. %B POPL %D 2004 %E Jones, Neil D. %E Leroy, Xavier %I ACM %K dblp %P 256-267 %T Atomizer: a dynamic atomicity checker for multithreaded programs. %U http://dblp.uni-trier.de/db/conf/popl/popl2004.html#FlanaganF04 %@ 1-58113-729-X

@inproceedings{conf/popl/FlanaganF04, added-at = {2021-06-25T00:00:00.000+0200}, author = {Flanagan, Cormac and Freund, Stephen N.}, biburl = {https://www.bibsonomy.org/bibtex/22391246c55539635397e98410c5a2f51/dblp}, booktitle = {POPL}, crossref = {conf/popl/2004}, editor = {Jones, Neil D. and Leroy, Xavier}, ee = {https://doi.org/10.1145/982962.964023}, interhash = {86e857e40ea593efe2b7317541f1ec88}, intrahash = {2391246c55539635397e98410c5a2f51}, isbn = {1-58113-729-X}, keywords = {dblp}, pages = {256-267}, publisher = {ACM}, timestamp = {2024-04-09T13:29:50.000+0200}, title = {Atomizer: a dynamic atomicity checker for multithreaded programs.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2004.html#FlanaganF04}, year = 2004 }