{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,26]],"date-time":"2025-12-26T05:45:37Z","timestamp":1766727937645,"version":"3.48.0"},"reference-count":52,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T00:00:00Z","timestamp":1759795200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T00:00:00Z","timestamp":1759795200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,10,7]]},"DOI":"10.1109\/vl-hcc65237.2025.00021","type":"proceedings-article","created":{"date-parts":[[2025,12,25]],"date-time":"2025-12-25T18:25:00Z","timestamp":1766687100000},"page":"116-127","source":"Crossref","is-referenced-by-count":0,"title":["Debugging into Existence with Program Synthesis"],"prefix":"10.1109","author":[{"given":"Guy","family":"Frankel","sequence":"first","affiliation":[{"name":"University of Edinburgh,United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shay","family":"Segal","sequence":"additional","affiliation":[{"name":"Technion,Haifa,Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hila","family":"Peleg","sequence":"additional","affiliation":[{"name":"Technion,Haifa,Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref2","article-title":"debug-here 0.1.0 - docs.rs"},{"key":"ref3","article-title":"Hardcover"},{"key":"ref4","article-title":"Railsconf 2014 - debugger driven developement with Pry by Joel Turnbull"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3586183.3606781"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_67"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/vl\/hcc60511.2024.00011"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3586030"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.22152\/programming-journal.org\/2025\/10\/5"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3571226"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385988"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009851"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3613904.3642495"},{"issue":"OOPSLA","key":"ref14","first-page":"1","article-title":"LooPy: interactive program synthesis with control structures","volume-title":"Proceedings of the ACM on Programming Languages","volume":"5","author":"Ferdowsifard"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3379337.3415869"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737977"},{"article-title":"Introducing GitHub Copilot: Your AI pair programmer","year":"2022","author":"Friedman","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568250"},{"issue":"1","key":"ref19","doi-asserted-by":"crossref","first-page":"317330","DOI":"10.1145\/1925844.1926423","article-title":"Automating string processing in spreadsheets using input-output examples","volume":"46","author":"Gulwani","year":"2011","journal-title":"ACM Sigplan Notices"},{"issue":"8","key":"ref20","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/2240236.2240260","article-title":"Spreadsheet data manipulation using examples","volume":"55","author":"Gulwani","year":"2012","journal-title":"Communications of the ACM"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1561\/2500000010"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/vl\/hcc60511.2024.00041"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3428273"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3526113.3545659"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786860"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/vlhcc.2017.8103490"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3025453.3025626"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/vlhcc.2017.8103446"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/985692.985712"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368130"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180242"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/icse.2017.43"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3556952"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3408991"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.22152\/programming-journal.org\/2017\/1\/13"},{"journal-title":"Microsoft","key":"ref36","article-title":"Visual Studio Code"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3290327"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3428227"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180189"},{"issue":"3","key":"ref40","doi-asserted-by":"crossref","first-page":"9","DOI":"10.22152\/programming-journal.org\/2019\/3\/9","article-title":"Babylonian-style programming","volume":"3","author":"Rauch","year":"2019","journal-title":"The Art, Science, and Engineering of Programming"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/234526.234530"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/51607.51614"},{"journal-title":"2021, keynote talk: HOPL IV: History of Programming Languages.","article-title":"Myths and mythconceptions: What does it mean to be a programming language, anyhow?","author":"Shaw","key":"ref43"},{"issue":"2","key":"ref44","first-page":"131","article-title":"Environments for exploratory programming","volume":"29","author":"Sheil","year":"1983","journal-title":"Datamation"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0249-7"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-76324-4_7"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/3491102.3501957"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2462174"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/3133886"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/3411764.3445527"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/3654777.3676357"},{"key":"ref52","first-page":"49","article-title":"CISPA Helmholtz Center for Information Security, 2024, ch. Introduction to Debugging","volume":"16","author":"Zeller","journal-title":"The Debugging Book"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/3379337.3415900"}],"event":{"name":"2025 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC)","start":{"date-parts":[[2025,10,7]]},"location":"Raleigh, NC, USA","end":{"date-parts":[[2025,10,10]]}},"container-title":["2025 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11303452\/11303453\/11303493.pdf?arnumber=11303493","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,26]],"date-time":"2025-12-26T05:40:43Z","timestamp":1766727643000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11303493\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,7]]},"references-count":52,"URL":"https:\/\/doi.org\/10.1109\/vl-hcc65237.2025.00021","relation":{},"subject":[],"published":{"date-parts":[[2025,10,7]]}}}