{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:28:51Z","timestamp":1750307331378,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,6,5]],"date-time":"2011-06-05T00:00:00Z","timestamp":1307232000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000082","name":"Division of Graduate Education","doi-asserted-by":"publisher","award":["DGE-0718124"],"award-info":[{"award-number":["DGE-0718124"]}],"id":[{"id":"10.13039\/100000082","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,6,5]]},"DOI":"10.1145\/1988915.1988922","type":"proceedings-article","created":{"date-parts":[[2011,6,6]],"date-time":"2011-06-06T11:53:52Z","timestamp":1307361232000},"page":"22-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Extended sequential reasoning for data-race-free programs"],"prefix":"10.1145","author":[{"given":"Laura","family":"Effinger-Dean","sequence":"first","affiliation":[{"name":"University of Washington"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans-J.","family":"Boehm","sequence":"additional","affiliation":[{"name":"Hewlett-Packard Laboratories"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dhruva","family":"Chakrabarti","sequence":"additional","affiliation":[{"name":"Hewlett-Packard Laboratories"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pramod","family":"Joisha","sequence":"additional","affiliation":[{"name":"Hewlett-Packard Laboratories"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,6,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1787234.1787255"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926394"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375591"},{"key":"e_1_3_2_1_4_1","unstructured":"C Standards Committee. Programming Languages---C. C standards committee paper WG14\/N1539 http:\/\/www.open-std.org\/JTC1\/SC22\/WG14\/www\/docs\/n1539.pdf November 2010.  C Standards Committee. Programming Languages---C. C standards committee paper WG14\/N1539 http:\/\/www.open-std.org\/JTC1\/SC22\/WG14\/www\/docs\/n1539.pdf November 2010."},{"key":"e_1_3_2_1_5_1","unstructured":"C++ Standards Committee Pete Becker ed. Working Draft Standard for Programming Language C++. C++ standards committee paper WG21\/N3242=J16\/11-0012 http:\/\/www.open-std.org\/JTC1\/SC22\/WG21\/docs\/papers\/2011\/n3242.pdf February 2011.  C++ Standards Committee Pete Becker ed. Working Draft Standard for Programming Language C++. C++ standards committee paper WG21\/N3242=J16\/11-0012 http:\/\/www.open-std.org\/JTC1\/SC22\/WG21\/docs\/papers\/2011\/n3242.pdf February 2011."},{"key":"e_1_3_2_1_6_1","volume-title":"IEEE Standard 1003.1-2001","author":"IEEE and The Open Group","year":"2001","unstructured":"IEEE and The Open Group . IEEE Standard 1003.1-2001 . 2001 . IEEE and The Open Group. IEEE Standard 1003.1-2001. 2001."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926457"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/977395.977673"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040336"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70592-5_3"},{"key":"e_1_3_2_1_12_1","volume-title":"ANSI\/MIL-STD-1815A-1983 Standard 1003.1-2001. United States Department of Defense","author":"Ada Programming Language Reference Manual","year":"1983","unstructured":"Reference Manual for the Ada Programming Language : ANSI\/MIL-STD-1815A-1983 Standard 1003.1-2001. United States Department of Defense , 1983 . Springer . Reference Manual for the Ada Programming Language: ANSI\/MIL-STD-1815A-1983 Standard 1003.1-2001. United States Department of Defense, 1983. Springer."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/223982.223990"}],"event":{"name":"PLDI '11: ACM SIGPLAN Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"San Jose California","acronym":"PLDI '11"},"container-title":["Proceedings of the 2011 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1988915.1988922","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1988915.1988922","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:06:08Z","timestamp":1750244768000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1988915.1988922"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,5]]},"references-count":12,"alternative-id":["10.1145\/1988915.1988922","10.1145\/1988915"],"URL":"https:\/\/doi.org\/10.1145\/1988915.1988922","relation":{},"subject":[],"published":{"date-parts":[[2011,6,5]]},"assertion":[{"value":"2011-06-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}