{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:26:49Z","timestamp":1750220809243,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,28]],"date-time":"2019-10-28T00:00:00Z","timestamp":1572220800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,10,28]]},"DOI":"10.1145\/3361242.3361243","type":"proceedings-article","created":{"date-parts":[[2019,10,24]],"date-time":"2019-10-24T19:04:48Z","timestamp":1571943888000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Fast Robustness Prediction for Deep Neural Network"],"prefix":"10.1145","author":[{"given":"Yuehuan","family":"Wang","sequence":"first","affiliation":[{"name":"State Key Lab of Novel Software Technology, Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zenan","family":"Li","sequence":"additional","affiliation":[{"name":"State Key Lab of Novel Software Technology, Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jingwei","family":"Xu","sequence":"additional","affiliation":[{"name":"State Key Lab of Novel Software Technology, Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ping","family":"Yu","sequence":"additional","affiliation":[{"name":"State Key Lab of Novel Software Technology, Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoxing","family":"Ma","sequence":"additional","affiliation":[{"name":"State Key Lab of Novel Software Technology, Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,10,28]]},"reference":[{"volume-title":"Globally normalized transition-based neural networks. arXiv preprint arXiv:1603.06042","year":"2016","author":"Andor Daniel","key":"e_1_3_2_1_1_1"},{"volume-title":"Noise reduction in speech processing","author":"Benesty Jacob","key":"e_1_3_2_1_2_1"},{"volume-title":"Davide Del Testa","year":"2016","author":"Bojarski Mariusz","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.49"},{"volume-title":"Dermatologist-level classification of skin cancer with deep neural networks. Nature 542, 7639","year":"2017","author":"Esteva Andre","key":"e_1_3_2_1_5_1"},{"volume-title":"Explaining and harnessing adversarial examples. arXiv preprint arXiv:1412.6572","year":"2014","author":"Goodfellow Ian J","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.90"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Geoffrey Hinton Li Deng Dong Yu George Dahl Abdel-rahman Mohamed Navdeep Jaitly Andrew Senior Vincent Vanhoucke Patrick Nguyen Brian Kingsbury etal 2012. Deep neural networks for acoustic modeling in speech recognition. IEEE Signal processing magazine 29 (2012).  Geoffrey Hinton Li Deng Dong Yu George Dahl Abdel-rahman Mohamed Navdeep Jaitly Andrew Senior Vincent Vanhoucke Patrick Nguyen Brian Kingsbury et al. 2012. Deep neural networks for acoustic modeling in speech recognition. IEEE Signal processing magazine 29 (2012).","DOI":"10.1109\/MSP.2012.2205597"},{"volume-title":"Safety and Trustworthiness of Deep Neural Networks: A Survey. arXiv preprint arXiv:1812.08342","year":"2018","author":"Huang Xiaowei","key":"e_1_3_2_1_9_1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00108"},{"key":"e_1_3_2_1_14_1","unstructured":"Alex Krizhevsky Ilya Sutskever and Geoffrey E Hinton. 2012. Imagenet classification with deep convolutional neural networks. In Advances in neural information processing systems. 1097--1105.  Alex Krizhevsky Ilya Sutskever and Geoffrey E Hinton. 2012. Imagenet classification with deep convolutional neural networks. In Advances in neural information processing systems. 1097--1105."},{"volume-title":"Adversarial examples in the physical world. arXiv preprint arXiv:1607.02533","year":"2016","author":"Kurakin Alexey","key":"e_1_3_2_1_15_1"},{"volume-title":"Deep learning. nature 521, 7553","year":"2015","author":"LeCun Yann","key":"e_1_3_2_1_16_1"},{"volume-title":"Backpropagation applied to handwritten zip code recognition. Neural computation 1, 4","year":"1989","author":"LeCun Yann","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.726791"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1021\/ci500747n"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238202"},{"volume-title":"Combinatorial testing for deep learning systems. arXiv preprint arXiv:1806.07723","year":"2018","author":"Ma Lei","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2017.17"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.282"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3052973.3053009"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP.2016.36"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132785"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_24"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/2350156.2350160"},{"volume-title":"Reachability analysis of deep neural networks with provable guarantees. arXiv preprint arXiv:1805.02242","year":"2018","author":"Ruan Wenjie","key":"e_1_3_2_1_29_1"},{"key":"e_1_3_2_1_30_1","unstructured":"David E Rumelhart Geoffrey E Hinton Ronald J Williams etal 1988. Learning representations by back-propagating errors. Cognitive modeling 5 3 (1988) 1.  David E Rumelhart Geoffrey E Hinton Ronald J Williams et al. 1988. Learning representations by back-propagating errors. Cognitive modeling 5 3 (1988) 1."},{"volume-title":"Julian Schrittwieser, Ioannis Antonoglou, Veda Panneershelvam, Marc Lanctot, et al.","year":"2016","author":"Silver David","key":"e_1_3_2_1_31_1"},{"volume-title":"Very deep convolutional networks for large-scale image recognition. arXiv preprint arXiv:1409.1556","year":"2014","author":"Simonyan Karen","key":"e_1_3_2_1_32_1"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290354"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.308"},{"volume-title":"Intriguing properties of neural networks. arXiv preprint arXiv:1312.6199","year":"2013","author":"Szegedy Christian","key":"e_1_3_2_1_35_1"},{"volume-title":"Towards fast computation of certified robustness for relu networks. arXiv preprint arXiv:1804.09699","year":"2018","author":"Weng Tsui-Wei","key":"e_1_3_2_1_36_1"},{"key":"e_1_3_2_1_37_1","unstructured":"Yonghui Wu Mike Schuster Zhifeng Chen Quoc V Le Mohammad Norouzi Wolfgang Macherey Maxim Krikun Yuan Cao Qin Gao Klaus Macherey etal 2016. Google's neural machine translation system: Bridging the gap between human and machine translation. arXiv preprint arXiv:1609.08144 (2016).  Yonghui Wu Mike Schuster Zhifeng Chen Quoc V Le Mohammad Norouzi Wolfgang Macherey Maxim Krikun Yuan Cao Qin Gao Klaus Macherey et al. 2016. Google's neural machine translation system: Bridging the gap between human and machine translation. arXiv preprint arXiv:1609.08144 (2016)."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2018.2808470"},{"volume-title":"Achieving human parity in conversational speech recognition. arXiv preprint arXiv:1610.05256","year":"2016","author":"Xiong Wayne","key":"e_1_3_2_1_39_1"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2631434"}],"event":{"name":"Internetware '19: The 11th Asia-Pacific Symposium on Internetware","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Fukuoka Japan","acronym":"Internetware '19"},"container-title":["Proceedings of the 11th Asia-Pacific Symposium on Internetware"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3361242.3361243","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3361242.3361243","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:12:51Z","timestamp":1750201971000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3361242.3361243"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,28]]},"references-count":39,"alternative-id":["10.1145\/3361242.3361243","10.1145\/3361242"],"URL":"https:\/\/doi.org\/10.1145\/3361242.3361243","relation":{},"subject":[],"published":{"date-parts":[[2019,10,28]]},"assertion":[{"value":"2019-10-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}