{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:06Z","timestamp":1772164026247,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":46,"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.2509525","type":"proceedings-article","created":{"date-parts":[[2013,10,23]],"date-time":"2013-10-23T11:29:17Z","timestamp":1382527757000},"page":"533-552","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Multiverse"],"prefix":"10.1145","author":[{"given":"Kaushik","family":"Ravichandran","sequence":"first","affiliation":[{"name":"Georgia Institute of Technology, Atlanta, GA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Santosh","family":"Pande","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology, Atlanta, GA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,10,29]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1","volume-title":"WINSYM'99","author":"Abdel-Shafi H.","year":"1999","unstructured":"H. Abdel-Shafi , E. Speight , and J. K. Bennett . Efficient user-level thread migration and checkpointing on windows nt clusters. In phProceedings of the 3rd conference on USENIX Windows NT Symposium - Volume 3 , WINSYM'99 , pages 1 -- 1 , Berkeley, CA, USA , 1999 . USENIX Association. URL http:\/\/dl.acm.org\/citation.cfm?id=1268427.1268428. H. Abdel-Shafi, E. Speight, and J. K. Bennett. Efficient user-level thread migration and checkpointing on windows nt clusters. In phProceedings of the 3rd conference on USENIX Windows NT Symposium - Volume 3, WINSYM'99, pages 1--1, Berkeley, CA, USA, 1999. USENIX Association. URL http:\/\/dl.acm.org\/citation.cfm?id=1268427.1268428."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542481"},{"key":"e_1_3_2_1_3_1","unstructured":"G. Antoniu L. Boug\u00e9 and R. Namyst. An efficient and transparent thread migration scheme in the pm2 runtime system. In phProceedings of the 11 IPPS\/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing pages 496--510 London UK UK 1999. Springer-Verlag. ISBN 3--540--65831--9. URL http:\/\/dl.acm.org\/citation.cfm?id=645611.662349.   G. Antoniu L. Boug\u00e9 and R. Namyst. An efficient and transparent thread migration scheme in the pm2 runtime system. In phProceedings of the 11 IPPS\/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing pages 496--510 London UK UK 1999. Springer-Verlag. ISBN 3--540--65831--9. URL http:\/\/dl.acm.org\/citation.cfm?id=645611.662349."},{"key":"e_1_3_2_1_4_1","unstructured":"E. D. Berger T. Yang T. Liu and G. Novark. Grace: safe multithreaded programming for c\/c  E. D. Berger T. Yang T. Liu and G. Novark. Grace: safe multithreaded programming for c\/c"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1145\/1640089.1640096","volume-title":"OOPSLA '09","year":"2009","unstructured":". In phProceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications , OOPSLA '09 , pages 81 -- 96 , New York, NY, USA , 2009 . ACM. ISBN 978--1--60558--766-0. 10.1145\/1640089.1640096. URL http:\/\/doi.acm.org\/10.1145\/1640089.1640096. . In phProceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications, OOPSLA '09, pages 81--96, New York, NY, USA, 2009. ACM. ISBN 978--1--60558--766-0. 10.1145\/1640089.1640096. URL http:\/\/doi.acm.org\/10.1145\/1640089.1640096."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2145816.2145883"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048109"},{"key":"e_1_3_2_1_8_1","volume-title":"USENIX-SS'06","author":"Cox B.","year":"2006","unstructured":"B. Cox , D. Evans , A. Filipi , J. Rowanhill , W. Hu , J. Davidson , J. Knight , A. Nguyen-Tuong , and J. Hiser . N-variant systems: a secretless framework for security through diversity. In phProceedings of the 15th conference on USENIX Security Symposium - Volume 15 , USENIX-SS'06 , Berkeley, CA, USA , 2006 . USENIX Association. URL http:\/\/dl.acm.org\/citation.cfm?id=1267336.1267344. B. Cox, D. Evans, A. Filipi, J. Rowanhill, W. Hu, J. Davidson, J. Knight, A. Nguyen-Tuong, and J. Hiser. N-variant systems: a secretless framework for security through diversity. In phProceedings of the 15th conference on USENIX Security Symposium - Volume 15, USENIX-SS'06, Berkeley, CA, USA, 2006. USENIX Association. URL http:\/\/dl.acm.org\/citation.cfm?id=1267336.1267344."},{"key":"e_1_3_2_1_9_1","volume-title":"phUnsolved problems in geometry. Problem books in mathematics","author":"Croft H.","year":"1991","unstructured":"H. Croft , K. Falconer , and R. Guy . phUnsolved problems in geometry. Problem books in mathematics . Springer-Verlag , 1991 . ISBN 9780387975061. URL http:\/\/books.google.com\/books?id=xF4PAQAAMAAJ. H. Croft, K. Falconer, and R. Guy. phUnsolved problems in geometry. Problem books in mathematics. Springer-Verlag, 1991. ISBN 9780387975061. URL http:\/\/books.google.com\/books?id=xF4PAQAAMAAJ."},{"key":"e_1_3_2_1_10_1","unstructured":"D. Diaz P. Codognet and S. Abreu. Adaptive search distribution http:\/\/cri-dist.univ-paris1.fr\/diaz\/adaptive\/.  D. Diaz P. Codognet and S. Abreu. Adaptive search distribution http:\/\/cri-dist.univ-paris1.fr\/diaz\/adaptive\/."},{"key":"e_1_3_2_1_11_1","volume-title":"USA","author":"Dieter W. R.","year":"2001","unstructured":"W. R. Dieter and J. E. Lumpp , Jr . User-level checkpointing for linuxthreads programs. In phProceedings of the FREENIX Track: 2001 USENIX Annual Technical Conference, pages 81--92, Berkeley, CA , USA , 2001 . USENIX Association. ISBN 1--880446--10--3. URL http:\/\/dl.acm.org\/citation.cfm?id=647054.715766. W. R. Dieter and J. E. Lumpp, Jr. User-level checkpointing for linuxthreads programs. In phProceedings of the FREENIX Track: 2001 USENIX Annual Technical Conference, pages 81--92, Berkeley, CA, USA, 2001. USENIX Association. ISBN 1--880446--10--3. URL http:\/\/dl.acm.org\/citation.cfm?id=647054.715766."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11587514_4"},{"key":"e_1_3_2_1_13_1","volume-title":"phTechniques for Optimizing Applications: High Performance Computing","author":"Garg R. P.","year":"2002","unstructured":"R. P. Garg and I. Sharapov . phTechniques for Optimizing Applications: High Performance Computing . Prentice Hall Professional Technical Reference , 2002 . ISBN 0130091189. R. P. Garg and I. Sharapov. phTechniques for Optimizing Applications: High Performance Computing. Prentice Hall Professional Technical Reference, 2002. ISBN 0130091189."},{"issue":"9","key":"e_1_3_2_1_14_1","first-page":"1143","volume":"72","author":"Golomb S.","year":"1984","unstructured":"S. Golomb and H. Taylor . Constructions and properties of costas arrays. phProceedings of the IEEE , 72 ( 9 ): 1143 -- 1163 , 1984 . ISSN 0018--9219. 10.1109\/PROC.1984.12994. S. Golomb and H. Taylor. Constructions and properties of costas arrays. phProceedings of the IEEE, 72 (9): 1143--1163, 1984. ISSN 0018--9219. 10.1109\/PROC.1984.12994.","journal-title":"Constructions and properties of costas arrays. phProceedings of the IEEE"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/291069.291020"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855056"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-2217(99)00284-2"},{"key":"e_1_3_2_1_18_1","volume-title":"Models, Applications","author":"Hoos H.","unstructured":"H. Hoos . phStochastic Local Search - Methods , Models, Applications . IOS Press . ISBN 9783898382151. URL http:\/\/books.google.com\/books?id=xc\\_4OtzmHUUC. H. Hoos. phStochastic Local Search - Methods, Models, Applications. IOS Press. ISBN 9783898382151. URL http:\/\/books.google.com\/books?id=xc\\_4OtzmHUUC."},{"key":"e_1_3_2_1_19_1","first-page":"612","volume-title":"ICSE '13","author":"Hosek P.","year":"2013","unstructured":"P. Hosek and C. Cadar . Safe software updates via multi-version execution. In phProceedings of the 2013 International Conference on Software Engineering , ICSE '13 , pages 612 -- 621 , Piscataway, NJ, USA , 2013 . IEEE Press. ISBN 978-1-4673-3076-3. URL http:\/\/dl.acm.org\/citation.cfm?id=2486788.2486869. P. Hosek and C. Cadar. Safe software updates via multi-version execution. In phProceedings of the 2013 International Conference on Software Engineering, ICSE '13, pages 612--621, Piscataway, NJ, USA, 2013. IEEE Press. ISBN 978-1-4673-3076-3. URL http:\/\/dl.acm.org\/citation.cfm?id=2486788.2486869."},{"key":"e_1_3_2_1_20_1","volume-title":"The open group base specifications, issue 6, ieee std 1003.1","author":"T. IEEE and T. O. Group","year":"2004","unstructured":"T. IEEE and T. O. Group . The open group base specifications, issue 6, ieee std 1003.1 , 2004 . T. IEEE and T. O. Group. The open group base specifications, issue 6, ieee std 1003.1, 2004."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065976"},{"key":"e_1_3_2_1_22_1","unstructured":"L. V. Kale and S. Krishnan. Charm  L. V. Kale and S. Krishnan. Charm"},{"key":"e_1_3_2_1_23_1","unstructured":": a portable concurrent object oriented system based on c  : a portable concurrent object oriented system based on c"},{"key":"e_1_3_2_1_24_1","first-page":"91","volume-title":"OOPSLA '93","year":"1993","unstructured":". In phProceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications , OOPSLA '93 , pages 91 -- 108 , New York, NY, USA , 1993 . ACM. ISBN 0--89791--587--9. 10.1145\/165854.165874. URL http:\/\/doi.acm.org\/10.1145\/165854.165874. . In phProceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, OOPSLA '93, pages 91--108, New York, NY, USA, 1993. ACM. ISBN 0--89791--587--9. 10.1145\/165854.165874. URL http:\/\/doi.acm.org\/10.1145\/165854.165874."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01581082"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250759"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134010"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/646510.695012"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1076315"},{"key":"e_1_3_2_1_30_1","first-page":"531","volume-title":"Euro-Par","author":"Negara S.","year":"2010","unstructured":"S. Negara , G. Zheng , K.-C. Pan , N. Negara , R. E. Johnson , L. V. Kal\u00e9 , and P. M. Ricker . Automatic mpi to ampi program transformation using photran. In phProceedings of the 2010 conference on Parallel processing , Euro-Par 2010 , pages 531 -- 539 , Berlin, Heidelberg , 2011. Springer-Verlag . ISBN 978--3--642--21877--4. URL http:\/\/dl.acm.org\/citation.cfm?id=2031978.2032050. S. Negara, G. Zheng, K.-C. Pan, N. Negara, R. E. Johnson, L. V. Kal\u00e9, and P. M. Ricker. Automatic mpi to ampi program transformation using photran. In phProceedings of the 2010 conference on Parallel processing, Euro-Par 2010, pages 531--539, Berlin, Heidelberg, 2011. Springer-Verlag. ISBN 978--3--642--21877--4. URL http:\/\/dl.acm.org\/citation.cfm?id=2031978.2032050."},{"key":"e_1_3_2_1_31_1","unstructured":"AMD64 Architecture Programmer's Manual Volume 2 2010.  AMD64 Architecture Programmer's Manual Volume 2 2010."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/248511"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806603"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048110"},{"key":"e_1_3_2_1_35_1","volume-title":"Jun","author":"Rieker M.","year":"2006","unstructured":"M. Rieker , J. Ansel , and G. Cooperman . Transparent user-level checkpointing for the native posix thread library for linux. In phThe 2006 International Conference on Parallel and Distributed Processing Techniques and Applications , Jun 2006 . M. Rieker, J. Ansel, and G. Cooperman. Transparent user-level checkpointing for the native posix thread library for linux. In phThe 2006 International Conference on Parallel and Distributed Processing Techniques and Applications, Jun 2006."},{"key":"e_1_3_2_1_36_1","unstructured":"Rutgers. Dimacs benchmarks http:\/\/dimacs.rutgers.edu\/challenges\/.  Rutgers. Dimacs benchmarks http:\/\/dimacs.rutgers.edu\/challenges\/."},{"key":"e_1_3_2_1_37_1","first-page":"337","volume-title":"AAAI '94","author":"Selman B.","year":"1994","unstructured":"B. Selman , H. A. Kautz , and B. Cohen . Noise strategies for improving local search. In phProceedings of the twelfth national conference on Artificial intelligence (vol. 1) , AAAI '94 , pages 337 -- 343 , Menlo Park, CA, USA , 1994 . American Association for Artificial Intelligence. ISBN 0--262--61102--3. URL http:\/\/dl.acm.org\/citation.cfm?id=199288.178090. B. Selman, H. A. Kautz, and B. Cohen. Noise strategies for improving local search. In phProceedings of the twelfth national conference on Artificial intelligence (vol. 1), AAAI '94, pages 337--343, Menlo Park, CA, USA, 1994. American Association for Artificial Intelligence. ISBN 0--262--61102--3. URL http:\/\/dl.acm.org\/citation.cfm?id=199288.178090."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2008.62"},{"key":"e_1_3_2_1_39_1","first-page":"2","volume-title":"HPCA '98","author":"Steffan J.","unstructured":"J. Steffan and T. Mowry . The potential for using thread-level data speculation to facilitate automatic parallelization. In phProceedings of the 4th International Symposium on High-Performance Computer Architecture , HPCA '98 , pages 2 --, Washington, DC, USA, 1998. IEEE Computer Society. ISBN 0--8186--8323--6. URL http:\/\/dl.acm.org\/citation.cfm?id=822079.822712. J. Steffan and T. Mowry. The potential for using thread-level data speculation to facilitate automatic parallelization. In phProceedings of the 4th International Symposium on High-Performance Computer Architecture, HPCA '98, pages 2--, Washington, DC, USA, 1998. IEEE Computer Society. ISBN 0--8186--8323--6. URL http:\/\/dl.acm.org\/citation.cfm?id=822079.822712."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1787275.1787325"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/358923.358939"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/568014.379583"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_60"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/953353.953355"},{"key":"e_1_3_2_1_45_1","first-page":"93","volume":"12","author":"Xu K.","year":"2000","unstructured":"K. Xu and W. Li . Exact phase transitions in random constraint satisfaction problems. phJournal of Artificial Intelligence Research , 12 : 93 -- 103 , 2000 . K. Xu and W. Li. Exact phase transitions in random constraint satisfaction problems. phJournal of Artificial Intelligence Research, 12: 93--103, 2000.","journal-title":"Exact phase transitions in random constraint satisfaction problems. phJournal of Artificial Intelligence Research"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/165123.165161"}],"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.2509525","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2509136.2509525","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.2509525"}},"subtitle":["efficiently supporting distributed high-level speculation"],"short-title":[],"issued":{"date-parts":[[2013,10,29]]},"references-count":46,"alternative-id":["10.1145\/2509136.2509525","10.1145\/2509136"],"URL":"https:\/\/doi.org\/10.1145\/2509136.2509525","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2544173.2509525","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"}}]}}