{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,19]],"date-time":"2026-09-19T00:49:21Z","timestamp":1789778961722,"version":"4.0.1"},"publisher-location":"New York, NY, USA","reference-count":103,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,6,2]],"date-time":"2017-06-02T00:00:00Z","timestamp":1496361600000},"content-version":"vor","delay-in-days":365,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-0939370"],"award-info":[{"award-number":["CCF-0939370"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,6,2]]},"DOI":"10.1145\/2908080.2908125","type":"proceedings-article","created":{"date-parts":[[2016,6,2]],"date-time":"2016-06-02T15:23:42Z","timestamp":1464881022000},"page":"491-507","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Automatically learning shape specifications"],"prefix":"10.1145","author":[{"given":"He","family":"Zhu","sequence":"first","affiliation":[{"name":"Purdue University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gustavo","family":"Petri","sequence":"additional","affiliation":[{"name":"University of Paris Diderot, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Suresh","family":"Jagannathan","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2016,6,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-61499-495-4-1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032320"},{"key":"e_1_3_2_1_4_1","unstructured":"doi: 10.1007\/ 978-3-642-22110-1_15."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-012-9123-1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480917"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328469"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1145\/1328438.","DOI":"10.1145\/1328438"},{"key":"e_1_3_2_1_9_1","unstructured":"1328469."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993526"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1145\/1993498.1993526.","DOI":"10.1145\/1993498.1993526"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1145\/351240.351266.","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03359-9_2"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498"},{"key":"e_1_3_2_1_17_1","unstructured":"1993565."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/647540.730008"},{"key":"e_1_3_2_1_20_1","unstructured":"doi: 10.1007\/ 3-540-45251-6_29."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_5"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837664"},{"key":"e_1_3_2_1_24_1","volume-title":"CAV","author":"Gehr T.","year":"2015","unstructured":"T. Gehr, D. Dimitrov, and M. Vechev. Learning Commutativity Specifications. In CAV, 2015."},{"key":"e_1_3_2_1_25_1","unstructured":"doi: 10.1007\/ 978-3-319-21690-4_18."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254116"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1145\/2254064.2254116.","DOI":"10.1145\/2254064.2254116"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/647766.733618"},{"key":"e_1_3_2_1_29_1","unstructured":"doi: 10.1007\/ 3-540-63166-6_10."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250764"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_24"},{"key":"e_1_3_2_1_32_1","unstructured":"doi: 10.1007\/ 978-3-642-00768-2_24."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964021"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792759"},{"key":"e_1_3_2_1_35_1","volume-title":"CAV","author":"Itzhaky S.","year":"2013","unstructured":"S. Itzhaky, A. Banerjee, N. Immerman, A. Nanevski, and M. Sagiv. Effectively-Propositional Reasoning About Reachability in Linked Data Structures. In CAV, 2013. doi: 10. 1007\/978-3-642-39799-8_53."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535854"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_3"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1667048.1667050"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628159"},{"key":"e_1_3_2_1_40_1","unstructured":"doi: 10. 1145\/2628136.2628159."},{"key":"e_1_3_2_1_41_1","volume-title":"CAV","author":"Karbyshev A.","year":"2015","unstructured":"A. Karbyshev, N. Bjorner, S. Itzhaky, N. Rinetzky, and S. Shoham. Property-Directed Inference of Universal Invariants or Proving Their Absence. In CAV, 2015. doi: 10. 1007\/978-3-319-21690-4_40."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542510"},{"key":"e_1_3_2_1_43_1","unstructured":"doi: 10.1145\/ 1542476.1542510."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328461"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1145\/1328438.1328461.","DOI":"10.1145\/1328438.1328461"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_4"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1007\/978-3-319-08867-9_4.","DOI":"10.1007\/978-3-319-08867-9_4"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939141.1939161"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.5555\/647169.718161"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/11532231_8"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_50"},{"key":"e_1_3_2_1_52_1","unstructured":"doi: 10.1007\/ 11513988_50."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103673"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30579-8_13"},{"key":"e_1_3_2_1_55_1","unstructured":"doi: 10.1007\/ 978-3-540-30579-8_13."},{"issue":"6","key":"e_1_3_2_1_56_1","first-page":"1417","volume":"35","author":"McCluskey E. J.","year":"1956","unstructured":"E. J. McCluskey. Minimization of Boolean Functions. Bell system technical Journal, 35(6):1417\u20131444, 1956.","journal-title":"Journal"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.5555\/1763048.1763074"},{"key":"e_1_3_2_1_58_1","unstructured":"doi: 10.1007\/ 978-3-540-69738-1_18."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737971"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1145\/2737924.2737971.","DOI":"10.1145\/2737924.2737971"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568275"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594325"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2013.01.006"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9161-6"},{"key":"e_1_3_2_1_65_1","unstructured":"doi: 10.1007\/ s10817-009-9161-6."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_9"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_47"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462169"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1145\/2462156.2462169.","DOI":"10.1145\/2462156.2462169"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24622-0_21"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375602"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_6"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1007\/978-3-319-08867-9_6.","DOI":"10.1007\/978-3-319-08867-9_6"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_11"},{"key":"e_1_3_2_1_75_1","unstructured":"doi: 10.1007\/ 978-3-642-31424-7_11."},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_31"},{"key":"e_1_3_2_1_77_1","unstructured":"doi: 10.1007\/ 978-3-642-37036-6_31."},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38856-9_21"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1007\/978-3-642-38856-9_21.","DOI":"10.1007\/978-3-642-38856-9_21"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.5555\/1714168"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542501"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1145\/1542476.1542501.","DOI":"10.1145\/1542476.1542501"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-014-9165-7"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706325"},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1145\/1706299.1706325.","DOI":"10.1145\/1706299.1706325"},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.5555\/2041552.2041575"},{"key":"e_1_3_2_1_87_1","unstructured":"doi: 10.1007\/ 978-3-642-23702-7_23."},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs"},{"key":"e_1_3_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628161"},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1145\/2628136.2628161.","DOI":"10.1145\/2628136.2628161"},{"key":"e_1_3_2_1_91_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784745"},{"key":"e_1_3_2_1_92_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292560"},{"key":"e_1_3_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_36"},{"key":"e_1_3_2_1_94_1","unstructured":"doi: 10.1007\/ 978-3-540-70545-1_36."},{"key":"e_1_3_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24730-2_39"},{"key":"e_1_3_2_1_96_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1007\/978-3-540-24730-2_ 39.","DOI":"10.1007\/978-3-540-24730-2_"},{"key":"e_1_3_2_1_97_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146255"},{"key":"e_1_3_2_1_98_1","doi-asserted-by":"publisher","DOI":"10.1007\/11690634_7"},{"key":"e_1_3_2_1_99_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375624"},{"key":"e_1_3_2_1_100_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784766"},{"key":"e_1_3_2_1_101_1","unstructured":"2784766."},{"key":"e_1_3_2_1_102_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46081-8_23"},{"key":"e_1_3_2_1_103_1","volume-title":"Purdue Univsersity","author":"Zhu H.","year":"2016","unstructured":"H. Zhu, G. Petri, and S. Jagannathan. Automatically Learning Shape Specifications. Technical report, Purdue Univsersity, 2016."}],"event":{"name":"PLDI '16: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Santa Barbara CA USA","acronym":"PLDI '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2908080.2908125","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2908080.2908125","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2908080.2908125","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:19:20Z","timestamp":1763457560000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2908080.2908125"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,2]]},"references-count":103,"alternative-id":["10.1145\/2908080.2908125","10.1145\/2908080"],"URL":"https:\/\/doi.org\/10.1145\/2908080.2908125","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2980983.2908125","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,6,2]]},"assertion":[{"value":"2016-06-02","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}