{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T21:14:17Z","timestamp":1776114857653,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":59,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T00:00:00Z","timestamp":1633824000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"AFRL","award":["FA8750-20-2-0501"],"award-info":[{"award-number":["FA8750-20-2-0501"]}]},{"name":"ONR","award":["N00014-18-1-2021"],"award-info":[{"award-number":["N00014-18-1-2021"]}]},{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["2107429,2107261"],"award-info":[{"award-number":["2107429,2107261"]}],"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":[[2021,10,10]]},"DOI":"10.1145\/3472749.3474737","type":"proceedings-article","created":{"date-parts":[[2021,10,13]],"date-time":"2021-10-13T01:11:21Z","timestamp":1634087481000},"page":"84-99","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Sporq: An Interactive Environment for Exploring Code using Query-by-Example"],"prefix":"10.1145","author":[{"given":"Aaditya","family":"Naik","sequence":"first","affiliation":[{"name":"Computer and Information Science University of Pennsylvania, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Mendelson","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nathaniel","family":"Sands","sequence":"additional","affiliation":[{"name":"University of Southern California, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuepeng","family":"Wang","sequence":"additional","affiliation":[{"name":"Simon Fraser University, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mayur","family":"Naik","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mukund","family":"Raghothaman","sequence":"additional","affiliation":[{"name":"University of Southern California, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,10,12]]},"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","volume-title":"A Survey of Machine Learning for Big Code and Naturalness. Comput. Surveys","author":"Allamanis Miltiadis","year":"2018","unstructured":"Miltiadis Allamanis , Earl\u00a0 T. Barr , Premkumar Devanbu , and Charles Sutton . 2018. A Survey of Machine Learning for Big Code and Naturalness. Comput. Surveys ( 2018 ). Miltiadis Allamanis, Earl\u00a0T. Barr, Premkumar Devanbu, and Charles Sutton. 2018. A Survey of Machine Learning for Big Code and Naturalness. Comput. Surveys (2018)."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385997"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2742796"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951948"},{"key":"e_1_3_2_2_6_1","volume-title":"Proceedings of the European Conference on Object-Oriented Programming (ECOOP).","author":"Avgustinov Pavel","year":"2016","unstructured":"Pavel Avgustinov , Oege de Moor , Michael\u00a0Peyton Jones , and Max Sch\u00e4fer . 2016 . QL: Object-oriented Queries on Relational Data . In Proceedings of the European Conference on Object-Oriented Programming (ECOOP). Pavel Avgustinov, Oege de Moor, Michael\u00a0Peyton Jones, and Max Sch\u00e4fer. 2016. QL: Object-oriented Queries on Relational Data. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP)."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2008.130"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428209"},{"key":"e_1_3_2_2_9_1","volume-title":"Ben Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles Henri-Gros, Asya Kamsky, Scott McPeak, and Dawson Engler.","author":"Bessey Al","year":"2010","unstructured":"Al Bessey , Ken Block , Ben Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles Henri-Gros, Asya Kamsky, Scott McPeak, and Dawson Engler. 2010 . A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World. Commun. ACM 53, 2 (2010). Al Bessey, Ken Block, Ben Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles Henri-Gros, Asya Kamsky, Scott McPeak, and Dawson Engler. 2010. A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World. Commun. ACM 53, 2 (2010)."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_12"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640108"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17524-9_1"},{"key":"e_1_3_2_2_13_1","volume-title":"SonarQube in Action","author":"Campbell Ann","unstructured":"G.\u00a0 Ann Campbell and Patroklos\u00a0 P. Papapetrou . 2013. SonarQube in Action . Manning Publications Co. G.\u00a0Ann Campbell and Patroklos\u00a0P. Papapetrou. 2013. SonarQube in Action. Manning Publications Co."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.43410"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970347"},{"key":"e_1_3_2_2_16_1","unstructured":"CWE Community. 2008. CWE\u00a0681: Incorrect Conversion Between Numeric Types. https:\/\/cwe.mitre.org\/data\/definitions\/681.html.  CWE Community. 2008. CWE\u00a0681: Incorrect Conversion Between Numeric Types. https:\/\/cwe.mitre.org\/data\/definitions\/681.html."},{"key":"e_1_3_2_2_17_1","unstructured":"Return\u00a0To Corporation. 2021. Semgrep. https:\/\/semgrep.dev.  Return\u00a0To Corporation. 2021. Semgrep. https:\/\/semgrep.dev."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2020\/673"},{"key":"e_1_3_2_2_19_1","volume-title":"Proceedings of the International Conference on Learning Representations (ICLR).","author":"Dong Honghua","year":"2019","unstructured":"Honghua Dong , Jiayuan Mao , Tian Lin , Chong Wang , Lihong Li , and Denny Zhou . 2019 . Neural Logic Machines . In Proceedings of the International Conference on Learning Representations (ICLR). Honghua Dong, Jiayuan Mao, Tian Lin, Chong Wang, Lihong Li, and Denny Zhou. 2019. Neural Logic Machines. In Proceedings of the International Conference on Learning Representations (ICLR)."},{"key":"e_1_3_2_2_20_1","volume-title":"Learning Explanatory Rules from Noisy Data. Journal of Artificial Intelligence Research 61","author":"Evans Richard","year":"2018","unstructured":"Richard Evans and Edward Grefenstette . 2018. Learning Explanatory Rules from Noisy Data. Journal of Artificial Intelligence Research 61 ( 2018 ). Richard Evans and Edward Grefenstette. 2018. Learning Explanatory Rules from Noisy Data. Journal of Artificial Intelligence Research 61 (2018)."},{"key":"e_1_3_2_2_21_1","unstructured":"Sara Evensen Chang Ge Dongjin Choi and \u00c7a\u011fatay Demiralp. 2020. Data Programming by Demonstration: A Framework for Interactively Learning Labeling Functions. arxiv:2009.01444\u00a0[cs.LG]  Sara Evensen Chang Ge Dongjin Choi and \u00c7a\u011fatay Demiralp. 2020. Data Programming by Demonstration: A Framework for Interactively Learning Labeling Functions. arxiv:2009.01444\u00a0[cs.LG]"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2745754.2745780"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236051"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00027"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606613"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3088525.3088675"},{"key":"e_1_3_2_2_27_1","volume-title":"Introduction to statistical relational learning","author":"Koller Daphne","unstructured":"Daphne Koller , Nir Friedman , Sa\u0161o D\u017eeroski , Charles Sutton , Andrew McCallum , Avi Pfeffer , Pieter Abbeel , Ming-Fai Wong , Chris Meek , Jennifer Neville , 2007. Introduction to statistical relational learning . MIT press . Daphne Koller, Nir Friedman, Sa\u0161o D\u017eeroski, Charles Sutton, Andrew McCallum, Avi Pfeffer, Pieter Abbeel, Ming-Fai Wong, Chris Meek, Jennifer Neville, 2007. Introduction to statistical relational learning. MIT press."},{"key":"e_1_3_2_2_28_1","unstructured":"GitHub\u00a0Security Lab. 2021. Bounties. https:\/\/securitylab.github.com\/bounties\/.  GitHub\u00a0Security Lab. 2021. Bounties. https:\/\/securitylab.github.com\/bounties\/."},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i03.5678"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11558-0_22"},{"key":"e_1_3_2_2_31_1","volume-title":"Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC). 105\u2013114","author":"Jia-Jun Li Toby","year":"2018","unstructured":"Toby Jia-Jun Li , Igor Labutov , Xiaohan\u00a0Nancy Li , Xiaoyi Zhang , Wenze Shi , Wanling Ding , Tom\u00a0 M. Mitchell , and Brad\u00a0 A. Myers . 2018 . APPINITE: A Multi-Modal Interface for Specifying Data Descriptions in Programming by Demonstration Using Natural Language Instructions . In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC). 105\u2013114 . Toby Jia-Jun Li, Igor Labutov, Xiaohan\u00a0Nancy Li, Xiaoyi Zhang, Wenze Shi, Wanling Ding, Tom\u00a0M. Mitchell, and Brad\u00a0A. Myers. 2018. APPINITE: A Multi-Modal Interface for Specifying Data Descriptions in Programming by Demonstration Using Natural Language Instructions. In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC). 105\u2013114."},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00090"},{"key":"e_1_3_2_2_33_1","unstructured":"LLVM. 2021. Clang Static Analyzer. https:\/\/clang-analyzer.llvm.org\/.  LLVM. 2021. Clang Static Analyzer. https:\/\/clang-analyzer.llvm.org\/."},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908096"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"crossref","unstructured":"Jonathan Mendelson Aaditya Naik Mayur Naik and Mukund Raghothaman. 2021. GenSynth: Synthesizing Datalog Programs without Language Bias. (2021).  Jonathan Mendelson Aaditya Naik Mayur Naik and Mukund Raghothaman. 2021. GenSynth: Synthesizing Datalog Programs without Language Bias. (2021).","DOI":"10.1609\/aaai.v35i7.16799"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037227"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-014-5471-y"},{"key":"e_1_3_2_2_38_1","volume-title":"Chord: A versatile platform for program analysis. In Tutorial at the ACM Conference on Programming Language Design and Implementation (PLDI).","author":"Naik Mayur","year":"2011","unstructured":"Mayur Naik . 2011 . Chord: A versatile platform for program analysis. In Tutorial at the ACM Conference on Programming Language Design and Implementation (PLDI). Mayur Naik. 2011. Chord: A versatile platform for program analysis. In Tutorial at the ACM Conference on Programming Language Design and Implementation (PLDI)."},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192417"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371130"},{"key":"e_1_3_2_2_41_1","volume-title":"Proceedings of the Advances in Neural Information Processing Systems (NeurIPS).","author":"Rockt\u00e4schel Tim","year":"2017","unstructured":"Tim Rockt\u00e4schel and Sebastian Riedel . 2017 . End-to-end Differentiable Proving . In Proceedings of the Advances in Neural Information Processing Systems (NeurIPS). Tim Rockt\u00e4schel and Sebastian Riedel. 2017. End-to-end Differentiable Proving. In Proceedings of the Advances in Neural Information Processing Systems (NeurIPS)."},{"key":"e_1_3_2_2_42_1","volume-title":"Proceedings of the International Conference on Learning Representations (ICLR).","author":"Ryan Gabriel","year":"2020","unstructured":"Gabriel Ryan , Justin Wong , Jianan Yao , Ronghui Gu , and Suman Jana . 2020 . CLN2INV: Learning Loop Invariants with Continuous Logic Networks . In Proceedings of the International Conference on Learning Representations (ICLR). Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, and Suman Jana. 2020. CLN2INV: Learning Loop Invariants with Continuous Logic Networks. In Proceedings of the International Conference on Learning Representations (ICLR)."},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.76"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892226"},{"key":"e_1_3_2_2_45_1","unstructured":"[\n  45\n  ]  Semmle.2021. https:\/\/lgtm.com.  [45] Semmle.2021. https:\/\/lgtm.com."},{"key":"e_1_3_2_2_46_1","volume-title":"Proceedings of the Annual Workshop on Computational Learning Theory (COLT).","author":"Seung S.","unstructured":"H.\u00a0 S. Seung , M. Opper , and H. Sompolinsky . 1992. Query by Committee . In Proceedings of the Annual Workshop on Computational Learning Theory (COLT). H.\u00a0S. Seung, M. Opper, and H. Sompolinsky. 1992. Query by Committee. In Proceedings of the Annual Workshop on Computational Learning Theory (COLT)."},{"key":"e_1_3_2_2_47_1","volume-title":"Proceedings of the Advances in Neural Information Processing Systems (NeurIPS).","author":"Si Xujie","year":"2018","unstructured":"Xujie Si , Hanjun Dai , Mukund Raghothaman , Mayur Naik , and Le Song . 2018 . Learning Loop Invariants for Program Verification . In Proceedings of the Advances in Neural Information Processing Systems (NeurIPS). Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, and Le Song. 2018. Learning Loop Invariants for Program Verification. In Proceedings of the Advances in Neural Information Processing Systems (NeurIPS)."},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236034"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53291-8_9"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2019\/847"},{"key":"e_1_3_2_2_51_1","volume-title":"Proceedings of the Datalog 2.0 Workshop.","author":"Smaragdakis Y.","unstructured":"Y. Smaragdakis and M. Bravenboer . 2010. Using Datalog for Fast and Easy Program Analysis . In Proceedings of the Datalog 2.0 Workshop. Y. Smaragdakis and M. Bravenboer. 2010. Using Datalog for Fast and Easy Program Analysis. In Proceedings of the Datalog 2.0 Workshop."},{"key":"e_1_3_2_2_52_1","unstructured":"[\n  52\n  ]  Bjarne Stroustrup and Herb Sutter.2021. https:\/\/isocpp.github.io\/CppCoreGuidelines\/CppCoreGuidelines.  [52] Bjarne Stroustrup and Herb Sutter.2021. https:\/\/isocpp.github.io\/CppCoreGuidelines\/CppCoreGuidelines."},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3410307"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00079"},{"key":"e_1_3_2_2_55_1","volume-title":"Proceedings of the International Conference on Learning Representations (ICLR).","author":"Wei Jiayi","year":"2020","unstructured":"Jiayi Wei , Maruth Goyal , Greg Durrett , and Isil Dillig . 2020 . LambdaNet: Probabilistic Type Inference using Graph Neural Networks . In Proceedings of the International Conference on Learning Representations (ICLR). Jiayi Wei, Maruth Goyal, Greg Durrett, and Isil Dillig. 2020. LambdaNet: Probabilistic Type Inference using Graph Neural Networks. In Proceedings of the International Conference on Learning Representations (ICLR)."},{"key":"e_1_3_2_2_56_1","volume-title":"Proceedings of the Asian Symposium on Programming Languages and Systems (APLAS).","author":"Whaley J.","unstructured":"J. Whaley , D. Avots , M. Carbin , and M. Lam . 2005. Using Datalog with Binary Decision Diagrams for Program Analysis . In Proceedings of the Asian Symposium on Programming Languages and Systems (APLAS). J. Whaley, D. Avots, M. Carbin, and M. Lam. 2005. Using Datalog with Binary Decision Diagrams for Program Analysis. In Proceedings of the Asian Symposium on Programming Languages and Systems (APLAS)."},{"key":"e_1_3_2_2_57_1","volume-title":"Proceedings of the Advances in Neural Information Processing Systems (NeurIPS).","author":"Yang Fan","year":"2017","unstructured":"Fan Yang , Zhilin Yang , and William Cohen . 2017 . Differentiable learning of logical rules for knowledge base reasoning . In Proceedings of the Advances in Neural Information Processing Systems (NeurIPS). Fan Yang, Zhilin Yang, and William Cohen. 2017. Differentiable learning of logical rules for knowledge base reasoning. In Proceedings of the Advances in Neural Information Processing Systems (NeurIPS)."},{"key":"e_1_3_2_2_58_1","volume-title":"Proceedings of the USENIX Security Symposium.","author":"Yun Insu","year":"2016","unstructured":"Insu Yun , Changwoo Min , Xujie Si , Yeongjin Jang , Taesoo Kim , and Mayur Naik . 2016 . APISAN: Sanitizing API Usages through Semantic Cross-Checking . In Proceedings of the USENIX Security Symposium. Insu Yun, Changwoo Min, Xujie Si, Yeongjin Jang, Taesoo Kim, and Mayur Naik. 2016. APISAN: Sanitizing API Usages through Semantic Cross-Checking. In Proceedings of the USENIX Security Symposium."},{"key":"e_1_3_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133881"}],"event":{"name":"UIST '21: The 34th Annual ACM Symposium on User Interface Software and Technology","location":"Virtual Event USA","acronym":"UIST '21","sponsor":["SIGGRAPH ACM Special Interest Group on Computer Graphics and Interactive Techniques","SIGCHI ACM Special Interest Group on Computer-Human Interaction"]},"container-title":["The 34th Annual ACM Symposium on User Interface Software and Technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3472749.3474737","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3472749.3474737","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3472749.3474737","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:48:35Z","timestamp":1750193315000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3472749.3474737"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,10]]},"references-count":59,"alternative-id":["10.1145\/3472749.3474737","10.1145\/3472749"],"URL":"https:\/\/doi.org\/10.1145\/3472749.3474737","relation":{},"subject":[],"published":{"date-parts":[[2021,10,10]]},"assertion":[{"value":"2021-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}