Quoc-Sang Phan

Publications

See also my personal pages at Google Scholar, or at DBLP, or at ACM.

Using Dynamically Inferred Invariants to Analyze Program Runtime Complexity. SEAD 2020.
ThanhVu Nguyen, Didier Ishimwe, Alexey Malyshev, Timos Antonopoulos, and Quoc-Sang Phan.
Concolic Testing Heap-Manipulating Programs. FM 2019.
Long H. Pham, Quang Loc Le, Quoc-Sang Phan, and Jun Sun.
Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation. ATVA 2019.
Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun and Shengchao Qin.
Automatic Data Structure Repair using Separation Logic. JPF 2018.
Guolong Zheng, Quang Loc Le, ThanhVu Nguyen, and Quoc-Sang Phan.
Symbolic Side-Channel Analysis for Probabilistic Programs. CSF 2018.
Pasquale Malacaria, MHR. Khouzani, Corina S. Pasareanu, Quoc-Sang Phan and Kasper Luckow.
Poster: Testing Heap-Based Programs with Java StarFinder. ICSE 2018.
Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun and Shengchao Qin.
Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing and Security Analysis. Advances in Computers - Volume 113.
Corina S. Pasareanu, Rody Kersten, Kasper Luckow and Quoc-Sang Phan.
Synthesis of Adaptive Side-Channel Attacks. CSF 2017.
Quoc-Sang Phan, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria and Tevfik Bultan.
Model-counting Approaches For Nonlinear Numerical Constraints. NFM 2017.
Mateus Borges, Quoc-Sang Phan, Antonio Filieri and Corina S. Pasareanu.
String Analysis for Side Channels with Segmented Oracles. FSE 2016.
Lucas Bang, Abdulbaki Aydin, Quoc-Sang Phan, Corina S. Pasareanu and Tevfik Bultan.
Multi-run side-channel analysis using Symbolic Execution and Max-SMT. CSF 2016.
Corina S. Pasareanu, Quoc-Sang Phan and Pasquale Malacaria.
All-Solution Satisfiability Modulo Theories: applications, algorithms and benchmarks. ARES 2015.
Quoc-Sang Phan and Pasquale Malacaria.
Concurrent Bounded Model Checking. JPF 2014.
Quoc-Sang Phan, Pasquale Malacaria, and Corina S. Pasareanu.
Quantifying Information Leaks using Reliability Analysis. SPIN 2014.
Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu and Marcelo d’Amorim.
Symbolic Execution as DPLL Modulo Theories. ICCSW 2014.
Quoc-Sang Phan.
Abstract Model Counting: a novel approach for Quantification of Information Leaks. ASIACCS 2014.
Quoc-Sang Phan and Pasquale Malacaria.
Self-composition by Symbolic Execution. ICCSW 2013.
Quoc-Sang Phan.
Symbolic Quantitative Information Flow. JPF 2012.
Quoc-Sang Phan, Pasquale Malacaria, Oksana Tkachuk, and Corina S. Pasareanu.
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT. FroCos 2011.
Alberto Griggio, Quoc-Sang Phan, Roberto Sebastiani, and Silvia Tomasi.

Sang Phan

Research

Publications

Education

Links