Quoc-Sang Phan - ASE 2019

Sun 10 - Fri 15 November 2019 San Diego, California, United States

Registered user since Sat 17 Dec 2016

Name:Quoc-Sang Phan

Country:United States

Affiliation:Synopsys, Inc.

Personal website: http://qsphan.github.io/

Research interests:Static Analysis, Symbolic Execution, Side-channel Attacks, SAT/SMT, Model Counting

Contributions

2019

JPF

Co-chair in Organizing Committee within the JPF 2019-track

Show activities from other conferences

ASE 2019-profile
View general profile