{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:28Z","timestamp":1772164048690,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":53,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,10,29]],"date-time":"2013-10-29T00:00:00Z","timestamp":1383004800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,10,29]]},"DOI":"10.1145\/2509136.2509533","type":"proceedings-article","created":{"date-parts":[[2013,10,23]],"date-time":"2013-10-23T11:29:17Z","timestamp":1382527757000},"page":"589-604","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Turning nondeterminism into parallelism"],"prefix":"10.1145","author":[{"given":"Omer","family":"Tripp","sequence":"first","affiliation":[{"name":"Tel Aviv University, Tel Aviv, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Koskinen","sequence":"additional","affiliation":[{"name":"New York University, New York, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mooly","family":"Sagiv","sequence":"additional","affiliation":[{"name":"Tel Aviv University, Tel Aviv, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,10,29]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"The bloom language. http:\/\/www.bloom-lang.net\/.  The bloom language. http:\/\/www.bloom-lang.net\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(78)90003-0"},{"key":"e_1_3_2_1_3_1","first-page":"225","volume-title":"Annual review of computer science","author":"Culler Arvind","year":"1986","unstructured":"Arvind and D. E. Culler . Annual review of computer science vol. 1 , 1986 . chapter Dataflow architectures, pages 225 -- 253 . Annual Reviews Inc ., 1986. Arvind and D. E. Culler. Annual review of computer science vol. 1, 1986. chapter Dataflow architectures, pages 225--253. Annual Reviews Inc., 1986."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146381.1146428"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10877-8_3"},{"key":"e_1_3_2_1_6_1","volume-title":"Carnegie Mellon","author":"Belloch G. E.","year":"1995","unstructured":"G. E. Belloch . Nesl : A nested data-parallel language. regular tech report CMU-CS-92-103 , Carnegie Mellon , 1995 . G. E. Belloch. Nesl: A nested data-parallel language. regular tech report CMU-CS-92-103, Carnegie Mellon, 1995."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/227234.227246"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2312005.2312058"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103694"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993545"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2145816.2145879"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375619"},{"key":"e_1_3_2_1_13_1","first-page":"247","volume-title":"ICIAP","author":"Cinque L.","unstructured":"L. Cinque and C. diMaggio . A bsp realization of jarvis? algorithm . In ICIAP , pages 247 --, 1999. L. Cinque and C. diMaggio. A bsp realization of jarvis? algorithm. In ICIAP, pages 247--, 1999."},{"key":"e_1_3_2_1_15_1","volume-title":"Introduction to Algorithms","author":"Cormen T. H.","year":"2009","unstructured":"T. H. Cormen , C. E. Leiserson , R. L. Rivest , and C. Stein . Introduction to Algorithms , Third Edition. MIT Press , 2009 . T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein. Introduction to Algorithms, Third Edition. MIT Press, 2009."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/642089.642111"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/321420.321422"},{"key":"e_1_3_2_1_19_1","volume-title":"First Workshop on Systems for Future Multi-Core Architectures","author":"Gajinov V.","year":"2011","unstructured":"V. Gajinov , M. Milovanovic , O. Unsal , A. Cristal , E. Ayguade , and M. Valero . Integrating dataflow abstractions into transactional memory . First Workshop on Systems for Future Multi-Core Architectures , 2011 . V. Gajinov, M. Milovanovic, O. Unsal, A. Cristal, E. Ayguade, and M. Valero. Integrating dataflow abstractions into transactional memory. First Workshop on Systems for Future Multi-Core Architectures, 2011."},{"key":"e_1_3_2_1_20_1","first-page":"94","volume-title":"Readings in database systems","author":"Gray J. N.","year":"1988","unstructured":"J. N. Gray , R. A. Lorie , G. R. Putzolu , and I. L. Traiger . Readings in database systems . chapter Granularity of locks and degrees of consistency in a shared data base, pages 94 -- 121 . Morgan Kaufmann Publishers Inc ., 1988 . J. N. Gray, R. A. Lorie, G. R. Putzolu, and I. L. Traiger. Readings in database systems. chapter Granularity of locks and degrees of consistency in a shared data base, pages 94--121. Morgan Kaufmann Publishers Inc., 1988."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1073814.1073863"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1272996.1273029"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462172"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949340"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065952"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254114"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993504"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1810479.1810540"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1345206.1345237"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/165123.165164"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2151013"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1272996.1273005"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1559845.1559962"},{"key":"e_1_3_2_1_34_1","volume-title":"An approach to parallelize kruskals algorithm using helper threads. Technical report","author":"Katsigiannis A.","year":"2012","unstructured":"A. Katsigiannis , N. Anastopoulos , K. Nikas , and N. Koziris . An approach to parallelize kruskals algorithm using helper threads. Technical report , National Technical University of Athens , 2012 . A. Katsigiannis, N. Anastopoulos, K. Nikas, and N. Koziris. An approach to parallelize kruskals algorithm using helper threads. Technical report, National Technical University of Athens, 2012."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706304"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993562"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250759"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1941553.1941577"},{"key":"e_1_3_2_1_39_1","volume-title":"TRANSACT","author":"Hicks J. S.","year":"2006","unstructured":"J. S. Foster M. Hicks and P. Prattikakis . Lock inference for atomic sections . TRANSACT , 2006 . J. S. Foster M. Hicks and P. Prattikakis. Lock inference for atomic sections. TRANSACT, 2006."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807167.1807184"},{"key":"e_1_3_2_1_41_1","first-page":"195","volume-title":"ICML","author":"Mansour Y.","year":"1997","unstructured":"Y. Mansour . Pessimistic decision tree pruning based on tree size . In ICML , pages 195 -- 201 , 1997 . Y. Mansour. Pessimistic decision tree pruning based on tree size. In ICML, pages 195--201, 1997."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111068"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/128765.128770"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1229428.1229442"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPP.2009.60"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806603"},{"key":"e_1_3_2_1_47_1","volume-title":"Artificial Intelligence: A Modern Approach","author":"Russell S.","year":"2003","unstructured":"S. Russell and P. Norvig . Artificial Intelligence: A Modern Approach . Prentice Hall , 2003 . S. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice Hall, 2003."},{"key":"e_1_3_2_1_48_1","volume-title":"MULTIPROG","author":"Seaton C.","year":"2012","unstructured":"C. Seaton , D. Goodman , M. Lujan , and I. Watson . Applying dataflow and transactions to lee routing . In MULTIPROG , 2012 . C. Seaton, D. Goodman, M. Lujan, and I. Watson. Applying dataflow and transactions to lee routing. In MULTIPROG, 2012."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297042"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2010.01.004"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254083"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048085"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993555"},{"key":"e_1_3_2_1_54_1","volume-title":"Springer-Verlag New York","author":"Vapnik V. N.","year":"1995","unstructured":"V. N. Vapnik . The nature of statistical learning theory. Springer-Verlag New York , Inc ., 1995 . V. N. Vapnik. The nature of statistical learning theory. Springer-Verlag New York, Inc., 1995."}],"event":{"name":"SPLASH '13: Conference on Systems, Programming, and Applications: Software for Humanity","location":"Indianapolis Indiana USA","acronym":"SPLASH '13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2509136.2509533","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2509136.2509533","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:28:34Z","timestamp":1750217314000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2509136.2509533"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,29]]},"references-count":53,"alternative-id":["10.1145\/2509136.2509533","10.1145\/2509136"],"URL":"https:\/\/doi.org\/10.1145\/2509136.2509533","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2544173.2509533","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,10,29]]},"assertion":[{"value":"2013-10-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}