{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:43Z","timestamp":1772164003216,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,6,4]],"date-time":"2011-06-04T00:00:00Z","timestamp":1307145600000},"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":[[2011,6,4]]},"DOI":"10.1145\/1993498.1993557","type":"proceedings-article","created":{"date-parts":[[2011,6,6]],"date-time":"2011-06-06T07:53:52Z","timestamp":1307346832000},"page":"492-503","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":38,"title":["Path-based inductive synthesis for program inversion"],"prefix":"10.1145","author":[{"given":"Saurabh","family":"Srivastava","sequence":"first","affiliation":[{"name":"University of California, Berkeley, Berkeley, CA, USA"}]},{"given":"Sumit","family":"Gulwani","sequence":"additional","affiliation":[{"name":"Microsoft Research, Redmond, Redmond, WA, USA"}]},{"given":"Swarat","family":"Chaudhuri","sequence":"additional","affiliation":[{"name":"Pennsylvania State University, University Park, PA, USA"}]},{"given":"Jeffrey S.","family":"Foster","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park, College Park, CA, USA"}]}],"member":"320","published-online":{"date-parts":[[2011,6,4]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"CBMC. http:\/\/www.cprover.org\/cbmc\/.  CBMC. http:\/\/www.cprover.org\/cbmc\/."},{"key":"e_1_3_2_1_2_1","volume-title":"http:\/\/en.wikipedia.org\/wiki\/Lempel-Ziv-Welch and URLhttp:\/\/en.wikipedia.org\/wiki\/LZ77_and_LZ78","author":"LZW","unstructured":"LZW and LZ77. http:\/\/en.wikipedia.org\/wiki\/Lempel-Ziv-Welch and URLhttp:\/\/en.wikipedia.org\/wiki\/LZ77_and_LZ78 . LZW and LZ77. http:\/\/en.wikipedia.org\/wiki\/Lempel-Ziv-Welch and URLhttp:\/\/en.wikipedia.org\/wiki\/LZ77_and_LZ78."},{"key":"e_1_3_2_1_3_1","unstructured":"PINS. http:\/\/www.cs.umd.edu\/~saurabhs\/vs3\/PINS\/.  PINS. http:\/\/www.cs.umd.edu\/~saurabhs\/vs3\/PINS\/."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/100348.100410"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_32"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134029"},{"key":"e_1_3_2_1_7_1","unstructured":"Leonardo de~Moura and Nikolaj Bj\u00f8 rner. Z3 2008. http:\/\/research.microsoft.com\/projects\/Z3\/.  Leonardo de~Moura and Nikolaj Bj\u00f8 rner. Z3 2008. http:\/\/research.microsoft.com\/projects\/Z3\/."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Edsger~W. Dijkstra. Program inversion. In Program Construction http:\/\/www.cs.utexas.edu\/~EWD\/ewd06xx\/EWD671.PDF pages 54--57 London UK 1979. Springer-Verlag.   Edsger~W. Dijkstra. Program inversion. In Program Construction http:\/\/www.cs.utexas.edu\/~EWD\/ewd06xx\/EWD671.PDF pages 54--57 London UK 1979. Springer-Verlag.","DOI":"10.1007\/BFb0014657"},{"key":"e_1_3_2_1_9_1","first-page":"219","volume-title":"IJCAI","author":"Eppstein David","year":"1985","unstructured":"David Eppstein . A heuristic approach to program inversion . In IJCAI , pages 219 -- 221 , 1985 . David Eppstein. A heuristic approach to program inversion. In IJCAI, pages 219--221, 1985."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"issue":"4","key":"e_1_3_2_1_11_1","first-page":"367","article-title":"A method for automatic program inversion based on LR(0) parsing","volume":"66","author":"Gl\u00fcck Robert","year":"2005","unstructured":"Robert Gl\u00fcck and Masahiko Kawabe . A method for automatic program inversion based on LR(0) parsing . Fundam. Inf. , 66 ( 4 ): 367 -- 395 , 2005 . Robert Gl\u00fcck and Masahiko Kawabe. A method for automatic program inversion based on LR(0) parsing. Fundam. Inf., 66(4):367--395, 2005.","journal-title":"Fundam. Inf."},{"key":"e_1_3_2_1_12_1","volume-title":"The Science of Programming","author":"Gries David","year":"1987","unstructured":"David Gries . The Science of Programming . Springer-Verlag New York, Inc. , 1987 . David Gries. The Science of Programming. Springer-Verlag New York, Inc., 1987."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1836089.1836091"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926423"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993506"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993505"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375616"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_18"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806630"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993536"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869463"},{"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.1145\/1882291.1882332"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30557-6_17"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806632"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/357084.357090"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/362566.362568"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250752"},{"key":"e_1_3_2_1_30_1","first-page":"34","volume-title":"LU Decomposition and Its Applications","author":"Press William H.","year":"1993","unstructured":"William H. Press , Saul A. Teukolsky , William T. Vetterling , and Brian P. Flannery . LU Decomposition and Its Applications , chapter 2.3, pages 34 -- 42 . 1993 . William H. Press, Saul A. Teukolsky, William T. Vetterling, and Brian P. Flannery. LU Decomposition and Its Applications, chapter 2.3, pages 34--42. 1993."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211087"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.58788"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250754"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375599"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065045"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542501"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_58"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706337"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-93900-9_25"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1984.1659158"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-19072-4","volume-title":"Attribute grammar inversion and source-to-source translation","author":"Yellin M.","year":"1988","unstructured":"Daniel~ M. Yellin . Attribute grammar inversion and source-to-source translation . Springer-Verlag New York, Inc. , 1988 . Daniel~M. Yellin. Attribute grammar inversion and source-to-source translation. Springer-Verlag New York, Inc., 1988."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1977.1055714"}],"event":{"name":"PLDI '11: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"San Jose California USA","acronym":"PLDI '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1993498.1993557","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1993498.1993557","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:00:04Z","timestamp":1750230004000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1993498.1993557"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,4]]},"references-count":42,"alternative-id":["10.1145\/1993498.1993557","10.1145\/1993498"],"URL":"https:\/\/doi.org\/10.1145\/1993498.1993557","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1993316.1993557","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,6,4]]},"assertion":[{"value":"2011-06-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}