| 2025 | TACAS | Inferring Incorrectness Specifications for Object-Oriented Programs. | Wenhua Li, Quang Loc Le, Yahui Song, Wei-Ngan Chin |
| 2023 | APLAS | Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection. | Wenhua Li, Quang Loc Le, Yahui Song, Wei-Ngan Chin |
| 2023 | FOSSACS | An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic. | Quang Loc Le, Xuan-Bach Dinh Le |
| 2023 | ICFEM | An Idealist's Approach for Smart Contract Correctness. | Tai D. Nguyen, Long H. Pham, Jun Sun, Quang Loc Le |
| 2021 | ISSRE | ReFixar: Multi-version Reasoning for Automated Repair of Regression Errors. | Xuan-Bach Dinh Le, Quang Loc Le |
| 2021 | VMCAI | Compositional Satisfiability Solving in Separation Logic. | Quang Loc Le |
| 2019 | APLAS | Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning. | Long H. Pham, Jun Sun, Quang Loc Le |
| 2019 | ATVA | 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 |
| 2019 | FM | Concolic Testing Heap-Manipulating Programs. | Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun |
| 2019 | ICECCS | Bi-Abductive Inference for Shape and Ordering Properties. | Christopher Curry, Quang Loc Le, Shengchao Qin |
| 2019 | TACAS | SL-COMP: Competition of Solvers for Separation Logic. | Mihaela Sighireanu, Juan Antonio Navarro Prez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Toms Vojnar, Constantin Enea, Ondrej Lengl, Chong Gao, Zhilin Wu |
| 2018 | APLAS | A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints. | Quang Loc Le, Mengda He |
| 2018 | ICSE | Testing heap-based programs with Java StarFinder. | Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin |
| 2018 | TACAS | Frame Inference for Inductive Entailment Proofs in Separation Logic. | Quang Loc Le, Jun Sun, Shengchao Qin |
| 2017 | CAV | A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic. | Quang Loc Le, Makoto Tatsuta, Jun Sun, Wei-Ngan Chin |
| 2016 | APLAS | Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic. | Makoto Tatsuta, Quang Loc Le, Wei-Ngan Chin |
| 2016 | CAV | Satisfiability Modulo Heap-Based Programs. | Quang Loc Le, Jun Sun, Wei-Ngan Chin |
| 2014 | CAV | Shape Analysis via Second-Order Bi-Abduction. | Quang Loc Le, Cristian Gherghina, Shengchao Qin, Wei-Ngan Chin |
| 2013 | APLAS | Bi-Abduction with Pure Properties for Specification Inference. | Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin |
| 2011 | CAV | A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. | Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin |
| 2010 | ACIIDS | HOT | Ninh D. Pham, Quang Loc Le, Tran Khanh Dang |
| 2010 | APWEB | Two Novel Adaptive Symbolic Representations for Similarity Search in Time Series Databases. | Ninh D. Pham, Quang Loc Le, Tran Khanh Dang |
| 2009 | IIWAS | BiB | Quang Loc Le, Tran Khanh Dang |