{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T22:00:20Z","timestamp":1784239220027,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,3]],"date-time":"2018-09-03T00:00:00Z","timestamp":1535932800000},"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,9,3]]},"DOI":"10.1145\/3238147.3238198","type":"proceedings-article","created":{"date-parts":[[2018,8,20]],"date-time":"2018-08-20T20:04:36Z","timestamp":1534795476000},"page":"589-600","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["PFix: fixing concurrency bugs based on memory access patterns"],"prefix":"10.1145","author":[{"given":"Huarui","family":"Lin","sequence":"first","affiliation":[{"name":"Tianjin University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zan","family":"Wang","sequence":"additional","affiliation":[{"name":"Tianjin University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shuang","family":"Liu","sequence":"additional","affiliation":[{"name":"Tianjin University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jun","family":"Sun","sequence":"additional","affiliation":[{"name":"Singapore University of Technology and Design, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dongdi","family":"Zhang","sequence":"additional","affiliation":[{"name":"Tianjin University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guangning","family":"Wei","sequence":"additional","affiliation":[{"name":"Tianjin University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2011. The Pecan Benchmarks. http:\/\/www.cse.ust.hk\/prism\/pecan\/#Experiment 2016. JaConTeBe Object Biography. http:\/\/sir.unl.edu\/portal\/bios\/JaConTeBe.php 2018. Abstract Syntax Tree. http:\/\/www.eclipse.org\/articles\/article.php?file= Article-JavaCodeManipulation_AST\/index.html 2018. The Fix page. https:\/\/github.com\/PFixConcurrency\/Fix 2018. The FixExamples page. https:\/\/github.com\/PFixConcurrency\/FixExamples 2018. The Soot GitHub Project. https:\/\/github.com\/Sable\/soot PFix: Fixing Concurrency Bugs Based on Memory Access Patterns ASE \u201918 September 3\u20137 2018 Montpellier France  2011. The Pecan Benchmarks. http:\/\/www.cse.ust.hk\/prism\/pecan\/#Experiment 2016. JaConTeBe Object Biography. http:\/\/sir.unl.edu\/portal\/bios\/JaConTeBe.php 2018. Abstract Syntax Tree. http:\/\/www.eclipse.org\/articles\/article.php?file= Article-JavaCodeManipulation_AST\/index.html 2018. The Fix page. https:\/\/github.com\/PFixConcurrency\/Fix 2018. The FixExamples page. https:\/\/github.com\/PFixConcurrency\/FixExamples 2018. The Soot GitHub Project. https:\/\/github.com\/Sable\/soot PFix: Fixing Concurrency Bugs Based on Memory Access Patterns ASE \u201918 September 3\u20137 2018 Montpellier France"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568246"},{"key":"e_1_3_2_1_3_1","volume-title":"International symposium on search based software engineering\u00e2\u0102\u0164fast abstracts. 1\u20132.","author":"Bradbury Jeremy S","year":"2010","unstructured":"Jeremy S Bradbury and Kevin Jalbert . 2010 . Automatic repair of concurrency bugs . In International symposium on search based software engineering\u00e2\u0102\u0164fast abstracts. 1\u20132. Jeremy S Bradbury and Kevin Jalbert. 2010. Automatic repair of concurrency bugs. In International symposium on search based software engineering\u00e2\u0102\u0164fast abstracts. 1\u20132."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884819"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106239"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106239"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337294"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950310"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755945"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-005-3861-2"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-009-0056-x"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-009-9270-z"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050043"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001438"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594315"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384670"},{"key":"e_1_3_2_1_18_1","volume-title":"Salvatore La Torre, and Gennaro Parlato","author":"Inverso Omar","year":"2015","unstructured":"Omar Inverso , Truc L Nguyen , Bernd Fischer , Salvatore La Torre, and Gennaro Parlato . 2015 . Lazy-CSeq: A Context-Bounded Model Checking Tool for Multithreaded C-Programs. Automated Software Engineering ( 2015), 807\u2013812. Omar Inverso, Truc L Nguyen, Bernd Fischer, Salvatore La Torre, and Gennaro Parlato. 2015. Lazy-CSeq: A Context-Bounded Model Checking Tool for Multithreaded C-Programs. Automated Software Engineering (2015), 807\u2013812."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-0021-9"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993544"},{"key":"e_1_3_2_1_21_1","volume-title":"Usenix Conference on Operating Systems Design and Implementation. 221\u2013236","author":"Jin Guoliang","year":"2012","unstructured":"Guoliang Jin , Wei Zhang , Dongdong Deng , Ben Liblit , and Shan Lu . 2012 . Automated concurrency-bug fixing . In Usenix Conference on Operating Systems Design and Implementation. 221\u2013236 . Guoliang Jin, Wei Zhang, Dongdong Deng, Ben Liblit, and Shan Lu. 2012. Automated concurrency-bug fixing. In Usenix Conference on Operating Systems Design and Implementation. 221\u2013236."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522736"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771798"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49052-6_6"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065014"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950309"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491435"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635881"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337259"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2016.038"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2011.254"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993543"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.83"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483792"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2528521.1508249"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.85"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806838"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.62"},{"key":"e_1_3_2_1_40_1","volume-title":"Java Concurrency in Practice","author":"Peierls Tim","unstructured":"Tim Peierls , Brian Goetz , Joshua Bloch , Joseph Bowbeer , Doug Lea , and David Holmes . 2005. Java Concurrency in Practice . Addison-Wesley Professional . Tim Peierls, Brian Goetz, Joshua Bloch, Joseph Bowbeer, Doug Lea, and David Holmes. 2005. Java Concurrency in Practice. Addison-Wesley Professional."},{"key":"e_1_3_2_1_41_1","unstructured":"Cosmin Ra  Cosmin Ra"},{"key":"e_1_3_2_1_42_1","volume-title":"On the Accuracy of Spectrum-based Fault Localization. In Testing: Academic and Industrial Conference Practice and Research Techniques - Mutation","author":"Rui Abreu","year":"2007","unstructured":"Abreu Rui , Peter Zoeteweij , and Arjan J. C . Van Gemund. 2007 . On the Accuracy of Spectrum-based Fault Localization. In Testing: Academic and Industrial Conference Practice and Research Techniques - Mutation , 2007 . Taicpart-Mutation. 89\u201398. Abreu Rui, Peter Zoeteweij, and Arjan J. C. Van Gemund. 2007. On the Accuracy of Spectrum-based Fault Localization. In Testing: Academic and Industrial Conference Practice and Research Techniques - Mutation, 2007. Taicpart-Mutation. 89\u201398."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1379022.1375584"},{"key":"e_1_3_2_1_44_1","volume-title":"Petri nets: Properties, analysis and applications","author":"Murata T.","year":"1989","unstructured":"Murata T. 1989. Petri nets: Properties, analysis and applications . Proc IEEE ( 1989 ), 541\u2013580. Murata T. 1989. Petri nets: Properties, analysis and applications. Proc IEEE (1989), 541\u2013580."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111067"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771797"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100124"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1594834.1480913"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39955-8_9"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025121"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2398857.2384651"}],"event":{"name":"ASE '18: 33rd ACM\/IEEE International Conference on Automated Software Engineering","location":"Montpellier France","acronym":"ASE '18","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","CNRS Centre National De La Rechercue Scientifique","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3238147.3238198","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3238147.3238198","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:35Z","timestamp":1750210775000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3238147.3238198"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,3]]},"references-count":51,"alternative-id":["10.1145\/3238147.3238198","10.1145\/3238147"],"URL":"https:\/\/doi.org\/10.1145\/3238147.3238198","relation":{},"subject":[],"published":{"date-parts":[[2018,9,3]]},"assertion":[{"value":"2018-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}