Quang Loc Le

According to our database, Quang Loc Le authored at least 32 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

An Idealist's Approach for Smart Contract Correctness.

Tai D. Nguyen, Long H. Pham, Jun Sun, Quang Loc Le

Proceedings of the Formal Methods and Software Engineering, 2023

An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic.

Quang Loc Le, Xuan-Bach Dinh Le

Proceedings of the Foundations of Software Science and Computation Structures, 2023

Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection.

Wenhua Li, Quang Loc Le, Yahui Song, Wei-Ngan Chin

Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

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

S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs.

Quang Loc Le, Jun Sun, Long H. Pham, Shengchao Qin

CoRR, 2022

2021

Compositional Satisfiability Solving in Separation Logic.

Quang Loc Le

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

ReFixar: Multi-version Reasoning for Automated Repair of Regression Errors.

Xuan-Bach Dinh Le, Quang Loc Le

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

2020

Bi-Abduction for Shapes with Ordered Data.

Christopher Curry, Quang Loc Le

CoRR, 2020

2019

SL-COMP: Competition of Solvers for Separation Logic.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Bi-Abductive Inference for Shape and Ordering Properties.

Christopher Curry, Quang Loc Le, Shengchao Qin

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

Concolic Testing Heap-Manipulating Programs.

Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 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, Shengchao Qin

Proceedings of the Automated Technology for Verification and Analysis, 2019

Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning.

Long H. Pham, Jun Sun, Quang Loc Le

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Automatic Data Structure Repair usingSeparation Logic.

Guolong Zheng, Quang Loc Le, ThanhVu Nguyen, Quoc-Sang Phan

ACM SIGSOFT Softw. Eng. Notes, 2018

Decidable Logics Combining Word Equations, Regular Expressions and Length Constraints.

Quang Loc Le

CoRR, 2018

Frame Inference for Inductive Entailment Proofs in Separation Logic.

Quang Loc Le, Jun Sun, Shengchao Qin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Testing heap-based programs with Java StarFinder.

Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints.

Quang Loc Le, Mengda He

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017

Enhancing Inductive Entailment Proofs in Separation Logic with Lemma Synthesis.

Quang Loc Le

CoRR, 2017

Automatic loop-invariant generation and refinement through selective sampling.

Jiaying Li, Jun Sun, Li Li, Quang Loc Le, Shang-Wei Lin

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic.

Quang Loc Le, Makoto Tatsuta, Jun Sun, Wei-Ngan Chin

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

A Decision Procedure for String Logic with Equations, Regular Membership and Length Constraints.

Quang Loc Le

CoRR, 2016

Enhancing Automated Program Repair with Deductive Verification.

Xuan-Bach Dinh Le, Quang Loc Le, David Lo, Claire Le Goues

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

Satisfiability Modulo Heap-Based Programs.

Quang Loc Le, Jun Sun, Wei-Ngan Chin

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic.

Makoto Tatsuta, Quang Loc Le, Wei-Ngan Chin

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2014

Shape Analysis via Second-Order Bi-Abduction.

Quang Loc Le, Cristian Gherghina, Shengchao Qin, Wei-Ngan Chin

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Towards Complete Specifications with an Error Calculus.

Quang Loc Le, Asankhaya Sharma, Florin Craciun, Wei-Ngan Chin

Proceedings of the NASA Formal Methods, 2013

Bi-Abduction with Pure Properties for Specification Inference.

Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2011

A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification.

Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Two Novel Adaptive Symbolic Representations for Similarity Search in Time Series Databases.

Ninh D. Pham, Quang Loc Le, Tran Khanh Dang

Proceedings of the Advances in Web Technologies and Applications, 2010

HOT <i>a</i>SAX: A Novel Adaptive Symbolic Representation for Time Series Discords Discovery.

Ninh D. Pham, Quang Loc Le, Tran Khanh Dang

Proceedings of the Intelligent Information and Database Systems, 2010

2009

BiB⁺-tree: an efficient multiversion access method for bitemporal databases.

Quang Loc Le, Tran Khanh Dang

Proceedings of the iiWAS'2009, 2009