{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T07:55:20Z","timestamp":1770278120505,"version":"3.49.0"},"reference-count":37,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,9,12]],"date-time":"2022-09-12T00:00:00Z","timestamp":1662940800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,9,12]],"date-time":"2022-09-12T00:00:00Z","timestamp":1662940800000},"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":[[2022,9,12]]},"DOI":"10.1109\/vl\/hcc53370.2022.9833110","type":"proceedings-article","created":{"date-parts":[[2022,8,17]],"date-time":"2022-08-17T15:41:54Z","timestamp":1660750914000},"page":"1-5","source":"Crossref","is-referenced-by-count":6,"title":["An Integrative Human-Centered Architecture for Interactive Programming Assistants"],"prefix":"10.1109","author":[{"given":"Andrew","family":"Blinn","sequence":"first","affiliation":[{"name":"University of Michigan,Ann Arbor,MI,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Moon","sequence":"additional","affiliation":[{"name":"University of Michigan,Ann Arbor,MI,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Griffis","sequence":"additional","affiliation":[{"name":"University of Michigan,Ann Arbor,MI,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cyrus","family":"Omar","sequence":"additional","affiliation":[{"name":"University of Michigan,Ann Arbor,MI,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","first-page":"527","article-title":"Version Space Algebra and its Application to Programming by Demonstration","author":"lau","year":"2000","journal-title":"ICML"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3290327"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3360569"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3428227"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3242744.3242760"},{"key":"ref37","article-title":"Edit-Time Tactics in Idris","author":"korkut","year":"2018","journal-title":"Master’s thesis"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908093"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3408991"},{"key":"ref31","article-title":"Report of the Workshop on Program Synthesis for Scientific Computing","author":"finkel","year":"2021"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.64"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0249-7"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227133"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837629"},{"key":"ref32","article-title":"What Does Explainable AI Really Mean? A New Conceptualization of Perspectives","author":"doran","year":"2017"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"456","DOI":"10.1109\/TSE.1978.233869","article-title":"Initial Report on a Lisp Programmer’s Apprentice","volume":"4","author":"rich","year":"1978","journal-title":"IEEE Trans Software Eng"},{"key":"ref1","first-page":"827","article-title":"Overview of the Programmer’s Apprentice","author":"rich","year":"1979","journal-title":"Sixth International Joint Conference on Artificial Intelligence IJCAI 79"},{"key":"ref17","article-title":"Evaluating Large Language Models Trained on Code","author":"chen","year":"2021"},{"key":"ref16","article-title":"The Hole Story: Type-Driven Synthesis and Repair","author":"gissurarson","year":"2022","journal-title":"Licentiate Thesis"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594321"},{"key":"ref18","first-page":"10824","article-title":"Program Synthesis and Semantic Parsing with Learned Code Idioms","author":"shin","year":"2019","journal-title":"Advances in Neural Information Processing Systems 32 Annual Conference on Neural Information Processing Systems (NeurIPS)"},{"key":"ref24","article-title":"Hazel Tutor: Guiding Novices Through Type-Driven Development Strategies","author":"potter","year":"2020","journal-title":"Human Aspects of Types and Reasoning Assistants (HATRA)"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009900"},{"key":"ref26","article-title":"Toward Semantic Foundations for Program Editors","author":"omar","year":"2017","journal-title":"Summit on Advances in Programming Languages"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3236798"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/578"},{"key":"ref22","first-page":"627","author":"zhang","year":"2020","journal-title":"Interactive Program Synthesis by Augmented Examples"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3411764.3445646"},{"key":"ref28","article-title":"Natural and Flexible Error Recovery for Generated Parsers","author":"de jonge","year":"2009","journal-title":"Software Language Engineering (SLE)"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/800229.806967"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.42"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1561\/9781680832938"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2006.105"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738007"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2011.6080790"},{"key":"ref3","first-page":"4062","article-title":"Towards a Programmer’s Apprentice (Again)","author":"shrobe","year":"0"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595728"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.42"}],"event":{"name":"2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC)","location":"Roma, Italy","start":{"date-parts":[[2022,9,12]]},"end":{"date-parts":[[2022,9,16]]}},"container-title":["2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9832907\/9832909\/09833110.pdf?arnumber=9833110","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,22]],"date-time":"2023-05-22T15:28:13Z","timestamp":1684769293000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9833110\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,12]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/vl\/hcc53370.2022.9833110","relation":{},"subject":[],"published":{"date-parts":[[2022,9,12]]}}}