{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:13:17Z","timestamp":1775873597585,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T00:00:00Z","timestamp":1497744000000},"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":[[2017,6,18]]},"DOI":"10.1145\/3088525.3088563","type":"proceedings-article","created":{"date-parts":[[2017,6,9]],"date-time":"2017-06-09T17:40:22Z","timestamp":1497030022000},"page":"27-34","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Combining the logical and the probabilistic in program analysis"],"prefix":"10.1145","author":[{"given":"Xin","family":"Zhang","sequence":"first","affiliation":[{"name":"Georgia Institute of Technology, USA"}]},{"given":"Xujie","family":"Si","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}]},{"given":"Mayur","family":"Naik","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}]}],"member":"320","published-online":{"date-parts":[[2017,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Apache FTP Server. http:\/\/mina.apache.org\/ftpserver -project\/.  Apache FTP Server. http:\/\/mina.apache.org\/ftpserver -project\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679385"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978422"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640108"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.43410"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837663"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.54"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11547662_15"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the NIPS Workshop on Probabilistic Programming: Foundations and Applications","author":"Kimmig A.","year":"2012","unstructured":"A. Kimmig , S. Bach , M. Broecheler , B. Huang , and L. Getoor . A short introduction to probabilistic soft logic . In Proceedings of the NIPS Workshop on Probabilistic Programming: Foundations and Applications , 2012 . A. Kimmig, S. Bach, M. Broecheler, B. Huang, and L. Getoor. A short introduction to probabilistic soft logic. In Proceedings of the NIPS Workshop on Probabilistic Programming: Foundations and Applications, 2012."},{"key":"e_1_3_2_1_11_1","volume-title":"The Alchemy system for statistical relational AI. Technical report","author":"Kok S.","year":"2007","unstructured":"S. Kok , M. Sumner , M. Richardson , P. Singla , H. Poon , D. Lowd , and P. Domingos . The Alchemy system for statistical relational AI. Technical report , University of Washington , Seattle, WA , 2007 . S. Kok, M. Sumner, M. Richardson, P. Singla, H. Poon, D. Lowd, and P. Domingos. The Alchemy system for statistical relational AI. Technical report, University of Washington, Seattle, WA, 2007."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/647999.742925"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1760267.1760289"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029909"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837617"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908096"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786851"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24318-4_22"},{"key":"e_1_3_2_1_19_1","volume-title":"AAAI","author":"Mangal R.","year":"2016","unstructured":"R. Mangal , X. Zhang , A. Kamath , A. V. Nori , and M. Naik . Scaling relational inference using proofs and refutations . In AAAI , 2016 . R. Mangal, X. Zhang, A. Kamath, A. V. Nori, and M. Naik. Scaling relational inference using proofs and refutations. In AAAI, 2016."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/357084.357090"},{"key":"e_1_3_2_1_21_1","volume-title":"IJCAI","author":"Milch B.","year":"2005","unstructured":"B. Milch , B. Marthi , S. J. Russell , D. Sontag , D. L. Ong , and A. Kolobov . BLOG: probabilistic models with unknown objects . In IJCAI , 2005 . B. Milch, B. Marthi, S. J. Russell, D. Sontag, D. L. Ong, and A. Kolobov. BLOG: probabilistic models with unknown objects. In IJCAI, 2005."},{"key":"e_1_3_2_1_22_1","author":"Muggleton S.","year":"1994","unstructured":"S. Muggleton and L. D. Raedt . Inductive logic programming: Theory and methods. J. Log. Program. , 1994 . S. Muggleton and L. D. Raedt. Inductive logic programming: Theory and methods. J. Log. Program., 1994.","journal-title":"Inductive logic programming: Theory and methods. J. Log. Program."},{"key":"e_1_3_2_1_23_1","volume-title":"Stochastic logic programs. Advances in inductive logic programming","author":"Muggleton S.","year":"1996","unstructured":"S. Muggleton Stochastic logic programs. Advances in inductive logic programming , 1996 . S. Muggleton et al. Stochastic logic programs. Advances in inductive logic programming, 1996."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134018"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.14778\/1978665.1978669"},{"key":"e_1_3_2_1_26_1","volume-title":"AAAI","author":"Noessner J.","year":"2013","unstructured":"J. Noessner , M. Niepert , and H. Stuckenschmidt . RockIt: Exploiting parallelism and symmetry for MAP inference in statistical relational models . In AAAI , 2013 . J. Noessner, M. Niepert, and H. Stuckenschmidt. RockIt: Exploiting parallelism and symmetry for MAP inference in statistical relational models. In AAAI, 2013."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491413"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814309"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2821504"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908099"},{"key":"e_1_3_2_1_31_1","author":"Pettorossi A.","year":"1999","unstructured":"A. Pettorossi and M. Proietti . Synthesis and transformation of logic programs using unfold\/fold proofs. In The Journal of Logic Programming , 1999 . A. Pettorossi and M. Proietti. Synthesis and transformation of logic programs using unfold\/fold proofs. In The Journal of Logic Programming, 1999.","journal-title":"In The Journal of Logic Programming"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594321"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677009"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-006-5833-1"},{"key":"e_1_3_2_1_35_1","volume-title":"Intl. Workshop on Statistical Relational Learning","author":"Riedel S.","year":"2009","unstructured":"S. Riedel . Cutting plane map inference for markov logic . In Intl. Workshop on Statistical Relational Learning , 2009 . S. Riedel. Cutting plane map inference for markov logic. In Intl. Workshop on Statistical Relational Learning, 2009."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2699411"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_31"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509509"},{"key":"e_1_3_2_1_39_1","volume-title":"CP","author":"Si X.","year":"2016","unstructured":"X. Si , X. Zhang , V. Manquinho , M. Janota , A. Ignatiev , and M. Naik . On incremental core-guided maxsat solving . In CP , 2016 . X. Si, X. Zhang, V. Manquinho, M. Janota, A. Ignatiev, and M. Naik. On incremental core-guided maxsat solving. In CP, 2016."},{"key":"e_1_3_2_1_40_1","volume-title":"AAAI","author":"Singla P.","year":"2005","unstructured":"P. Singla and P. Domingos . Discriminative training of markov logic networks . In AAAI , 2005 . P. Singla and P. Domingos. Discriminative training of markov logic networks. In AAAI, 2005."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24206-9_14"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065045"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1968.1972"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/11575467_8"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462185"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594327"},{"key":"e_1_3_2_1_47_1","volume-title":"Effective interactive resolution of static analysis alarms","author":"Zhang X.","year":"2016","unstructured":"X. Zhang , R. Grigore , X. Si , and M. Naik . Effective interactive resolution of static analysis alarms . 2016 . X. Zhang, R. Grigore, X. Si, and M. Naik. Effective interactive resolution of static analysis alarms. 2016."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837658"}],"event":{"name":"PLDI '17: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Barcelona Spain","acronym":"PLDI '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3088525.3088563","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3088525.3088563","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3088525.3088563","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:07Z","timestamp":1750217407000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3088525.3088563"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,18]]},"references-count":48,"alternative-id":["10.1145\/3088525.3088563","10.1145\/3088525"],"URL":"https:\/\/doi.org\/10.1145\/3088525.3088563","relation":{},"subject":[],"published":{"date-parts":[[2017,6,18]]},"assertion":[{"value":"2017-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}