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
| JPF 2019 | Co-chair in Organizing Committee within the JPF 2019-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ASE 2019-profile
View general profile
View general profile