Quang Loc Le

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