{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:42:06Z","timestamp":1780994526792,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,11]],"date-time":"2018-06-11T00:00:00Z","timestamp":1528675200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1253867, 1526270"],"award-info":[{"award-number":["1253867, 1526270"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["FA8750-15-2-0009"],"award-info":[{"award-number":["FA8750-15-2-0009"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,6,11]]},"DOI":"10.1145\/3192366.3192417","type":"proceedings-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T08:16:01Z","timestamp":1528791361000},"page":"722-735","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":42,"title":["User-guided program reasoning using Bayesian inference"],"prefix":"10.1145","author":[{"given":"Mukund","family":"Raghothaman","sequence":"first","affiliation":[{"name":"University of Pennsylvania, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sulekha","family":"Kulkarni","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kihong","family":"Heo","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mayur","family":"Naik","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,6,11]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Foundations of databases: The logical level","author":"Abiteboul Serge","unstructured":"Serge Abiteboul , Richard Hull , and Victor Vianu . 1994. Foundations of databases: The logical level ( 1 st ed.). Pearson . Serge Abiteboul, Richard Hull, and Victor Vianu. 1994. Foundations of databases: The logical level (1st ed.). Pearson.","edition":"1"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951948"},{"key":"e_1_3_2_2_3_1","volume-title":"30th European Conference on Object-Oriented Programming (ECOOP","volume":"56","author":"Avgustinov Pavel","year":"2016","unstructured":"Pavel Avgustinov , Oege de Moor , Michael Peyton Jones , and Max Sch\u00e4fer . 2016 . QL: Object-oriented queries on relational data . In 30th European Conference on Object-Oriented Programming (ECOOP 2016), Shriram Krishnamurthi and Benjamin S. Lerner (Eds.) , Vol. 56 . Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, 2:1\u20132:25. Pavel Avgustinov, Oege de Moor, Michael Peyton Jones, and Max Sch\u00e4fer. 2016. QL: Object-oriented queries on relational data. In 30th European Conference on Object-Oriented Programming (ECOOP 2016), Shriram Krishnamurthi and Benjamin S. Lerner (Eds.), Vol. 56. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, 2:1\u20132:25."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167488"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462188"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985827"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640108"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133925"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/2892753.2892792"},{"key":"e_1_3_2_2_10_1","unstructured":"Andy Chou. 2014. On detecting Heartbleed with static analysis. https:\/\/www.synopsys.com\/blogs\/software-security\/ detecting-heartbleed-with-static-analysis\/ . (2014).  Andy Chou. 2014. On detecting Heartbleed with static analysis. https:\/\/www.synopsys.com\/blogs\/software-security\/ detecting-heartbleed-with-static-analysis\/ . (2014)."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1316689.1316764"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254087"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555263"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.patrec.2005.10.010"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635869"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068414000076"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542490"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/215206.215372"},{"key":"e_1_3_2_2_19_1","volume-title":"Computers and intractability: A guide to the theory of NP-completeness","author":"Garey Michael","unstructured":"Michael Garey and David Johnson . 1979. Computers and intractability: A guide to the theory of NP-completeness . W. H. Freeman . Michael Garey and David Johnson. 1979. Computers and intractability: A guide to the theory of NP-completeness . W. H. Freeman."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41528-4_4"},{"key":"e_1_3_2_2_21_1","volume-title":"Introduction to Statistical Relational Learning,  Lise Getoor and Ben Taskar (Eds.)","author":"Getoor Lise","unstructured":"Lise Getoor , Nir Friedman , Daphne Koller , Avi Pfeffer , and Ben Taskar . 2007. Probabilistic relational models . In Introduction to Statistical Relational Learning, Lise Getoor and Ben Taskar (Eds.) . MIT Press , 129\u2013174. Lise Getoor, Nir Friedman, Daphne Koller, Avi Pfeffer, and Ben Taskar. 2007. Probabilistic relational models. In Introduction to Statistical Relational Learning, Lise Getoor and Ben Taskar (Eds.). MIT Press, 129\u2013174."},{"key":"e_1_3_2_2_22_1","volume-title":"Proceedings of BUGS 2005 .","author":"Godefroid Patrice","year":"2005","unstructured":"Patrice Godefroid . 2005 . The soundness of bugs is what matters . In Proceedings of BUGS 2005 . Patrice Godefroid. 2005. The soundness of bugs is what matters. In Proceedings of BUGS 2005 ."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837663"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.54"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/11547662_15"},{"key":"e_1_3_2_2_26_1","volume-title":"Introduction to Statistical Relational Learning","author":"Kersting Kristian","unstructured":"Kristian Kersting and Luc De Raedt . 2007. Bayesian logic programming: Theory and tool . In Introduction to Statistical Relational Learning , Lise Getoor and Ben Taskar (Eds.). MIT Press , 291\u2013322. Kristian Kersting and Luc De Raedt. 2007. Bayesian logic programming: Theory and tool. In Introduction to Statistical Relational Learning, Lise Getoor and Ben Taskar (Eds.). MIT Press, 291\u2013322."},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/1577069.1755843"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3088525.3088675"},{"key":"e_1_3_2_2_29_1","volume-title":"Probabilistic graphical models: Principles and techniques","author":"Koller Daphne","unstructured":"Daphne Koller and Nir Friedman . 2009. Probabilistic graphical models: Principles and techniques . The MIT Press . Daphne Koller and Nir Friedman. 2009. Probabilistic graphical models: Principles and techniques . The MIT Press."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029909"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/1760267.1760289"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/1625275.1625680"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/18.910572"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984023"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882336"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27940-9_20"},{"key":"e_1_3_2_2_37_1","volume-title":"1st SIGPLAN Workshop on Probabilistic and Approximate Computing .","author":"Livshits Benjamin","year":"2014","unstructured":"Benjamin Livshits and Shuvendu Lahiri . 2014 . In defense of probabilistic analysis . In 1st SIGPLAN Workshop on Probabilistic and Approximate Computing . Benjamin Livshits and Shuvendu Lahiri. 2014. In defense of probabilistic analysis. In 1st SIGPLAN Workshop on Probabilistic and Approximate Computing ."},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542485"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2644805"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908096"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786851"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1044834.1044835"},{"key":"e_1_3_2_2_43_1","volume-title":"Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005)","author":"Milch Brian","year":"2005","unstructured":"Brian Milch , Bhaskara Marthi , Stuart Russell , David Sontag , Daniel Ong , and Andrey Kolobov . 2005 . BLOG: Probabilistic models with unknown objects . In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005) . Morgan Kaufmann, 1352\u20131359. Brian Milch, Bhaskara Marthi, Stuart Russell, David Sontag, Daniel Ong, and Andrey Kolobov. 2005. BLOG: Probabilistic models with unknown objects. In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005) . Morgan Kaufmann, 1352\u20131359."},{"key":"e_1_3_2_2_44_1","volume-title":"Microsoft Research Cambridge","author":"Minka Thomas","year":"2014","unstructured":"Thomas Minka , John Winn , John Guiver , Sam Webster , Yordan Zaykov , Boris Yangel , Alexander Spengler , and John Bronskill . 2014. Infer. NET 2.6. ( 2014 ). Microsoft Research Cambridge . http:\/\/research. microsoft.com\/infernet . Thomas Minka, John Winn, John Guiver, Sam Webster, Yordan Zaykov, Boris Yangel, Alexander Spengler, and John Bronskill. 2014. Infer.NET 2.6. (2014). Microsoft Research Cambridge. http:\/\/research. microsoft.com\/infernet ."},{"key":"e_1_3_2_2_45_1","article-title":"libDAI: A free and open source C++ library for discrete approximate inference in graphical models","author":"Mooij Joris","year":"2010","unstructured":"Joris Mooij . 2010 . libDAI: A free and open source C++ library for discrete approximate inference in graphical models . Journal of Machine Learning Research 11 (Aug 2010), 2169\u20132173. Joris Mooij. 2010. libDAI: A free and open source C++ library for discrete approximate inference in graphical models. Journal of Machine Learning Research 11 (Aug 2010), 2169\u20132173.","journal-title":"Journal of Machine Learning Research 11"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106284"},{"key":"e_1_3_2_2_47_1","volume-title":"Proceedings of the 15th Conference Annual Conference on Uncertainty in Artificial Intelligence (UAI 1999)","author":"Murphy Kevin","year":"1999","unstructured":"Kevin Murphy , Yair Weiss , and Michael Jordan . 1999 . Loopy belief propagation for approximate inference: An empirical study . In Proceedings of the 15th Conference Annual Conference on Uncertainty in Artificial Intelligence (UAI 1999) . Morgan Kaufmann, 467\u2013476. Kevin Murphy, Yair Weiss, and Michael Jordan. 1999. Loopy belief propagation for approximate inference: An empirical study. In Proceedings of the 15th Conference Annual Conference on Uncertainty in Artificial Intelligence (UAI 1999) . Morgan Kaufmann, 467\u2013476."},{"key":"e_1_3_2_2_48_1","volume-title":"Chord: A program analysis platform for Java","author":"Naik Mayur","year":"2006","unstructured":"Mayur Naik . 2006 . Chord: A program analysis platform for Java . http:\/\/jchord.googlecode.com\/ . (2006). Mayur Naik. 2006. Chord: A program analysis platform for Java. http:\/\/jchord.googlecode.com\/ . (2006)."},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134018"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.14778\/1978665.1978669"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908118"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"crossref","unstructured":"Judea Pearl. 1988. Probabilistic reasoning in intelligent systems: Networks of plausible inference . Morgan Kaufmann.   Judea Pearl. 1988. Probabilistic reasoning in intelligent systems: Networks of plausible inference . Morgan Kaufmann.","DOI":"10.1016\/B978-0-08-051489-5.50008-4"},{"key":"e_1_3_2_2_54_1","volume-title":"Markov decision processes: Discrete stochastic dynamic programming","author":"Puterman Martin","unstructured":"Martin Puterman . 1994. Markov decision processes: Discrete stochastic dynamic programming ( 1 st ed.). Wiley . Martin Puterman. 1994. Markov decision processes: Discrete stochastic dynamic programming (1st ed.). Wiley.","edition":"1"},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677009"},{"key":"e_1_3_2_2_56_1","volume-title":"Demand interprocedural program analysis using logic databases","author":"Reps Thomas","unstructured":"Thomas Reps . 1995. Demand interprocedural program analysis using logic databases . Springer , 163\u2013196. Thomas Reps. 1995. Demand interprocedural program analysis using logic databases . Springer, 163\u2013196."},{"key":"e_1_3_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-006-5833-1"},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660339"},{"key":"e_1_3_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.5555\/781995.782008"},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1007\/11575467_8"},{"key":"e_1_3_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133881"}],"event":{"name":"PLDI '18: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Philadelphia PA USA","acronym":"PLDI '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192417","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3192366.3192417","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3192366.3192417","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:07:53Z","timestamp":1750198073000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192417"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,11]]},"references-count":60,"alternative-id":["10.1145\/3192366.3192417","10.1145\/3192366"],"URL":"https:\/\/doi.org\/10.1145\/3192366.3192417","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3296979.3192417","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,6,11]]},"assertion":[{"value":"2018-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}