{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:26:05Z","timestamp":1725794765392},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,6,13]],"date-time":"2016-06-13T00:00:00Z","timestamp":1465776000000},"content-version":"vor","delay-in-days":11,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF","award":["1527923"]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,6,2]]},"DOI":"10.1145\/2908080.2908099","type":"proceedings-article","created":{"date-parts":[[2016,6,2]],"date-time":"2016-06-02T19:23:42Z","timestamp":1464895422000},"page":"42-56","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":50,"title":["Data-driven precondition inference with learned features"],"prefix":"10.1145","author":[{"given":"Saswat","family":"Padhi","sequence":"first","affiliation":[{"name":"University of California at Los Angeles, USA"}]},{"given":"Rahul","family":"Sharma","sequence":"additional","affiliation":[{"name":"Stanford University, USA"}]},{"given":"Todd","family":"Millstein","sequence":"additional","affiliation":[{"name":"University of California at Los Angeles, USA"}]}],"member":"320","published-online":{"date-parts":[[2016,6,2]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"950","volume-title":"Computer Aided Verification - 25th International Conference","author":"Albarghouthi A.","year":"2013","unstructured":"A. Albarghouthi , S. Gulwani , and Z. Kincaid . Recursive program synthesis . In Computer Aided Verification - 25th International Conference , pages 934\u2013 950 , 2013 . A. Albarghouthi, S. Gulwani, and Z. Kincaid. Recursive program synthesis. In Computer Aided Verification - 25th International Conference, pages 934\u2013950, 2013."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2049697.2049700"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542517"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2396761.2398507"},{"key":"e_1_3_2_1_5_1","first-page":"169","volume-title":"Computer Aided Verification - 12th International Conference","author":"Clarke E. M.","year":"2000","unstructured":"E. M. Clarke , O. Grumberg , S. Jha , Y. Lu , and H. Veith . Counterexample-guided abstraction refinement . In Computer Aided Verification - 12th International Conference , pages 154\u2013 169 , 2000 . E. M. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith. Counterexample-guided abstraction refinement. In Computer Aided Verification - 12th International Conference, pages 154\u2013169, 2000."},{"key":"e_1_3_2_1_6_1","first-page":"432","volume-title":"Computer Aided Verification - 15th International Conference","author":"Col\u00f3n M.","year":"2003","unstructured":"M. Col\u00f3n , S. Sankaranarayanan , and H. Sipma . Linear invariant generation using non-linear constraint solving . In Computer Aided Verification - 15th International Conference , pages 420\u2013 432 , 2003 . M. Col\u00f3n, S. Sankaranarayanan, and H. Sipma. Linear invariant generation using non-linear constraint solving. In Computer Aided Verification - 15th International Conference, pages 420\u2013432, 2003."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022627411411"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512770"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35873-9_10"},{"volume-title":"A Discipline of Programming","year":"1976","author":"Dijkstra E. W.","key":"e_1_3_2_1_11_1","unstructured":"E. W. Dijkstra . A Discipline of Programming . Prentice-Hall , Englewood Cliffs , New Jersey, 1976 . E. W. Dijkstra. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, New Jersey, 1976."},{"volume-title":"Springer","year":"2013","author":"Dillig I.","key":"e_1_3_2_1_12_1","unstructured":"I. Dillig and T. Dillig . Explain: A tool for performing abductive inference. In Computer Aided Verification - 25th International Conference, pages 684\u2013689 . Springer , 2013 . I. Dillig and T. Dillig. Explain: A tool for performing abductive inference. In Computer Aided Verification - 25th International Conference, pages 684\u2013689. Springer, 2013."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509511"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"e_1_3_2_1_15_1","first-page":"30","volume-title":"Formal Verification of Object-Oriented Software - International Conference","author":"F\u00e4hndrich M.","year":"2010","unstructured":"M. F\u00e4hndrich and F. Logozzo . Static contract checking with abstract interpretation . In Formal Verification of Object-Oriented Software - International Conference , pages 10\u2013 30 , 2010 . M. F\u00e4hndrich and F. Logozzo. Static contract checking with abstract interpretation. In Formal Verification of Object-Oriented Software - International Conference, pages 10\u201330, 2010."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737977"},{"key":"e_1_3_2_1_17_1","first-page":"669","volume-title":"Proceedings of the 1994 International Symposium","author":"Fil\u00e9 G.","year":"1994","unstructured":"G. Fil\u00e9 and F. Ranzato . Improving abstract interpretations by systematic lifting to the powerset. In Logic Programming , Proceedings of the 1994 International Symposium , pages 655\u2013 669 , 1994 . G. Fil\u00e9 and F. Ranzato. Improving abstract interpretations by systematic lifting to the powerset. In Logic Programming, Proceedings of the 1994 International Symposium, pages 655\u2013669, 1994."},{"key":"e_1_3_2_1_18_1","first-page":"53","volume-title":"Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference","author":"Galeotti J. P.","year":"2014","unstructured":"J. P. Galeotti , C. A. Furia , E. May , G. Fraser , and A. Zeller . Dynamate: Dynamically inferring loop invariants for automatic full functional verification . In Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference , pages 48\u2013 53 , 2014 . J. P. Galeotti, C. A. Furia, E. May, G. Fraser, and A. Zeller. Dynamate: Dynamically inferring loop invariants for automatic full functional verification. In Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, pages 48\u201353, 2014."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_5"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837664"},{"key":"e_1_3_2_1_21_1","first-page":"323","volume-title":"Computer Aided Verification - 27th International Conference","author":"Gehr T.","year":"2015","unstructured":"T. Gehr , D. Dimitrov , and M. T. Vechev . Learning commutativity specifications . In Computer Aided Verification - 27th International Conference , pages 307\u2013 323 , 2015 . T. Gehr, D. Dimitrov, and M. T. Vechev. Learning commutativity specifications. In Computer Aided Verification - 27th International Conference, pages 307\u2013323, 2015."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27940-9_16"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/8.4.457"},{"key":"e_1_3_2_1_24_1","first-page":"365","volume-title":"14th International Symposium","author":"Gopan D.","year":"2007","unstructured":"D. Gopan and T. W. Reps . Guided static analysis. In Static Analysis , 14th International Symposium , pages 349\u2013 365 , 2007 . D. Gopan and T. W. Reps. Guided static analysis. In Static Analysis, 14th International Symposium, pages 349\u2013 365, 2007."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190258"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375616"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_24"},{"volume-title":"Software Abstractions: Logic, Language, and Analysis","year":"2006","author":"Jackson D.","key":"e_1_3_2_1_28_1","unstructured":"D. Jackson . Software Abstractions: Logic, Language, and Analysis . MIT Press , 2006 . D. Jackson. Software Abstractions: Logic, Language, and Analysis. MIT Press, 2006."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11319-2_15"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3897.001.0001","volume-title":"An Introduction to Computational Learning Theory","author":"Kearns M. J.","year":"1994","unstructured":"M. J. Kearns and U. V. Vazirani . An Introduction to Computational Learning Theory . The MIT Press , Cambridge, Massachusetts , 1994 . M. J. Kearns and U. V. Vazirani. An Introduction to Computational Learning Theory. The MIT Press, Cambridge, Massachusetts, 1994."},{"key":"e_1_3_2_1_32_1","first-page":"343","volume-title":"Programming Languages and Systems - 8th Asian Symposium","author":"Kong S.","year":"2010","unstructured":"S. Kong , Y. Jung , C. David , B. Wang , and K. Yi . Automatically inferring quantified loop invariants by algorithmic learning from simple templates . In Programming Languages and Systems - 8th Asian Symposium , pages 328\u2013 343 , 2010 . S. Kong, Y. Jung, C. David, B. Wang, and K. Yi. Automatically inferring quantified loop invariants by algorithmic learning from simple templates. In Programming Languages and Systems - 8th Asian Symposium, pages 328\u2013343, 2010."},{"volume-title":"Learning invariants using decision trees. CoRR, abs\/1501.04725","year":"2015","author":"Krishna S.","key":"e_1_3_2_1_33_1","unstructured":"S. Krishna , C. Puhrsch , and T. Wies . Learning invariants using decision trees. CoRR, abs\/1501.04725 , 2015 . S. Krishna, C. Puhrsch, and T. Wies. Learning invariants using decision trees. CoRR, abs\/1501.04725, 2015."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_43"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31987-0_2"},{"key":"e_1_3_2_1_37_1","first-page":"202","volume-title":"9th International Conference","author":"Moy Y.","year":"2008","unstructured":"Y. Moy . Sufficient preconditions for modular assertion checking. In Verification, Model Checking, and Abstract Interpretation , 9th International Conference , pages 188\u2013 202 , 2008 . Y. Moy. Sufficient preconditions for modular assertion checking. In Verification, Model Checking, and Abstract Interpretation, 9th International Conference, pages 188\u2013202, 2008."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566213"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587054"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022643204877"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/11823230_2"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390666"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568285"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_25"},{"key":"e_1_3_2_1_45_1","first-page":"254","volume-title":"Programming Languages and Systems - 12th Asian Symposium","author":"Seghir M. N.","year":"2014","unstructured":"M. N. Seghir and P. Schrammel . Necessary and sufficient preconditions via eager abstraction . In Programming Languages and Systems - 12th Asian Symposium , pages 236\u2013 254 , 2014 . M. N. Seghir and P. Schrammel. Necessary and sufficient preconditions via eager abstraction. In Programming Languages and Systems - 12th Asian Symposium, pages 236\u2013254, 2014."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_6"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_11"},{"key":"e_1_3_2_1_48_1","first-page":"411","volume-title":"Static Analysis - 20th International Symposium","author":"Sharma R.","year":"2013","unstructured":"R. Sharma , S. Gupta , B. Hariharan , A. Aiken , and A. V. Nori . Verification as learning geometric concepts . In Static Analysis - 20th International Symposium , pages 388\u2013 411 , 2013 . R. Sharma, S. Gupta, B. Hariharan, A. Aiken, and A. V. Nori. Verification as learning geometric concepts. In Static Analysis - 20th International Symposium, pages 388\u2013411, 2013."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814278"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706337"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491456"}],"event":{"name":"PLDI '16: ACM SIGPLAN Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Santa Barbara CA USA","acronym":"PLDI '16"},"container-title":["Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2908080.2908099","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T12:00:19Z","timestamp":1693828819000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2908080.2908099"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,2]]},"references-count":50,"alternative-id":["10.1145\/2908080.2908099","10.1145\/2908080"],"URL":"https:\/\/doi.org\/10.1145\/2908080.2908099","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2980983.2908099","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,6,2]]},"assertion":[{"value":"2016-06-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}