Crossmark

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification

Crossref DOI link: https://doi.org/10.1007/978-3-030-32304-2_15

Published Online: 2019-10-02

Published Print: 2019

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Li, Jianlin

Liu, Jiangchao

Yang, Pengfei

Chen, Liqian

Huang, Xiaowei

Zhang, Lijun
License Information

Text and Data Mining valid from 2019-01-01
More Information

Chapter History

First Online: 2 October 2019

Conference Information

Conference Acronym: SAS

Conference Name: International Static Analysis Symposium

Conference City: Porto

Conference Country: Portugal

Conference Year: 2019

Conference Start Date: 8 October 2019

Conference End Date: 11 October 2019

Conference Number: 26

Conference ID: sas2019

Conference URL: http://staticanalysis.org/sas2019/

Peer Review Information (provided by the conference organizers)

Type: Double-blind

Conference Management System: easychair

Number of Submissions Sent for Review: 50

Number of Full Papers Accepted: 20

Number of Short Papers Accepted: 0

Acceptance Rate of Full Papers: 40% - The value is computed by the equation "Number of Full Papers Accepted / Number of Submissions Sent for Review * 100" and then rounded to a whole number.

Average Number of Reviews per Paper: 3.44

Average Number of Papers per Reviewer: 6.2

External Reviewers Involved: Yes