Jingbo Wang - MET 2021

Write a Blog >>

Wed 2 Jun 2021

co-located with ICSE 2021

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

2021

ICSE

Data-Driven Synthesis of a Provably Sound Side Channel Analysis

Show activities from other conferences

ICSE 2021-profile
View general profile