Get started
Author

Quang Loc Le

Finding real bugs in big programs with incorrectness logic
2022 · Quang Loc Le, Azalea Raad, et al. · Proceedings of the ACM on Programming Languages · 89
PDF
Shape Analysis via Second-Order Bi-Abduction
2014 · Quang Loc Le, Cristian Gherghina, et al. · Lecture notes in computer science · 53
PDF
Enhancing Automated Program Repair with Deductive Verification
2016 · Xuan-Bach D. Le, Quang Loc Le, et al. · IEEE International Conference on Software Maintenance (ICSM) · 43
PDF
Two Novel Adaptive Symbolic Representations for Similarity Search in Time Series Databases
2010 · Ninh D. Pham, Quang Loc Le, et al. · Asia-Pacific Web Conference · 42
Automatic loop-invariant generation anc refinement through selective sampling
2017 · Jiaying Li, Jun Sun, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 36
PDF
A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic
2017 · Quang Loc Le, Makoto Tatsuta, et al. · Lecture notes in computer science · 32
Satisfiability Modulo Heap-Based Programs
2016 · Quang Loc Le, Jun Sun, et al. · Lecture notes in computer science · 31
PDF
Frame Inference for Inductive Entailment Proofs in Separation Logic
2018 · Quang Loc Le, Jun Sun, et al. · Lecture notes in computer science · 22
PDF
A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints
2018 · Quang Loc Le, Mengda He · Lecture notes in computer science · 21
Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation
2019 · Long H. Pham, Quang Loc Le, et al. · Lecture notes in computer science · 20
HOT aSAX: A Novel Adaptive Symbolic Representation for Time Series Discords Discovery
2010 · Ninh D. Pham, Quang Loc Le, et al. · Lecture notes in computer science · 20
SL-COMP: Competition of Solvers for Separation Logic
2019 · Mihaela Sighireanu, Juan A. Navarro Pérez, et al. · Lecture notes in computer science · 14
PDF
Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic
2016 · Makoto Tatsuta, Quang Loc Le, et al. · Lecture notes in computer science · 14
PDF
Bi-Abduction with Pure Properties for Specification Inference
2013 · Minh-Thai Trinh, Quang Loc Le, et al. · Lecture notes in computer science · 14
Testing heap-based programs with Java StarFinder
2018 · Long H. Pham, Quang Loc Le, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 13
Concolic Testing Heap-Manipulating Programs
2019 · Long H. Pham, Quang Loc Le, et al. · Lecture notes in computer science · 11
PDF
Towards Complete Specifications with an Error Calculus
2013 · Quang Loc Le, Asankhaya Sharma, et al. · Lecture notes in computer science · 10
A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification
2011 · Wei-Ngan Chin, Cristian Gherghina, et al. · Lecture notes in computer science · 10
PDF
Cyclic Proofs in Hoare Logic and its Reverse
2025 · James Brotherston, Quang Loc Le, et al. · Electronic Notes in Theoretical Informatics and Computer Science · 7
PDF
An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic
2023 · Quang Loc Le, Xuan-Bach D. Le · Lecture notes in computer science · 7
PDF
Compositional Satisfiability Solving in Separation Logic
2021 · Quang Loc Le · Lecture notes in computer science · 5
Bi-Abductive Inference for Shape and Ordering Properties
2019 · Christopher Curry, Quang Loc Le, et al. · IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) · 5
PDF
ReFixar: Multi-version Reasoning for Automated Repair of Regression Errors
2021 · Xuan-Bach D. Le, Quang Loc Le · Proceedings/Proceedings - International Symposium on Software Reliability Engineering · 4
PDF
Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning
2019 · Long H. Pham, Jun Sun, et al. · Lecture notes in computer science · 4
Automatic Data Structure Repair usingSeparation Logic
2018 · Guolong Zheng, Quang Loc Le, et al. · ACM SIGSOFT Software Engineering Notes · 4
Works count: 39
Citation count: 541
H-index: 14
I10-index: 18
Year
Topic
Type