{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T03:32:32Z","timestamp":1782876752766,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,26]],"date-time":"2018-10-26T00:00:00Z","timestamp":1540512000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100006785","name":"Google","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006785","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1652140, CNS-1563831"],"award-info":[{"award-number":["CCF-1652140, CNS-1563831"]}],"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":[[2018,10,26]]},"DOI":"10.1145\/3236024.3236066","type":"proceedings-article","created":{"date-parts":[[2018,10,29]],"date-time":"2018-10-29T12:06:00Z","timestamp":1540814760000},"page":"342-353","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Neural-augmented static analysis of Android communication"],"prefix":"10.1145","author":[{"given":"Jinman","family":"Zhao","sequence":"first","affiliation":[{"name":"University of Wisconsin-Madison, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Aws","family":"Albarghouthi","sequence":"additional","affiliation":[{"name":"University of Wisconsin-Madison, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vaibhav","family":"Rastogi","sequence":"additional","affiliation":[{"name":"University of Wisconsin-Madison, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Somesh","family":"Jha","sequence":"additional","affiliation":[{"name":"University of Wisconsin-Madison, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Damien","family":"Octeau","sequence":"additional","affiliation":[{"name":"Google, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"265","article-title":"TensorFlow: A System for Large-Scale Machine Learning","volume":"16","author":"Abadi Mart\u00edn","year":"2016","journal-title":"OSDI"},{"key":"e_1_3_2_1_2_1","unstructured":"Miltiadis Allamanis Earl T Barr Premkumar Devanbu and Charles Sutton. 2017. A Survey of Machine Learning for Big Code and Naturalness. arXiv preprint arXiv:1709.06182 (2017).  Miltiadis Allamanis Earl T Barr Premkumar Devanbu and Charles Sutton. 2017. A Survey of Machine Learning for Big Code and Naturalness. arXiv preprint arXiv:1709.06182 (2017)."},{"key":"e_1_3_2_1_3_1","volume-title":"Learning Continuous Semantic Representations of Symbolic Expressions. In International Conference on Machine Learning. 80\u201388","author":"Allamanis Miltiadis","year":"2017"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of The 33rd International Conference on Machine Learning (Proceedings of Machine Learning Research), Maria Florina Balcan and Kilian Q. Weinberger (Eds.)","volume":"48","author":"Allamanis Miltiadis","year":"2016"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2419611"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462188"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3052973.3053004"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1999995.2000018"},{"key":"e_1_3_2_1_9_1","unstructured":"Francois Chollet. 2015. keras. https:\/\/github.com\/fchollet\/keras.  Francois Chollet. 2015. keras. https:\/\/github.com\/fchollet\/keras."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254087"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of IEEE mobile security technologies (MoST), in conjunction with the IEEE symposium on security and privacy.","author":"Elish Karim O","year":"2015"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/2028067.2028088"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635869"},{"key":"e_1_3_2_1_14_1","unstructured":"Ian Goodfellow Yoshua Bengio and Aaron Courville. 2016. Deep learning. MIT press.   Ian Goodfellow Yoshua Bengio and Aaron Courville. 2016. Deep learning. MIT press."},{"key":"e_1_3_2_1_15_1","unstructured":"Michael I. Gordon Deokhwan Kim Jeff H. Perkins Limei Gilham Nguyen Nguyen and Martin C. Rinard. 2015.  Michael I. Gordon Deokhwan Kim Jeff H. Perkins Limei Gilham Nguyen Nguyen and Martin C. Rinard. 2015."},{"key":"e_1_3_2_1_16_1","volume-title":"Flow Analysis of Android Applications in DroidSafe. In 22nd Annual Network and Distributed System Security Symposium, NDSS 2015","author":"Information","year":"2015"},{"key":"e_1_3_2_1_17_1","unstructured":"Michael Grace Yajin Zhou Zhi Wang and Xuxian Jiang. 2012. Systematic Detection of Capability Leaks in Stock Android Smartphones. In NDSS \u201912.  Michael Grace Yajin Zhou Zhi Wang and Xuxian Jiang. 2012. Systematic Detection of Capability Leaks in Stock Android Smartphones. In NDSS \u201912."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950334"},{"key":"e_1_3_2_1_19_1","unstructured":"David Gunning. {n. d.}. Explainable Artificial Intelligence (XAI). Available from https:\/\/www.darpa.mil\/program\/explainable-artificial-intelligence.  David Gunning. {n. d.}. Explainable Artificial Intelligence (XAI). Available from https:\/\/www.darpa.mil\/program\/explainable-artificial-intelligence."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106290"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1997.9.8.1735"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/D14-1181"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI \u201916)","author":"Kim Yoon","year":"2016"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2614628.2614633"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3088525.3088675"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/1760267.1760289"},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI \u201906)","author":"Kremenek Ted","year":"2006"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818791"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TrustCom.2014.50"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542485"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382223"},{"key":"e_1_3_2_1_32_1","first-page":"2579","article-title":"Visualizing data using t-SNE","author":"van der Maaten Laurens","year":"2008","journal-title":"Journal of Machine Learning Research 9"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106284"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837661"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818767"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2550446"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"TSE.2016.2550446  TSE.2016.2550446","DOI":"10.1155\/2016\/2848759"},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of the 22nd USENIX Security Symposium. 16","author":"Octeau Damien","year":"2013"},{"key":"e_1_3_2_1_39_1","unstructured":"Emilio Parisotto Abdel-rahman Mohamed Rishabh Singh Lihong Li Dengyong Zhou and Pushmeet Kohli. 2017. Neuro-symbolic program synthesis. ICLR (2017).  Emilio Parisotto Abdel-rahman Mohamed Rishabh Singh Lihong Li Dengyong Zhou and Pushmeet Kohli. 2017. Neuro-symbolic program synthesis. ICLR (2017)."},{"key":"e_1_3_2_1_40_1","unstructured":"ESEC\/FSE \u201918 November 4\u20139 2018 Lake Buena Vista FL USA J. Zhao A. Albarghouthi V. Rastogi S. Jha and D. Octeau  ESEC\/FSE \u201918 November 4\u20139 2018 Lake Buena Vista FL USA J. Zhao A. Albarghouthi V. Rastogi S. Jha and D. Octeau"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677009"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594321"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2939672.2939778"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/P15-1150"},{"key":"e_1_3_2_1_45_1","unstructured":"Tijmen Tieleman and Geoffrey Hinton. 2012. Lecture 6.5-rmsprop: Divide the gradient by a running average of its recent magnitude. COURSERA: Neural networks for machine learning 4 2 (2012) 26\u201331.  Tijmen Tieleman and Geoffrey Hinton. 2012. Lecture 6.5-rmsprop: Divide the gradient by a running average of its recent magnitude. COURSERA: Neural networks for machine learning 4 2 (2012) 26\u201331."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660339"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660357"},{"key":"e_1_3_2_1_48_1","unstructured":"Casimir Wierzynski. 2018.  Casimir Wierzynski. 2018."},{"key":"e_1_3_2_1_49_1","unstructured":"The Challenges and Opportunities of Explainable AI. Available from https:\/\/ai.intel.com\/ the-challenges-and-opportunities-of-explainable-ai\/.  The Challenges and Opportunities of Explainable AI. Available from https:\/\/ai.intel.com\/ the-challenges-and-opportunities-of-explainable-ai\/."},{"key":"e_1_3_2_1_50_1","volume-title":"2015 IEEE\/ACM 37th IEEE international conference on","volume":"1","author":"Yang Wei","year":"2015"}],"event":{"name":"ESEC\/FSE '18: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Lake Buena Vista FL USA","acronym":"ESEC\/FSE '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3236066","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236024.3236066","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236024.3236066","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:26Z","timestamp":1750208246000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3236066"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,26]]},"references-count":50,"alternative-id":["10.1145\/3236024.3236066","10.1145\/3236024"],"URL":"https:\/\/doi.org\/10.1145\/3236024.3236066","relation":{},"subject":[],"published":{"date-parts":[[2018,10,26]]},"assertion":[{"value":"2018-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}