{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:00Z","timestamp":1772164080259,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,1,11]],"date-time":"2016-01-11T00:00:00Z","timestamp":1452470400000},"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,1,11]]},"DOI":"10.1145\/2837614.2837671","type":"proceedings-article","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T09:05:00Z","timestamp":1452157500000},"page":"761-774","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":58,"title":["Learning programs from noisy data"],"prefix":"10.1145","author":[{"given":"Veselin","family":"Raychev","sequence":"first","affiliation":[{"name":"ETH Zurich, Switzerland"}]},{"given":"Pavol","family":"Bielik","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}]},{"given":"Martin","family":"Vechev","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}]},{"given":"Andreas","family":"Krause","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2016,1,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"MSR","author":"LLAMANIS M.","year":"2013","unstructured":"A LLAMANIS , M. , AND S U TTON , C. Mining source code repositories at massive scale using language modeling . In MSR ( 2013 ). A LLAMANIS, M., AND S UTTON, C. Mining source code repositories at massive scale using language modeling. In MSR (2013)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635901"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of the Second International Conference on Genetic Algorithms on Genetic Algorithms and Their Application","author":"AKER J. E.","year":"1987","unstructured":"B AKER , J. E. Reducing bias and inefficiency in the selection algorithm . In Proceedings of the Second International Conference on Genetic Algorithms on Genetic Algorithms and Their Application ( Hillsdale, NJ, USA , 1987 ), L. Erlbaum Associates Inc., pp. 14\u201321. B AKER, J. E. Reducing bias and inefficiency in the selection algorithm. In Proceedings of the Second International Conference on Genetic Algorithms on Genetic Algorithms and Their Application (Hillsdale, NJ, USA, 1987), L. Erlbaum Associates Inc., pp. 14\u201321."},{"key":"e_1_3_2_1_4_1","volume-title":"Genetic Programming: An Introduction: on the Automatic Evolution of Computer Programs and Its Applications","author":"ANZHAF W.","year":"1998","unstructured":"B ANZHAF , W. , F RANCONE , F. D. , K ELLER , R. E. , AND N O RDIN , P. Genetic Programming: An Introduction: on the Automatic Evolution of Computer Programs and Its Applications . Morgan Kaufmann Publishers Inc ., San Francisco, CA, USA, 1998 . B ANZHAF, W., F RANCONE, F. D., K ELLER, R. E., AND N ORDIN, P. Genetic Programming: An Introduction: on the Automatic Evolution of Computer Programs and Its Applications. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1998."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660207"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1541880.1541882"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535859"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 1st International Conference on Genetic Algorithms","author":"RAMER N. L.","year":"1985","unstructured":"C RAMER , N. L. A representation for the adaptive generation of simple sequential programs . In Proceedings of the 1st International Conference on Genetic Algorithms ( Hillsdale, NJ, USA , 1985 ), L. Erlbaum Associates Inc., pp. 183\u2013187. C RAMER, N. L. A representation for the adaptive generation of simple sequential programs. In Proceedings of the 1st International Conference on Genetic Algorithms (Hillsdale, NJ, USA, 1985), L. Erlbaum Associates Inc., pp. 183\u2013187."},{"key":"e_1_3_2_1_9_1","first-page":"340","volume-title":"Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"OURA L.","year":"2008","unstructured":"D E M OURA , L. , AND B J\u00d8 RNER , N. Z3 : An efficient smt solver . In Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems ( Berlin, Heidelberg , 2008 ), TACAS\u201908\/ETAPS\u201908, Springer-Verlag, pp. 337\u2013 340 . D E M OURA, L., AND B J\u00d8RNER, N. Z3: An efficient smt solver. In Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Berlin, Heidelberg, 2008), TACAS\u201908\/ETAPS\u201908, Springer-Verlag, pp. 337\u2013340."},{"key":"e_1_3_2_1_10_1","unstructured":"Github code search. https:\/\/github.com\/search.  Github code search. https:\/\/github.com\/search."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1836089.1836091"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926423"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993506"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462192"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007352.1007400"},{"key":"e_1_3_2_1_16_1","first-page":"847","volume-title":"Proceedings of the 34th International Conference on Software Engineering","author":"INDLE A.","year":"2012","unstructured":"H INDLE , A. , B ARR , E. T. , S U, Z., G ABEL , M. , AND D EV ANBU , P. On the naturalness of software . In Proceedings of the 34th International Conference on Software Engineering ( Piscataway, NJ, USA , 2012 ), ICSE \u201912, IEEE Press, pp. 837\u2013 847 . H INDLE, A., B ARR, E. T., S U, Z., G ABEL, M., AND D EVANBU, P. On the naturalness of software. In Proceedings of the 34th International Conference on Software Engineering (Piscataway, NJ, USA, 2012), ICSE \u201912, IEEE Press, pp. 837\u2013847."},{"key":"e_1_3_2_1_17_1","first-page":"1","volume":"36","author":"UTTER F.","year":"2009","unstructured":"H UTTER , F. , H OOS , H. H. , L EYTON -B ROWN , K., AND S T \u00dc TZLE , T. Paramils: An automatic algorithm configuration framework. J. Artif. Int. Res. 36 , 1 ( Sept. 2009 ), 267\u2013306. H UTTER, F., H OOS, H. H., L EYTON -B ROWN, K., AND S T \u00dcTZLE, T. Paramils: An automatic algorithm configuration framework. J. Artif. Int. Res. 36, 1 (Sept. 2009), 267\u2013306.","journal-title":"J. Artif. Int. Res."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594333"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-52936-7.50016-1"},{"key":"e_1_3_2_1_22_1","first-page":"195","volume-title":"Proceedings of the 30th International Conference on Machine Learning, ICML 2013","author":"ENON A. K.","year":"2013","unstructured":"M ENON , A. K. , T AMUZ , O. , G ULWANI , S. , L AMPSON , B. W. , AND K ALAI , A. A machine learning framework for programming by example . In Proceedings of the 30th International Conference on Machine Learning, ICML 2013 , Atlanta, GA, USA , 16-21 June 2013 (2013), pp. 187\u2013 195 . M ENON, A. K., T AMUZ, O., G ULWANI, S., L AMPSON, B. W., AND K ALAI, A. A machine learning framework for programming by example. In Proceedings of the 30th International Conference on Machine Learning, ICML 2013, Atlanta, GA, USA, 16-21 June 2013 (2013), pp. 187\u2013195."},{"key":"e_1_3_2_1_23_1","volume-title":"Machine Learning, 1 ed","author":"ITCHELL T. M.","year":"1997","unstructured":"M ITCHELL , T. M. Machine Learning, 1 ed . McGraw-Hill, Inc. , New York, NY, USA , 1997 . M ITCHELL, T. M. Machine Learning, 1 ed. McGraw-Hill, Inc., New York, NY, USA, 1997."},{"key":"e_1_3_2_1_24_1","first-page":"868","volume-title":"Proceedings of the 37th International Conference on Software Engineering -","volume":"1","author":"GUYEN A. T.","year":"2015","unstructured":"N GUYEN , A. T. , AND N G UYEN , T. N. Graph-based statistical language model for code . In Proceedings of the 37th International Conference on Software Engineering - Volume 1 (Piscataway, NJ, USA, 2015 ), ICSE \u201915, IEEE Press , pp. 858\u2013 868 . N GUYEN, A. T., AND N GUYEN, T. N. Graph-based statistical language model for code. In Proceedings of the 37th International Conference on Software Engineering - Volume 1 (Piscataway, NJ, USA, 2015), ICSE \u201915, IEEE Press, pp. 858\u2013868."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491458"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737982"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.3115\/1075096.1075117"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737959"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677009"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594321"},{"key":"e_1_3_2_1_32_1","first-page":"415","volume-title":"ASPLOS","author":"OLAR ZAMA","year":"2006","unstructured":"S OLAR -L E ZAMA , A., T ANCAU , L. , B OD \u00b4 IK, R ., S ESHIA , S. A. , AND S ARA SWAT , V. A. Combinatorial sketching for finite programs . In ASPLOS ( 2006 ), pp. 404\u2013 415 . S OLAR -L EZAMA, A., T ANCAU, L., B OD \u00b4 IK, R., S ESHIA, S. A., AND S ARASWAT, V. A. Combinatorial sketching for finite programs. In ASPLOS (2006), pp. 404\u2013415."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038666"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706338"},{"key":"e_1_3_2_1_35_1","volume-title":"Inc.","author":"ARREN H. S.","year":"2002","unstructured":"W ARREN , H. S. Hacker\u2019s Delight. Addison-Wesley Longman Publishing Co ., Inc. , Boston, MA, USA , 2002 . W ARREN, H. S. Hacker\u2019s Delight. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2002."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/18.87000"}],"event":{"name":"POPL '16: The 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"St. Petersburg FL USA","acronym":"POPL '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2837614.2837671","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2837614.2837671","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:43:38Z","timestamp":1750211018000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2837614.2837671"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,11]]},"references-count":34,"alternative-id":["10.1145\/2837614.2837671","10.1145\/2837614"],"URL":"https:\/\/doi.org\/10.1145\/2837614.2837671","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2914770.2837671","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,1,11]]},"assertion":[{"value":"2016-01-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}