{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:12:33Z","timestamp":1750219953649,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T00:00:00Z","timestamp":1667779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,7]]},"DOI":"10.1145\/3540250.3559081","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T20:46:22Z","timestamp":1668026782000},"page":"1814-1815","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Improving IDE code inspections with tree automata"],"prefix":"10.1145","author":[{"given":"Yunjeong","family":"Lee","sequence":"first","affiliation":[{"name":"National University of Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133906"},{"key":"e_1_3_2_1_2_1","unstructured":"Hubert Comon Max Dauchet R\u00e9mi Gilleron Florent Jacquemard Denis Lugiez Christof L\u00f6ding Sophie Tison and Marc Tommasi. 2008. Tree automata techniques and applications. \t\t\t\t  Hubert Comon Max Dauchet R\u00e9mi Gilleron Florent Jacquemard Denis Lugiez Christof L\u00f6ding Sophie Tison and Marc Tommasi. 2008. Tree automata techniques and applications."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11537311_7"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the ACM on Programming Languages, 4, POPL","author":"Farzan Azadeh","year":"2019","unstructured":"Azadeh Farzan and Anthony Vandikas . 2019 . Reductions for safety proofs . Proceedings of the ACM on Programming Languages, 4, POPL (2019), 1\u201328. Azadeh Farzan and Anthony Vandikas. 2019. Reductions for safety proofs. Proceedings of the ACM on Programming Languages, 4, POPL (2019), 1\u201328."},{"key":"e_1_3_2_1_5_1","first-page":"3","article-title":"Programming by examples","volume":"45","author":"Gulwani Sumit","year":"2016","unstructured":"Sumit Gulwani . 2016 . Programming by examples . Dependable Software Systems Engineering , 45 , 137 (2016), 3 \u2013 15 . Sumit Gulwani. 2016. Programming by examples. Dependable Software Systems Engineering, 45, 137 (2016), 3\u201315.","journal-title":"Dependable Software Systems Engineering"},{"key":"e_1_3_2_1_6_1","volume-title":"International Workshop\/20th Annual Conference of the EACSL.","author":"Madhusudan Parthasarathy","year":"2011","unstructured":"Parthasarathy Madhusudan . 2011 . Synthesizing reactive programs. In Computer Science Logic (CSL\u201911)-25th International Workshop\/20th Annual Conference of the EACSL. Parthasarathy Madhusudan. 2011. Synthesizing reactive programs. In Computer Science Logic (CSL\u201911)-25th International Workshop\/20th Annual Conference of the EACSL."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11601524_15"},{"key":"e_1_3_2_1_8_1","unstructured":"Tagir Valeev. 2021. Making static analysis smart is half the battle then you have to make it stupid. https:\/\/habr.com\/en\/company\/JetBrains\/blog\/586890\/ \t\t\t\t  Tagir Valeev. 2021. Making static analysis smart is half the battle then you have to make it stupid. https:\/\/habr.com\/en\/company\/JetBrains\/blog\/586890\/"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133886"}],"event":{"name":"ESEC\/FSE '22: 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","NUS NUS"],"location":"Singapore Singapore","acronym":"ESEC\/FSE '22"},"container-title":["Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3540250.3559081","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3540250.3559081","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:04Z","timestamp":1750182544000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3540250.3559081"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":9,"alternative-id":["10.1145\/3540250.3559081","10.1145\/3540250"],"URL":"https:\/\/doi.org\/10.1145\/3540250.3559081","relation":{},"subject":[],"published":{"date-parts":[[2022,11,7]]},"assertion":[{"value":"2022-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}