Quang Loc Le

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

Quang Loc Le

Quang Loc Le: separation logic decided and applied - a decidable fragment with inductive predicates and arithmetic, SL-COMP, and symbolic execution for test generation from heap programs.

Finding real bugs in big programs with incorrectness logic

Quang Loc Le and others (2022) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery

Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation

Long H. Pham and others (2019) · Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings · Springer

SL-COMP: Competition of Solvers for Separation Logic

Mihaela Sighireanu and others (2019) · International Conference on Tools and Algorithms for the Construction and Analysis of Systems · Springer

A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic

Quang Loc Le and others (2017) · Computer Aided Verification · Springer