BiB+-tree: an efficient multiversion access method for bitemporal databases. - Quang Loc Le; Tran Khanh Dang (iiWAS, 2009)

HOT aSAX: A Novel Adaptive Symbolic Representation for Time Series Discords Discovery. - Ninh D. Pham; Quang Loc Le; Tran Khanh Dang (ACIIDS (1), 2010)

Two Novel Adaptive Symbolic Representations for Similarity Search in Time Series Databases. - Ninh D. Pham; Quang Loc Le; Tran Khanh Dang (APWeb, 2010)

A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. - Wei-Ngan Chin; Cristian Gherghina; Razvan Voicu; Quang Loc Le; Florin Craciun; Shengchao Qin (CAV, 2011)

Bi-Abduction with Pure Properties for Specification Inference. - Minh-Thai Trinh; Quang Loc Le; Cristina David; Wei-Ngan Chin (APLAS, 2013)

Towards Complete Specifications with an Error Calculus. - Quang Loc Le; Asankhaya Sharma; Florin Craciun; Wei-Ngan Chin (NASA Formal Methods, 2013)

Shape Analysis via Second-Order Bi-Abduction. - Quang Loc Le; Cristian Gherghina; Shengchao Qin; Wei-Ngan Chin (CAV, 2014)

Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic. - Makoto Tatsuta; Quang Loc Le; Wei-Ngan Chin (APLAS, 2016)

Satisfiability Modulo Heap-Based Programs. - Quang Loc Le; Jun Sun 001; Wei-Ngan Chin (CAV (1), 2016)

Enhancing Automated Program Repair with Deductive Verification. - Xuan-Bach Dinh Le 001; Quang Loc Le; David Lo 001; Claire Le Goues (ICSME, 2016)

A Decision Procedure for String Logic with Equations, Regular Membership and Length Constraints. - Quang Loc Le (CoRR, 2016)

A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic. - Quang Loc Le; Makoto Tatsuta; Jun Sun 001; Wei-Ngan Chin (CAV (2), 2017)

Automatic loop-invariant generation and refinement through selective sampling. - Jiaying Li 001; Jun Sun 001; Li Li 044; Quang Loc Le; Shang-Wei Lin 001 (ASE, 2017)

Enhancing Inductive Entailment Proofs in Separation Logic with Lemma Synthesis. - Quang Loc Le (CoRR, 2017)

A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints. - Quang Loc Le; Mengda He (APLAS, 2018)

Testing heap-based programs with Java StarFinder. - Long H. Pham; Quang Loc Le; Quoc-Sang Phan; Jun Sun 001; Shengchao Qin (ICSE (Companion Volume), 2018)

Frame Inference for Inductive Entailment Proofs in Separation Logic. - Quang Loc Le; Jun Sun 001; Shengchao Qin (TACAS (1), 2018)

Decidable Logics Combining Word Equations, Regular Expressions and Length Constraints. - Quang Loc Le (CoRR, 2018)

Automatic Data Structure Repair usingSeparation Logic. - Guolong Zheng; Quang Loc Le; ThanhVu Nguyen; Quoc-Sang Phan (ACM SIGSOFT Softw. Eng. Notes, 2018)

Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning. - Long H. Pham; Jun Sun 001; Quang Loc Le (APLAS, 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 001; Shengchao Qin (ATVA, 2019)

Concolic Testing Heap-Manipulating Programs. - Long H. Pham; Quang Loc Le; Quoc-Sang Phan; Jun Sun 001 (FM, 2019)

Bi-Abductive Inference for Shape and Ordering Properties. - Christopher Curry; Quang Loc Le; Shengchao Qin (ICECCS, 2019)

SL-COMP: Competition of Solvers for Separation Logic. - Mihaela Sighireanu; Juan Antonio Navarro Pérez; Andrey Rybalchenko; Nikos Gorogiannis; Radu Iosif; Andrew Reynolds 001; Cristina Serban; Jens Katelaan; Christoph Matheja; Thomas Noll 001; Florian Zuleger; Wei-Ngan Chin; et al. (TACAS (3), 2019)

Bi-Abduction for Shapes with Ordered Data. - Christopher Curry; Quang Loc Le (CoRR, 2020)

ReFixar: Multi-version Reasoning for Automated Repair of Regression Errors. - Xuan-Bach Dinh Le; Quang Loc Le (ISSRE, 2021)

Compositional Satisfiability Solving in Separation Logic. - Quang Loc Le (VMCAI, 2021)

S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs. - Quang Loc Le; Jun Sun 001; Long H. Pham; Shengchao Qin (CoRR, 2022)

Finding real bugs in big programs with incorrectness logic. - Quang Loc Le; Azalea Raad; Jules Villard; Josh Berdine; Derek Dreyer; Peter W. O'Hearn (Proc. ACM Program. Lang., 2022)

Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection. - Wenhua Li; Quang Loc Le; Yahui Song; Wei-Ngan Chin (APLAS, 2023)

An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic. - Quang Loc Le; Xuan-Bach Dinh Le (FoSSaCS, 2023)

An Idealist's Approach for Smart Contract Correctness. - Tai D. Nguyen; Long H. Pham; Jun Sun 001; Quang Loc Le (ICFEM, 2023)

Inferring Incorrectness Specifications for Object-Oriented Programs. - Wenhua Li; Quang Loc Le; Yahui Song; Wei-Ngan Chin (TACAS (1), 2025)

Cyclic Proofs in Hoare Logic and its Reverse. - James Brotherston; Quang Loc Le; Gauri Desai; Yukihiro Oda (CoRR, 2025)