• 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
  • ICSE 2023 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

2023

ICSE

  • Author of The Challenges of Shift Left Static Analysis within the SEIP - Software Engineering in Practice-track

2022

ICSE

  • Author of Analyzing the CMake Build System within the SEIP - Software Engineering in Practice-track

2019

JPF

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

2018

JPF

  • 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

  • Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track

ICSE

  • Author of Poster T24: Testing Heap-Based Programs with Java StarFinder within the Posters -track

2017

ISSTA

  • Committee Member in Artifact Evaluation Committee within the Artifacts-track
Share
xFri 13 Jun 06:29
using conf.researchr.org (v1.69.0)
Support page
Sign Up