Quoc-Sang Phan -

Registered user since Sat 17 Dec 2016

Name:Quoc-Sang Phan

Country:United States

Affiliation:Facebook, Inc.

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
JPF 2018	Author of Invited talk: Test input generation using separation logic within the JPF-track Author of Automatic Data Structure Repair using Separation Logic within the JPF-track
ISSTA 2017	Committee Member in Artifact Evaluation Committee within the Artifacts-track
ISSTA 2018	Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
* ICSE 2018 *	Author of Poster T24: Testing Heap-Based Programs with Java StarFinder within the Posters -track