• Sign in
  • Sign up
conf.researchr.org / Quoc-Sang Phan
  • * ICSE 2018 * profile
  • ASE 2019 profile
  • ECOOP and ISSTA 2018 profile
  • ESEC/FSE 2018 profile
  • ICSE 2022 profile
  • ISSTA 2017 profile
Quoc-Sang Phan

Registered user since Sat 17 Dec 2016

Name:Quoc-Sang Phan
Country:United States
Affiliation:Facebook, Inc.
Personal website:https://research.fb.com/people/phan-sang/
Research interests:Static Analysis, Symbolic Execution, Side-channel Attacks, SAT/SMT, Model Counting

Contributions

ICSE 2022 Author of Analyzing the CMake Build System within the SEIP - Software Engineering in Practice-track
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

Share
xMon 27 Jun 11:27
using conf.researchr.org (v1.56.1)
Support page
Sign Up