{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T11:52:39Z","timestamp":1779105159273,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,11,1]],"date-time":"2016-11-01T00:00:00Z","timestamp":1477958400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1145\/2950290.2950363","type":"proceedings-article","created":{"date-parts":[[2016,11,1]],"date-time":"2016-11-01T13:46:03Z","timestamp":1478007963000},"page":"739-750","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":50,"title":["Semi-supervised verified feedback generation"],"prefix":"10.1145","author":[{"given":"Shalini","family":"Kaleeswaran","sequence":"first","affiliation":[{"name":"Indian Institute of Science, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anirudh","family":"Santhiar","sequence":"additional","affiliation":[{"name":"Indian Institute of Science, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aditya","family":"Kanade","sequence":"additional","affiliation":[{"name":"Indian Institute of Science, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sumit","family":"Gulwani","sequence":"additional","affiliation":[{"name":"Microsoft Research, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"www.acm.org\/public-policy\/education-policy-committee.  www.acm.org\/public-policy\/education-policy-committee."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90023-5"},{"key":"e_1_3_2_1_3_1","volume-title":"Compilers: Principles, Techniques, and Tools. Pearson","author":"Aho A. V.","year":"2006","unstructured":"A. V. Aho , M. S. Lam , R. Sethi , and J. D. Ullman . Compilers: Principles, Techniques, and Tools. Pearson , 2 nd edition, 2006 . A. V. Aho, M. S. Lam, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Pearson, 2nd edition, 2006.","edition":"2"},{"key":"e_1_3_2_1_4_1","first-page":"1982","volume-title":"IJCAI","author":"Alur R.","unstructured":"R. Alur , L. D\u2019Antoni , S. Gulwani , D. Kini , and M. Viswanathan . Automated grading of DFA constructions . In IJCAI , pages 1976\u2013 1982 . Springer, 2013. R. Alur, L. D\u2019Antoni, S. Gulwani, D. Kini, and M. Viswanathan. Automated grading of DFA constructions. In IJCAI, pages 1976\u20131982. Springer, 2013."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1370175.1370223"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771796"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_29"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/862270"},{"key":"e_1_3_2_1_9_1","first-page":"224","volume-title":"OSDI","author":"Cadar C.","unstructured":"C. Cadar , D. Dunbar , and D. R. Engler . KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs . In OSDI , pages 209\u2013 224 . USENIX Association, 2008. C. Cadar, D. Dunbar, and D. R. Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In OSDI, pages 209\u2013224. USENIX Association, 2008."},{"key":"e_1_3_2_1_10_1","first-page":"340","volume-title":"TACAS","author":"De Moura L.","unstructured":"L. De Moura and N. Bj\u00f8rner . Z3: An efficient SMT solver . In TACAS , pages 337\u2013 340 . Springer, 2008. L. De Moura and N. Bj\u00f8rner. Z3: An efficient SMT solver. In TACAS, pages 337\u2013340. Springer, 2008."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.66"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2699751"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2556325.2567865"},{"key":"e_1_3_2_1_14_1","first-page":"188","volume-title":"TACAS","author":"Gopinath D.","unstructured":"D. Gopinath , Z. M. Malik , and S. Khurshid . Specification-based program repair using SAT . In TACAS , pages 173\u2013 188 . Springer, 2011. D. Gopinath, Z. M. Malik, and S. Khurshid. Specification-based program repair using SAT. In TACAS, pages 173\u2013188. Springer, 2011."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30950-2_127"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635912"},{"key":"e_1_3_2_1_18_1","first-page":"10","volume-title":"WCRE","author":"Harman M.","unstructured":"M. Harman , W. B. Langdon , and W. Weimer . Genetic programming for reverse engineering . In WCRE , pages 1\u2013 10 . IEEE Computer Society, 2013. M. Harman, W. B. Langdon, and W. Weimer. Genetic programming for reverse engineering. In WCRE, pages 1\u201310. IEEE Computer Society, 2013."},{"key":"e_1_3_2_1_19_1","first-page":"280","volume-title":"FASE","author":"He H.","unstructured":"H. He and N. Gupta . Automated debugging using path-based weakest preconditions . In FASE , pages 267\u2013 280 . Springer, 2004. H. He and N. Gupta. Automated debugging using path-based weakest preconditions. In FASE, pages 267\u2013280. Springer, 2004."},{"key":"e_1_3_2_1_20_1","volume-title":"AIED. CEUR-WS.org","author":"Huang J.","year":"2013","unstructured":"J. Huang , C. Piech , A. Nguyen , and L. J. Guibas . Syntactic and functional variability of a million code submissions in a machine learning MOOC . In AIED. CEUR-WS.org , 2013 . J. Huang, C. Piech, A. Nguyen, and L. J. Guibas. Syntactic and functional variability of a million code submissions in a machine learning MOOC. In AIED. CEUR-WS.org, 2013."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1930464.1930480"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_23"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568258"},{"key":"e_1_3_2_1_25_1","first-page":"100","volume-title":"FMCAD","author":"Konighofer R.","unstructured":"R. Konighofer and R. Bloem . Automated error localization and correction for imperative programs . In FMCAD , pages 91\u2013 100 . FMCAD Inc., 2011. R. Konighofer and R. Bloem. Automated error localization and correction for imperative programs. In FMCAD, pages 91\u2013100. FMCAD Inc., 2011."},{"key":"e_1_3_2_1_26_1","first-page":"88","volume-title":"CGO","author":"Lattner C.","unstructured":"C. Lattner and V. Adve . LLVM: A compilation framework for lifelong program analysis & transformation . In CGO , pages 75\u2013 88 . IEEE Computer Society, 2004. C. Lattner and V. Adve. LLVM: A compilation framework for lifelong program analysis & transformation. In CGO, pages 75\u201388. IEEE Computer Society, 2004."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384626"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786811"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837617"},{"key":"e_1_3_2_1_31_1","first-page":"458","volume-title":"ICSE","author":"Mechtaev S.","unstructured":"S. Mechtaev , J. Yi , and A. Roychoudhury . DirectFix: Looking for simple program repairs . In ICSE , pages 448\u2013 458 . IEEE Computer Society, 2015. S. Mechtaev, J. Yi, and A. Roychoudhury. DirectFix: Looking for simple program repairs. In ICSE, pages 448\u2013458. IEEE Computer Society, 2015."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"key":"e_1_3_2_1_33_1","first-page":"1293","volume-title":"AAAI","author":"Mou L.","unstructured":"L. Mou , G. Li , L. Zhang , T. Wang , and Z. Jin . Convolutional neural networks over tree structures for programming language processing . In AAAI , pages 1287\u2013 1293 . AAAI Press, 2016. L. Mou, G. Li, L. Zhang, T. Wang, and Z. Jin. Convolutional neural networks over tree structures for programming language processing. In AAAI, pages 1287\u20131293. AAAI Press, 2016."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/11547662_18"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349314"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2566486.2568023"},{"key":"e_1_3_2_1_37_1","first-page":"781","volume-title":"ICSE","author":"Nguyen H. D.","unstructured":"H. D. Nguyen , D. Qi , A. Roychoudhury , and S. Chandra . SemFix: Program repair via semantic analysis . In ICSE , pages 772\u2013 781 . IEEE Computer Society, 2013. H. D. Nguyen, D. Qi, A. Roychoudhury, and S. Chandra. SemFix: Program repair via semantic analysis. In ICSE, pages 772\u2013781. IEEE Computer Society, 2013."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660245"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100080"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25159-2_49"},{"key":"e_1_3_2_1_41_1","first-page":"1102","volume-title":"ICML","author":"Piech C.","unstructured":"C. Piech , J. Huang , A. Nguyen , M. Phulsuksombati , M. Sahami , and L. J. Guibas . Learning program embeddings to propagate feedback on student code . In ICML , pages 1093\u2013 1102 . JMLR.org, 2015. C. Piech, J. Huang, A. Nguyen, M. Phulsuksombati, M. Sahami, and L. J. Guibas. Learning program embeddings to propagate feedback on student code. In ICML, pages 1093\u20131102. JMLR.org, 2015."},{"key":"e_1_3_2_1_42_1","first-page":"166","volume-title":"TACAS","author":"Pnueli A.","unstructured":"A. Pnueli , M. Siegel , and E. Singerman . Translation validation . In TACAS , pages 151\u2013 166 . Springer-Verlag, 1998. A. Pnueli, M. Siegel, and E. Singerman. Translation validation. In TACAS, pages 151\u2013166. Springer-Verlag, 1998."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048076"},{"key":"e_1_3_2_1_44_1","first-page":"59","volume-title":"AIED","author":"Rivers K.","unstructured":"K. Rivers and K. Koedinger . Automatic generation of programming feedback: A data-driven approach . In AIED , pages 4:50\u20134: 59 . CEUR-WS.org, 2013. K. Rivers and K. Koedinger. Automatic generation of programming feedback: A data-driven approach. In AIED, pages 4:50\u20134:59. CEUR-WS.org, 2013."},{"key":"e_1_3_2_1_45_1","series-title":"Lecture Notes in Computer Science","first-page":"284","volume-title":"Static Analysis","author":"Samanta R.","unstructured":"R. Samanta , O. Olivo , and E. Emerson . Cost-aware automatic program repair . In Static Analysis , Lecture Notes in Computer Science , pages 268\u2013 284 . Springer International Publishing, 2014. R. Samanta, O. Olivo, and E. Emerson. Cost-aware automatic program repair. In Static Analysis, Lecture Notes in Computer Science, pages 268\u2013284. Springer International Publishing, 2014."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462195"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831716"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1191799"}],"event":{"name":"FSE'16: 24nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering","location":"Seattle WA USA","acronym":"FSE'16","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2950290.2950363","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2950290.2950363","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:39:35Z","timestamp":1750217975000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2950290.2950363"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11]]},"references-count":47,"alternative-id":["10.1145\/2950290.2950363","10.1145\/2950290"],"URL":"https:\/\/doi.org\/10.1145\/2950290.2950363","relation":{},"subject":[],"published":{"date-parts":[[2016,11]]},"assertion":[{"value":"2016-11-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}