%0 Conference Paper %1 conf/ppopp/KarmaniMM11 %A Karmani, Rajesh K. %A Madhusudan, P. %A Moore, Brandon M. %B PPoPP %D 2011 %E Cascaval, Calin %E Yew, Pen-Chung %I ACM %K dblp %P 125-134 %T Thread contracts for safe parallelism. %U http://dblp.uni-trier.de/db/conf/ppopp/ppopp2011.html#KarmaniMM11 %@ 978-1-4503-0119-0

@inproceedings{conf/ppopp/KarmaniMM11, added-at = {2022-06-12T00:00:00.000+0200}, author = {Karmani, Rajesh K. and Madhusudan, P. and Moore, Brandon M.}, biburl = {https://www.bibsonomy.org/bibtex/2855b42894174dd7badd95186db00adcf/dblp}, booktitle = {PPoPP}, crossref = {conf/ppopp/2011}, editor = {Cascaval, Calin and Yew, Pen-Chung}, ee = {https://doi.org/10.1145/2038037.1941573}, interhash = {59e8f6940998324254ddd8e19b7d45e3}, intrahash = {855b42894174dd7badd95186db00adcf}, isbn = {978-1-4503-0119-0}, keywords = {dblp}, pages = {125-134}, publisher = {ACM}, timestamp = {2024-04-10T01:14:33.000+0200}, title = {Thread contracts for safe parallelism.}, url = {http://dblp.uni-trier.de/db/conf/ppopp/ppopp2011.html#KarmaniMM11}, year = 2011 }