Jingbo Wang -

Registered user since Sat 22 Jun 2019

Name:Jingbo Wang

Affiliation:University of Southern California

Personal website:http://scf.usc.edu/~jingbow/

Research interests:Formal method, static analysis, program synthesis

Contributions

PLDI 2022	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
ISSTA 2021	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
SPLASH 2022	Committee Member in Reviewers/Judges within the Student Research Competition-track
ASE 2020	Author of NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation within the Research Papers-track
ICSE 2021	Author of Data-Driven Synthesis of a Provably Sound Side Channel Analysis within the Technical Track-track
ICSE 2020	Author of ReluDiff: Differential Verification of Deep Neural Networks within the Technical Papers-track