{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:27:07Z","timestamp":1750220827943,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,25]],"date-time":"2019-10-25T00:00:00Z","timestamp":1571961600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000093","name":"National Institutes of Health","doi-asserted-by":"publisher","award":["3OT2TR002517-01S1"],"award-info":[{"award-number":["3OT2TR002517-01S1"]}],"id":[{"id":"10.13039\/100000093","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,10,25]]},"DOI":"10.1145\/3358711.3361626","type":"proceedings-article","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T18:52:21Z","timestamp":1570733541000},"page":"13-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Towards answering \u201cAm I on the right track?\u201d automatically using program synthesis"],"prefix":"10.1145","author":[{"given":"Molly Q","family":"Feldman","sequence":"first","affiliation":[{"name":"Cornell University, USA"}]},{"given":"Yiting","family":"Wang","sequence":"additional","affiliation":[{"name":"Cornell University, USA"}]},{"given":"William E.","family":"Byrd","sequence":"additional","affiliation":[{"name":"University of Alabama at Birmingham, USA"}]},{"given":"Fran\u00e7ois","family":"Guimbreti\u00e8re","sequence":"additional","affiliation":[{"name":"Cornell University, USA"}]},{"given":"Erik","family":"Andersen","sequence":"additional","affiliation":[{"name":"Cornell University, USA"}]}],"member":"320","published-online":{"date-parts":[[2019,10,25]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"NI Adams, Daniel P. Friedman, E Kohlbecker, GL Steele, David H Bartley, R Halstead, et al.","author":"Abelson Harold","year":"1998","unstructured":"Harold Abelson , R. Kent Dybvig , Christopher T. Haynes , Guillermo Juan Rozas , NI Adams, Daniel P. Friedman, E Kohlbecker, GL Steele, David H Bartley, R Halstead, et al. 1998 . Revised 5 report on the algorithmic language Scheme. Higher-Order and Symbolic Computation ( 1998). Harold Abelson, R. Kent Dybvig, Christopher T. Haynes, Guillermo Juan Rozas, NI Adams, Daniel P. Friedman, E Kohlbecker, GL Steele, David H Bartley, R Halstead, et al. 1998. Revised 5 report on the algorithmic language Scheme. Higher-Order and Symbolic Computation (1998)."},{"key":"e_1_3_2_1_2_1","volume-title":"Intelligent tutoring systems. Science 228, 4698","author":"Anderson John R","year":"1985","unstructured":"John R Anderson , C Franklin Boyle , and Brian J Reiser . 1985. Intelligent tutoring systems. Science 228, 4698 ( 1985 ), 456\u2013462. John R Anderson, C Franklin Boyle, and Brian J Reiser. 1985. Intelligent tutoring systems. Science 228, 4698 (1985), 456\u2013462."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog1304_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1734263.1734417"},{"key":"e_1_3_2_1_5_1","volume-title":"Diagnostic models for procedural bugs in basic mathematical skills. Cognitive science 2, 2","author":"Brown John Seely","year":"1978","unstructured":"John Seely Brown and Richard R Burton . 1978. Diagnostic models for procedural bugs in basic mathematical skills. Cognitive science 2, 2 ( 1978 ), 155\u2013192. John Seely Brown and Richard R Burton. 1978. Diagnostic models for procedural bugs in basic mathematical skills. Cognitive science 2, 2 (1978), 155\u2013192."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110252"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3242587.3242661"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Herbert H Clark Susan E Brennan etal 1991. Grounding in communication. Perspectives on socially shared cognition 13 1991 (1991) 127\u2013149. Herbert H Clark Susan E Brennan et al. 1991. Grounding in communication. Perspectives on socially shared cognition 13 1991 (1991) 127\u2013149.","DOI":"10.1037\/10096-006"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2538862.2538900"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173574.3173838"},{"key":"e_1_3_2_1_11_1","volume-title":"Matthew Flatt, and Shriram Krishnamurthi.","author":"Felleisen Matthias","year":"2001","unstructured":"Matthias Felleisen , Robert Bruce Finder , Matthew Flatt, and Shriram Krishnamurthi. 2001 . How to design programs: an introduction to programming and computing. MIT Press . Matthias Felleisen, Robert Bruce Finder, Matthew Flatt, and Shriram Krishnamurthi. 2001. How to design programs: an introduction to programming and computing. MIT Press."},{"key":"e_1_3_2_1_12_1","volume-title":"Matthew Flatt, and Shriram Krishnamurthi.","author":"Felleisen Matthias","year":"2014","unstructured":"Matthias Felleisen , Robert Bruce Finder , Matthew Flatt, and Shriram Krishnamurthi. 2014 . How to Design Programs, Second Edition. MIT Press . Matthias Felleisen, Robert Bruce Finder, Matthew Flatt, and Shriram Krishnamurthi. 2014. How to Design Programs, Second Edition. MIT Press."},{"key":"e_1_3_2_1_13_1","unstructured":"Robert Bruce Findler. 2014. DrRacket: The Racket Programming Environment. (2014). Robert Bruce Findler. 2014. DrRacket: The Racket Programming Environment. (2014)."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s40593-015-0080-x"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the Tenth Midwest AI and Cognitive Science Conference. 43\u201349","author":"Glass Michael","year":"1999","unstructured":"Michael Glass , Jung Hee Kim , Martha W Evens , Joel A Michael , and Allen A Rovick . 1999 . Novice vs. expert tutors: A comparison of style. In MAICS-99 , Proceedings of the Tenth Midwest AI and Cognitive Science Conference. 43\u201349 . Michael Glass, Jung Hee Kim, Martha W Evens, Joel A Michael, and Allen A Rovick. 1999. Novice vs. expert tutors: A comparison of style. In MAICS-99, Proceedings of the Tenth Midwest AI and Cognitive Science Conference. 43\u201349."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2807442.2807495"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2818048.2820011"},{"key":"e_1_3_2_1_18_1","volume-title":"Miller","author":"Glassman Elena L","year":"2015","unstructured":"Elena L Glassman , Jeremy Scott , Rishabh Singh , Philip Guo , and Robert C . Miller . 2015 . OverCode: visualizing variation in student solutions to programming problems at scale. Transactions on ComputerHuman Interaction ( 2015). Elena L Glassman, Jeremy Scott, Rishabh Singh, Philip Guo, and Robert C. Miller. 2015. OverCode: visualizing variation in student solutions to programming problems at scale. Transactions on ComputerHuman Interaction (2015)."},{"volume-title":"Program Synthesis","author":"Gulwani Sumit","key":"e_1_3_2_1_19_1","unstructured":"Sumit Gulwani , Alex Polozov , and Rishabh Singh . 2017. Program Synthesis . Vol. 4 . NOW. 1\u2013119 pages. https:\/\/www.microsoft.com\/enus\/research\/publication\/program- synthesis\/ Sumit Gulwani, Alex Polozov, and Rishabh Singh. 2017. Program Synthesis. Vol. 4. NOW. 1\u2013119 pages. https:\/\/www.microsoft.com\/enus\/research\/publication\/program- synthesis\/"},{"volume-title":"Proceeding of the 44th ACM technical symposium on Computer science education. ACM, 579\u2013584.","author":"Guo Philip J","key":"e_1_3_2_1_20_1","unstructured":"Philip J Guo . 2013. Online python tutor: embeddable web-based program visualization for cs education . In Proceeding of the 44th ACM technical symposium on Computer science education. ACM, 579\u2013584. Philip J Guo. 2013. Online python tutor: embeddable web-based program visualization for cs education. In Proceeding of the 44th ACM technical symposium on Computer science education. ACM, 579\u2013584."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2807442.2807469"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1753326.1753478"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3051457.3051467"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/367415.367422"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","DOI":"10.1093\/med\/9780198813170.003.0001","volume-title":"CS: An Integrated Introduction","author":"Hughes John F","year":"2018","unstructured":"John F Hughes . 2018 . CS: An Integrated Introduction . http:\/\/cs.brown. edu\/courses\/csci0170\/ John F Hughes. 2018. CS: An Integrated Introduction. http:\/\/cs.brown. edu\/courses\/csci0170\/"},{"volume-title":"Proceedings of the 30th Annual ACM Symposium on User Interface Software and Technology (UIST \u201917)","author":"Kang Hyeonsu","key":"e_1_3_2_1_26_1","unstructured":"Hyeonsu Kang and Philip J. Guo . 2017. Omnicode: A Novice-Oriented Live Programming Environment with Always-On Run-Time Value Visualizations . In Proceedings of the 30th Annual ACM Symposium on User Interface Software and Technology (UIST \u201917) . ACM, 737\u2013745. Hyeonsu Kang and Philip J. Guo. 2017. Omnicode: A Novice-Oriented Live Programming Environment with Always-On Run-Time Value Visualizations. In Proceedings of the 30th Annual ACM Symposium on User Interface Software and Technology (UIST \u201917). ACM, 737\u2013745."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/236452.236514"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2505057"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2538862.2538923"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908093"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2839509.2844626"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814310"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07221-0_41"},{"key":"e_1_3_2_1_34_1","unstructured":"Chung-chieh Shan and Robert Rose. 2019. C211\/H211: Introduction to Computer Science. https:\/\/www.cs.indiana.edu\/classes\/c211\/ Chung-chieh Shan and Robert Rose. 2019. C211\/H211: Introduction to Computer Science. https:\/\/www.cs.indiana.edu\/classes\/c211\/"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2462195"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250754"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065045"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2017.8103457"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509586"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2462476.2462508"}],"event":{"name":"SPLASH '19: 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Athens Greece","acronym":"SPLASH '19"},"container-title":["Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3358711.3361626","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3358711.3361626","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:13:26Z","timestamp":1750202006000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3358711.3361626"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,25]]},"references-count":40,"alternative-id":["10.1145\/3358711.3361626","10.1145\/3358711"],"URL":"https:\/\/doi.org\/10.1145\/3358711.3361626","relation":{},"subject":[],"published":{"date-parts":[[2019,10,25]]},"assertion":[{"value":"2019-10-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}