{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:14Z","timestamp":1772164094749,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,11]],"date-time":"2018-06-11T00:00:00Z","timestamp":1528675200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-sa\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,6,11]]},"DOI":"10.1145\/3192366.3192387","type":"proceedings-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T08:16:01Z","timestamp":1528791361000},"page":"465-480","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":86,"title":["Automated clustering and program repair for introductory programming assignments"],"prefix":"10.1145","author":[{"given":"Sumit","family":"Gulwani","sequence":"first","affiliation":[{"name":"Microsoft, USA"}]},{"given":"Ivan","family":"Radi\u010dek","sequence":"additional","affiliation":[{"name":"Vienna University of Technology, Austria"}]},{"given":"Florian","family":"Zuleger","sequence":"additional","affiliation":[{"name":"Vienna University of Technology, Austria"}]}],"member":"320","published-online":{"date-parts":[[2018,6,11]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90023-5"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1370175.1370223"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"crossref","unstructured":"D. Beyer A. Cimatti A. Griggio M. E. Keremoglu S. F. University and R. Sebastiani. 2009. Software model checking via large-block encoding. In 2009 Formal Methods in Computer-Aided Design. 25\u201332.  D. Beyer A. Cimatti A. Griggio M. E. Keremoglu S. F. University and R. Sebastiani. 2009. Software model checking via large-block encoding. In 2009 Formal Methods in Computer-Aided Design. 25\u201332.","DOI":"10.1109\/FMCAD.2009.5351147"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985811"},{"key":"e_1_3_2_2_5_1","volume-title":"CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II . 383\u2013401","author":"D\u2019Antoni Loris","year":"2016","unstructured":"Loris D\u2019Antoni , Roopsha Samanta , and Rishabh Singh . 2016 . Qlose: Program Repair with Quantitative Objectives. In Computer Aided Verification - 28th International Conference , CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II . 383\u2013401 . Loris D\u2019Antoni, Roopsha Samanta, and Rishabh Singh. 2016. Qlose: Program Repair with Quantitative Objectives. In Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II . 383\u2013401."},{"key":"e_1_3_2_2_6_1","volume-title":"Prutor: A System for Tutoring CS1 and Collecting Student Programs for Analysis. CoRR abs\/1608.03828","author":"Das Rajdeep","year":"2016","unstructured":"Rajdeep Das , Umair Z. Ahmed , Amey Karkare , and Sumit Gulwani . 2016 . Prutor: A System for Tutoring CS1 and Collecting Student Programs for Analysis. CoRR abs\/1608.03828 (2016). http:\/\/arxiv.org\/ abs\/1608.03828 Rajdeep Das, Umair Z. Ahmed, Amey Karkare, and Sumit Gulwani. 2016. Prutor: A System for Tutoring CS1 and Collecting Student Programs for Analysis. CoRR abs\/1608.03828 (2016). http:\/\/arxiv.org\/ abs\/1608.03828"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.66"},{"key":"e_1_3_2_2_8_1","volume-title":"FMCAD 2013","author":"Demyanova Yulia","year":"2013","unstructured":"Yulia Demyanova , Helmut Veith , and Florian Zuleger . 2013 . On the concept of variable roles and its use in software analysis. In Formal Methods in Computer-Aided Design , FMCAD 2013 , Portland, OR, USA , October 20-23, 2013 . 226\u2013230. http:\/\/ieeexplore.ieee.org\/xpl\/freeabs_all. jsp?arnumber=6679414 Yulia Demyanova, Helmut Veith, and Florian Zuleger. 2013. On the concept of variable roles and its use in software analysis. In Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013 . 226\u2013230. http:\/\/ieeexplore.ieee.org\/xpl\/freeabs_all. jsp?arnumber=6679414"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDM.2014.142"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1569901.1570031"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2658779.2658809"},{"key":"e_1_3_2_2_12_1","volume-title":"Muhammad Zubair Malik, and Sarfraz Khurshid","author":"Gopinath Divya","year":"2011","unstructured":"Divya Gopinath , Muhammad Zubair Malik, and Sarfraz Khurshid . 2011 . Specification-based Program Repair Using SAT. In Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Part of the Joint European Conferences on Theory and Practice of Software (TACAS\u201911\/ETAPS\u201911) . SpringerVerlag , Berlin, Heidelberg, 173\u2013188. http:\/\/dl.acm.org\/citation.cfm? id=1987389.1987408 Divya Gopinath, Muhammad Zubair Malik, and Sarfraz Khurshid. 2011. Specification-based Program Repair Using SAT. In Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Part of the Joint European Conferences on Theory and Practice of Software (TACAS\u201911\/ETAPS\u201911) . SpringerVerlag, Berlin, Heidelberg, 173\u2013188. http:\/\/dl.acm.org\/citation.cfm? id=1987389.1987408"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2454513"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635912"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192387"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3051457.3051467"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1930464.1930480"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_23"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950363"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.60"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984031"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/2157654.2157671"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837617"},{"key":"e_1_3_2_2_24_1","article-title":"A Brief Guide To Understanding MOOCs","volume":"1","author":"Masters Ken","year":"2011","unstructured":"Ken Masters . 2011 . A Brief Guide To Understanding MOOCs . The Internet Journal of Medical Education 1 , 2 (2011). Ken Masters. 2011. A Brief Guide To Understanding MOOCs. The Internet Journal of Medical Education 1, 2 (2011).","journal-title":"The Internet Journal of Medical Education"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2566486.2568023"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s40593-015-0070-z"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.44"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462195"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/11560548_6"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1999747.1999832"},{"key":"e_1_3_2_2_32_1","unstructured":"Michael Striewe and Michael Goedicke. 2013. Trace Alignment for Automated Tutoring. In CAA.  Michael Striewe and Michael Goedicke. 2013. Trace Alignment for Automated Tutoring. In CAA."},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3027063.3053187"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/322139.322143"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593833.2593838"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486941"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"crossref","unstructured":"Takeaki Uno. 1997. Algorithms for Enumerating All Perfect Maximum and Maximal Matchings in Bipartite Graphs. In ISAAC. 92\u2013101.   Takeaki Uno. 1997. Algorithms for Enumerating All Perfect Maximum and Maximal Matchings in Bipartite Graphs. In ISAAC. 92\u2013101.","DOI":"10.1007\/3-540-63890-3_11"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106262"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1137\/0218082"}],"event":{"name":"PLDI '18: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Philadelphia PA USA","acronym":"PLDI '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192387","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3192366.3192387","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:07:53Z","timestamp":1750198073000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192387"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,11]]},"references-count":38,"alternative-id":["10.1145\/3192366.3192387","10.1145\/3192366"],"URL":"https:\/\/doi.org\/10.1145\/3192366.3192387","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3296979.3192387","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,6,11]]},"assertion":[{"value":"2018-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}