{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:31:12Z","timestamp":1750221072460,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":73,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,26]],"date-time":"2018-10-26T00:00:00Z","timestamp":1540512000000},"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":[[2018,10,26]]},"DOI":"10.1145\/3236024.3236048","type":"proceedings-article","created":{"date-parts":[[2018,10,29]],"date-time":"2018-10-29T12:06:00Z","timestamp":1540814760000},"page":"366-376","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Concurrency verification with maximal path causality"],"prefix":"10.1145","author":[{"given":"Qiuping","family":"Yi","sequence":"first","affiliation":[{"name":"Texas A&M University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff","family":"Huang","sequence":"additional","affiliation":[{"name":"Texas A&M University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"{n. d.}. SV-COMP. http:\/\/sv-comp.sosy-lab.org. ({n. d.}).  {n. d.}. SV-COMP. http:\/\/sv-comp.sosy-lab.org. ({n. d.})."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535845"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_28"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509508"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250737"},{"volume-title":"Proceedings of the 8th USENIX conference on Operating systems design and implementation.","year":"2008","author":"Cadar Cristian","key":"e_1_3_2_1_6_1"},{"volume-title":"Int. Res.","year":"2011","author":"Cimatti Alessandro","key":"e_1_3_2_1_7_1"},{"volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Clarke Edmund","key":"e_1_3_2_1_8_1"},{"volume-title":"International Journal on Software Tools for Technology Transfer","year":"1999","author":"Clarke E M","key":"e_1_3_2_1_9_1"},{"volume-title":"International Journal on Software Tools for Technology Transfer","year":"1999","author":"Clarke E M","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","unstructured":"ConCREST. last accessed May 2017.  ConCREST. last accessed May 2017."},{"key":"e_1_3_2_1_12_1","unstructured":"ConCREST. http:\/\/forsyte.at\/software\/concrest\/. (last accessed May 2017).  ConCREST. http:\/\/forsyte.at\/software\/concrest\/. (last accessed May 2017)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043588"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1924943.1924958"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814297"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491453"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040315"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737975"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594315"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984025"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_39"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/248052.248106"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855741.1855760"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996845"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_7"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2807591.2807635"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806635"},{"key":"e_1_3_2_1_29_1","unstructured":"Anthony Williams. 2012. Dekker\u2019s algorithm implementation. In https:\/\/www.justsoftwaresolutions.co.uk\/threading\/.  Anthony Williams. 2012. Dekker\u2019s algorithm implementation. In https:\/\/www.justsoftwaresolutions.co.uk\/threading\/."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/859618.859633"},{"key":"e_1_3_2_1_31_1","unstructured":"REFERENCES\n\n  \n    REFERENCES"},{"key":"e_1_3_2_1_32_1","unstructured":"MPC. https:\/\/github.com\/parasolaser\/MPC. (2018).  MPC. https:\/\/github.com\/parasolaser\/MPC. (2018)."},{"key":"e_1_3_2_1_33_1","unstructured":"SV-COMP. http:\/\/svcomp.sosylab.org. (2018).  SV-COMP. http:\/\/svcomp.sosylab.org. (2018)."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535845"},{"key":"e_1_3_2_1_35_1","unstructured":"Parosh Aziz Abdulla Stavros Aronis Mohamed Faouzi Atig Bengt Jonsson Carl Leonardsson and Konstantinos Sagonas. 2015.  Parosh Aziz Abdulla Stavros Aronis Mohamed Faouzi Atig Bengt Jonsson Carl Leonardsson and Konstantinos Sagonas. 2015."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_28"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509508"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250737"},{"key":"e_1_3_2_1_39_1","unstructured":"Cristian Cadar Daniel Dunbar and Dawson Engler. 2008.  Cristian Cadar Daniel Dunbar and Dawson Engler. 2008."},{"volume-title":"Proceedings of the 8th USENIX conference on Operating systems design and implementation.","author":"KLEE","key":"e_1_3_2_1_40_1"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"volume-title":"Int. Res.","year":"2011","author":"Cimatti Alessandro","key":"e_1_3_2_1_42_1"},{"volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Clarke Edmund","key":"e_1_3_2_1_43_1"},{"volume-title":"International Journal on Software Tools for Technology Transfer","year":"1999","author":"Clarke E M","key":"e_1_3_2_1_44_1"},{"volume-title":"International Journal on Software Tools for Technology Transfer","year":"1999","author":"Clarke E M","key":"e_1_3_2_1_45_1"},{"key":"e_1_3_2_1_46_1","unstructured":"ConCREST. last accessed May 2017.  ConCREST. last accessed May 2017."},{"key":"e_1_3_2_1_47_1","unstructured":"ConCREST. http:\/\/forsyte.at\/software\/concrest\/. (last accessed May 2017).  ConCREST. http:\/\/forsyte.at\/software\/concrest\/. (last accessed May 2017)."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043588"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.5555\/1924943.1924958"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814297"},{"key":"e_1_3_2_1_52_1","unstructured":"Azadeh Farzan Andreas Holzer Niloofar Razavi and Helmut Veith. 2013.  Azadeh Farzan Andreas Holzer Niloofar Razavi and Helmut Veith. 2013."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491453"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040315"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737975"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594315"},{"key":"e_1_3_2_1_57_1","unstructured":"Shiyou Huang and Jeff Huang. 2016.  Shiyou Huang and Jeff Huang. 2016."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984025"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_39"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855741.1855760"},{"volume-title":"Proceedings of the 2013 International Conference on Software Engineering. 772\u2013781","year":"2013","author":"Thien Nguyen Hoang Duong","key":"e_1_3_2_1_62_1"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001445"},{"key":"e_1_3_2_1_64_1","unstructured":"Shaz Qadeer and Dinghao Wu. 2004.  Shaz Qadeer and Dinghao Wu. 2004."},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996845"},{"key":"e_1_3_2_1_66_1","unstructured":"Zvonimir Rakamaric and Michael Emmi. 2014.  Zvonimir Rakamaric and Michael Emmi. 2014."},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_7"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984040"},{"key":"e_1_3_2_1_69_1","unstructured":"Emina Torlak Mandana Vaziri and Julian Dolby. 2010.  Emina Torlak Mandana Vaziri and Julian Dolby. 2010."},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806635"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/859618.859633"},{"key":"e_1_3_2_1_72_1","unstructured":"Liangze Yin Wei Dong Wanwei Liu and Ji Wang. 2017. Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification. CoRR abs\/1708.08323 (2017). arXiv: 1708.08323  Liangze Yin Wei Dong Wanwei Liu and Ji Wang. 2017. Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification. CoRR abs\/1708.08323 (2017). arXiv: 1708.08323"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755946"}],"event":{"name":"ESEC\/FSE '18: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Lake Buena Vista FL USA","acronym":"ESEC\/FSE '18"},"container-title":["Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3236048","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236024.3236048","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:26Z","timestamp":1750208246000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3236048"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,26]]},"references-count":73,"alternative-id":["10.1145\/3236024.3236048","10.1145\/3236024"],"URL":"https:\/\/doi.org\/10.1145\/3236024.3236048","relation":{},"subject":[],"published":{"date-parts":[[2018,10,26]]},"assertion":[{"value":"2018-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}