Quang Loc Le

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 28

Top Topics

Symbolic Execution

Regular Expressions

Abductive Inference

Textual Entailment

Top Venues

Publications

Wenhua Li, Quang Loc Le, Yahui Song, Wei-Ngan Chin
Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection. APLAS (2023)
Quang Loc Le, Xuan-Bach D. Le
An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic. FoSSaCS (2023)
Tai D. Nguyen, Long H. Pham, Jun Sun, Quang Loc Le
An Idealist's Approach for Smart Contract Correctness. ICFEM (2023)
Quang Loc Le, Azalea Raad, Jules Villard, Josh Berdine, Derek Dreyer, Peter W. O'Hearn
Finding real bugs in big programs with incorrectness logic. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Quang Loc Le, Jun Sun, Long H. Pham, Shengchao Qin
S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs. CoRR (2022)
Quang Loc Le, Xuan-Bach D. Le
An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic. CoRR (2022)
Xuan-Bach D. Le, Quang Loc Le
ReFixar: Multi-version Reasoning for Automated Repair of Regression Errors. ISSRE (2021)
Quang Loc Le
Compositional Satisfiability Solving in Separation Logic. VMCAI (2021)
Christopher Curry, Quang Loc Le
Bi-Abduction for Shapes with Ordered Data. CoRR (2020)
Christopher Curry, Quang Loc Le, Shengchao Qin
Bi-Abductive Inference for Shape and Ordering Properties. ICECCS (2019)
Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun
Concolic Testing Heap-Manipulating Programs. FM (2019)
Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun
Concolic Testing Heap-Manipulating Programs. CoRR (2019)
Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin
Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation. ATVA (2019)
Long H. Pham, Jun Sun, Quang Loc Le
Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning. APLAS (2019)
Long H. Pham, Jun Sun, Quang Loc Le
Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning. CoRR (2019)
Mihaela Sighireanu, Juan Antonio Navarro Pérez, 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, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu
SL-COMP: Competition of Solvers for Separation Logic. TACAS (3) (2019)
Quang Loc Le, Mengda He
A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints. APLAS (2018)
Quang Loc Le
Decidable Logics Combining Word Equations, Regular Expressions and Length Constraints. CoRR (2018)
Quang Loc Le, Jun Sun, Shengchao Qin
Frame Inference for Inductive Entailment Proofs in Separation Logic. TACAS (1) (2018)
Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin
Testing heap-based programs with Java StarFinder. ICSE (Companion Volume) (2018)
Guolong Zheng, Quang Loc Le, ThanhVu Nguyen, Quoc-Sang Phan
Automatic Data Structure Repair usingSeparation Logic. ACM SIGSOFT Softw. Eng. Notes 43 (4) (2018)
Quang Loc Le
Enhancing Inductive Entailment Proofs in Separation Logic with Lemma Synthesis. CoRR (2017)
Quang Loc Le, Makoto Tatsuta, Jun Sun, Wei-Ngan Chin
A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic. CAV (2) (2017)
Jiaying Li, Jun Sun, Li Li, Quang Loc Le, Shang-Wei Lin
Automatic loop-invariant generation and refinement through selective sampling. ASE (2017)
Quang Loc Le
A Decision Procedure for String Logic with Equations, Regular Membership and Length Constraints. CoRR (2016)
Xuan-Bach Dinh Le, Quang Loc Le, David Lo, Claire Le Goues
Enhancing Automated Program Repair with Deductive Verification. ICSME (2016)
Makoto Tatsuta, Quang Loc Le, Wei-Ngan Chin
Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic. APLAS (2016)
Quang Loc Le, Jun Sun, Wei-Ngan Chin
Satisfiability Modulo Heap-Based Programs. CAV (1) (2016)
Quang Loc Le, Cristian Gherghina, Shengchao Qin, Wei-Ngan Chin
Shape Analysis via Second-Order Bi-Abduction. CAV (2014)
Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin
Bi-Abduction with Pure Properties for Specification Inference. APLAS (2013)
Quang Loc Le, Asankhaya Sharma, Florin Craciun, Wei-Ngan Chin
Towards Complete Specifications with an Error Calculus. NASA Formal Methods (2013)
Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin
A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. CAV (2011)
Ninh D. Pham, Quang Loc Le, Tran Khanh Dang
SAX: A Novel Adaptive Symbolic Representation for Time Series Discords Discovery. ACIIDS (1) (2010)
Ninh D. Pham, Quang Loc Le, Tran Khanh Dang
Two Novel Adaptive Symbolic Representations for Similarity Search in Time Series Databases. APWeb (2010)
Quang Loc Le, Tran Khanh Dang
-tree: an efficient multiversion access method for bitemporal databases. iiWAS (2009)