• Sign in
  • Sign up
conf.researchr.org / Jingbo Wang
  • ASE 2020 profile
  • ECOOP and ISSTA 2021 profile
  • ICSE 2020 profile
  • ICSE 2021 profile
  • PLDI 2022 profile
  • SPLASH 2022 profile
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

Share
xTue 5 Jul 18:20
using conf.researchr.org (v1.56.1)
Support page
Sign Up