Quoc-Sang Phan

According to our database, Quoc-Sang Phan authored at least 25 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The Challenges of Shift Left Static Analysis.

Quoc-Sang Phan, KimHao Nguyen, ThanhVu Nguyen

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

2022

Analyzing the CMake Build System.

KimHao Nguyen, ThanhVu Nguyen, Quoc-Sang Phan

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

2020

The Java Pathfinder Workshop 2019.

Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu

ACM SIGSOFT Softw. Eng. Notes, 2020

2019

Chapter Six - Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis.

Corina S. Pasareanu, Rody Kersten, Kasper Søe Luckow, Quoc-Sang Phan

Adv. Comput., 2019

Concolic Testing Heap-Manipulating Programs.

Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation.

Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

Automatic Data Structure Repair usingSeparation Logic.

Guolong Zheng, Quang Loc Le, ThanhVu Nguyen, Quoc-Sang Phan

ACM SIGSOFT Softw. Eng. Notes, 2018

Test input generation using separati logic.

Quoc-Sang Phan

ACM SIGSOFT Softw. Eng. Notes, 2018

Symbolic Side-Channel Analysis for Probabilistic Programs.

Pasquale Malacaria, M. H. R. Khouzani, Corina S. Pasareanu, Quoc-Sang Phan, Kasper Søe Luckow

IACR Cryptol. ePrint Arch., 2018

Testing heap-based programs with Java StarFinder.

Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Synthesis of Adaptive Side-Channel Attacks.

Quoc-Sang Phan, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria, Tevfik Bultan

IACR Cryptol. ePrint Arch., 2017

Model-counting Approaches For Nonlinear Numerical Constraints.

Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu

IACR Cryptol. ePrint Arch., 2017

2016

String analysis for side channels with segmented oracles.

Lucas Bang, Abdulbaki Aydin, Quoc-Sang Phan, Corina S. Pasareanu, Tevfik Bultan

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT.

Corina S. Pasareanu, Quoc-Sang Phan, Pasquale Malacaria

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015

Model Counting Modulo Theories.

Quoc-Sang Phan

PhD thesis, 2015

Concurrent Bounded Model Checking.

Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu

ACM SIGSOFT Softw. Eng. Notes, 2015

Model Counting Modulo Theories.

Quoc-Sang Phan

CoRR, 2015

All-Solution Satisfiability Modulo Theories: Applications, Algorithms and Benchmarks.

Quoc-Sang Phan, Pasquale Malacaria

Proceedings of the 10th International Conference on Availability, Reliability and Security, 2015

2014

Quantifying information leaks using reliability analysis.

Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu, Marcelo d'Amorim

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Symbolic Execution as DPLL Modulo Theories.

Quoc-Sang Phan

Proceedings of the 2014 Imperial College Computing Student Workshop, 2014

Abstract model counting: a novel approach for quantification of information leaks.

Quoc-Sang Phan, Pasquale Malacaria

Proceedings of the 9th ACM Symposium on Information, Computer and Communications Security, 2014

2013

Self-composition by Symbolic Execution.

Quoc-Sang Phan

Proceedings of the 2013 Imperial College Computing Student Workshop, 2013

2012

Symbolic quantitative information flow.

Quoc-Sang Phan, Pasquale Malacaria, Oksana Tkachuk, Corina S. Pasareanu

ACM SIGSOFT Softw. Eng. Notes, 2012

2011

Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT.

Alberto Griggio, Quoc-Sang Phan, Roberto Sebastiani, Silvia Tomasi

Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

2009

Supporting Public Administration with an Integrated BPR Environment.

Aaron Ciaghi, Adolfo Villafiorita, Komminist Weldemariam, Andrea Mattioli, Quoc-Sang Phan

Proceedings of the E-Infrastructures and E-Services on Developing Countries, 2009