Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020
Melbourne, Australia
Toggle navigation
Attending
Virtual: (Virtual) Arts Centre Melbourne
Welcome message from chair of ASE Steering Committee
Sponsorship Details
Diversity and Inclusion
Code of Conduct
Student Support
Registration
Travel Safety and Medical Guidelines
Author Information
Presenter Information
Program
Complete Program
Your Program
Keynote
Awards
Mon 21 Sep
Tue 22 Sep
Wed 23 Sep
Thu 24 Sep
Fri 25 Sep
Tracks
ASE 2020
Plenary
[Workshop] A-Mobile
[Workshop] HCSE&CS
[Workshop] NLP-SEA
[Workshop] SUSTAIN-SE
Research Papers
Tool Demonstrations
Doctoral Symposium
Journal-first Papers
Workshops
Tutorials
Late Breaking Results
Student Research Competition
Student Volunteers
Industry Showcase
NIER track
Social/Networking
Organization
ASE 2020 Committees
Organizing Committee
Track Committees
Research Papers
Research Papers Chair
Program Committee
Tool Demonstrations
Tool Demonstrations Chair
Program Committee
Doctoral Symposium
Journal-first Papers
Workshops
Tutorials
Late Breaking Results
Late Breaking Results Chair
Program Committee
Student Research Competition
Student Research Competition Chair
Program Committee
Student Volunteers
Industry Showcase
Industry showcases Chair
Program Committee
NIER track
NIER Chairs
Program Committee
Contributors
People Index
Search
Series
Series
ASE 2024
ASE 2023
ASE 2022
ASE 2021
ASE 2020
ASE 2019
Past Editions
Sign in
Sign up
ASE 2020
(
series
) /
Chao Wang
ASE 2020 profile
conf.research.org general profile
ASE 2019 profile
ASE 2021 profile
ASE 2022 profile
ASE 2024 profile
ECOOP and ISSTA 2018 profile
ECOOP and ISSTA 2023 profile
ESEC/FSE 2018 profile
ESEC/FSE 2022 profile
FSE 2024 profile
ICSE 2019 profile
ICSE 2020 profile
ICSE 2021 profile
ICSE 2024 profile
ICSE 2025 profile
ISSTA 2017 profile
PLDI 2019 profile
PLDI 2023 profile
Registered user since Tue 12 Jun 2018
Name:
Chao Wang
Country:
United States
Affiliation:
USC
Personal website:
https://sites.usc.edu/chaowang/
Contributions
2020
ASE
NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation
Show activities from other conferences
Share
ASE 2020-profile
View general profile
x
Fri 26 Apr 10:37
