{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:11:51Z","timestamp":1750306311939,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,3,17]],"date-time":"2016-03-17T00:00:00Z","timestamp":1458172800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1318103, CCF- 1524852, CCF-1149632"],"award-info":[{"award-number":["CCF-1318103, CCF- 1524852, CCF-1149632"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,3,17]]},"DOI":"10.1145\/2892208.2892215","type":"proceedings-article","created":{"date-parts":[[2016,3,14]],"date-time":"2016-03-14T13:11:18Z","timestamp":1457961078000},"page":"99-109","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Automatic fault location for data structures"],"prefix":"10.1145","author":[{"given":"Vineet","family":"Singh","sequence":"first","affiliation":[{"name":"University of California at Riverside, USA"}]},{"given":"Rajiv","family":"Gupta","sequence":"additional","affiliation":[{"name":"University of California at Riverside, USA"}]},{"given":"Iulian","family":"Neamtiu","sequence":"additional","affiliation":[{"name":"New Jersey Institute of Technology, USA"}]}],"member":"320","published-online":{"date-parts":[[2016,3,17]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Gnome bug tracker. https:\/\/bugzilla.gnome.org\/. Accessed: 03\/2014."},{"key":"e_1_3_2_1_2_1","unstructured":"Kde bug tracker. https:\/\/bugs.kde.org\/. Accessed: 03\/2014."},{"key":"e_1_3_2_1_3_1","unstructured":"Open office bug tracker. https:\/\/issues.apache.org\/ ooo\/. Accessed: 03\/2014."},{"key":"e_1_3_2_1_4_1","unstructured":"Bison-gnu parser generator. http:\/\/www.gnu.org\/software\/bison\/."},{"key":"e_1_3_2_1_5_1","unstructured":"Gnu core utilities. http:\/\/www.gnu.org\/software\/coreutils\/."},{"key":"e_1_3_2_1_6_1","unstructured":"Spec cint2006 benchmarks. https:\/\/www.spec.org\/cpu2006\/cint2006\/."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2006.18"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297057"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328469"},{"volume-title":"URL http:\/\/dblp.uni-trier.de\/db\/conf\/popl\/ popl2008.html#ChangR08","author":"ISBN","key":"e_1_3_2_1_11_1","unstructured":"ISBN 978-1-59593-689-9. URL http:\/\/dblp.uni-trier.de\/db\/conf\/popl\/ popl2008.html#ChangR08."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297069"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949314"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062499"},{"key":"e_1_3_2_1_15_1","unstructured":"B. Demsky C. Cadar D. Roy and M. Rinard. Efficient specificationassisted error localization. In WODA\u201904."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088"},{"key":"e_1_3_2_1_17_1","unstructured":"1368222. URL http:\/\/doi.acm.org\/10.1145\/1368088."},{"key":"e_1_3_2_1_18_1","unstructured":"1368222."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","unstructured":"D. Gopinath R. Zaeem and S. Khurshid. Improving the effectiveness of spectra-based fault localization using specifications. In ASE\u201912. 10.1145\/2351676.2351683","DOI":"10.1145\/2351676.2351683"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993550"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1669112.1669122"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(88)90054-3"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/2387880.2387884"},{"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.5555\/556707"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.65"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.92"},{"key":"e_1_3_2_1_31_1","first-page":"17","volume-title":"TACAS\u201912","author":"Nokhbeh Zaeem R.","unstructured":"R. Nokhbeh Zaeem, D. Gopinath, S. Khurshid, and K. S. McKinley. History-aware data structure repair using sat. TACAS\u201912, pages 2\u201317."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1772954.1772958"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111583.1111585"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","unstructured":"ISBN 1-59593-147-3. doi: 10.1145\/1111583.1111585. URL http:\/\/doi.acm.org\/10. 1145\/1111583.1111585.","DOI":"10.1145\/1111583.1111585"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240292"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","unstructured":"S. K. Sahoo J. Criswell C. Geigle and V. Adve. Using likely invariants for automated software fault localization. In ASPLOS\u201913. 10.1145\/2451116.2451131","DOI":"10.1145\/2451116.2451131"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250770"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2015.7081839"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1982.1676057"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1109\/TC.1982.1676057.","DOI":"10.1109\/TC.1982.1676057"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1085130.1085135"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134002"}],"event":{"name":"CGO '16: 14th Annual IEEE\/ACM International Symposium on Code Generation and Optimization","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","IEEE-CS Computer Society"],"location":"Barcelona Spain","acronym":"CGO '16"},"container-title":["Proceedings of the 25th International Conference on Compiler Construction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2892208.2892215","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2892208.2892215","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2892208.2892215","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:53:53Z","timestamp":1750222433000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2892208.2892215"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,17]]},"references-count":42,"alternative-id":["10.1145\/2892208.2892215","10.1145\/2892208"],"URL":"https:\/\/doi.org\/10.1145\/2892208.2892215","relation":{},"subject":[],"published":{"date-parts":[[2016,3,17]]},"assertion":[{"value":"2016-03-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}