Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia
Jingbo Wang

Registered user since Sat 22 Jun 2019

Name:Jingbo Wang
Affiliation:University of Southern California
Research interests:Formal method, static analysis, program synthesis


ASE 2020 NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation
Show activities from other conferences

ASE 2020-profile
View general profile