Follow
Quang Loc Le
Title
Cited by
Cited by
Year
Shape analysis via second-order bi-abduction
QL Le, C Gherghina, S Qin, WN Chin
International Conference on Computer Aided Verification, 52-68, 2014
632014
Enhancing automated program repair with deductive verification
XBD Le, QL Le, D Lo, C Le Goues
2016 IEEE International Conference on Software Maintenance and Evolution …, 2016
522016
Satisfiability modulo heap-based programs
QL Le, J Sun, WN Chin
International Conference on Computer Aided Verification, 382-404, 2016
432016
Two novel adaptive symbolic representations for similarity search in time series databases
ND Pham, QL Le, TK Dang
2010 12th International Asia-Pacific Web Conference, 181-187, 2010
422010
A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic
QL Le, M Tatsuta, J Sun, WN Chin
International Conference on Computer Aided Verification, 495-517, 2017
402017
Automatic loop-invariant generation anc refinement through selective sampling
J Li, J Sun, L Li, QL Le, SW Lin
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
272017
HOT aSAX: a novel adaptive symbolic representation for time series discords discovery
N Pham, QL Le, T Dang
Intelligent Information and Database Systems, 113-121, 2010
262010
Bi-Abduction with Pure Properties for Specification Inference.
MT Trinh, QL Le, C David, WN Chin
APLAS, 107-123, 2013
242013
Enhancing symbolic execution of heap-based programs with separation logic for test input generation
LH Pham, QL Le, QS Phan, J Sun, S Qin
International Symposium on Automated Technology for Verification and …, 2019
202019
SL-COMP: competition of solvers for separation logic
M Sighireanu, JA Navarro Pérez, A Rybalchenko, N Gorogiannis, R Iosif, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
202019
Frame Inference for Inductive Entailment Proofs in Separation Logic
QL Le, J Sun, S Qin
24th International Conference on Tools and Algorithms for the Construction …, 2018
192018
Towards complete specifications with an error calculus
QL Le, A Sharma, F Craciun, WN Chin
NASA Formal Methods Symposium, 291-306, 2013
182013
Decision procedure for separation logic with inductive definitions and presburger arithmetic
M Tatsuta, QL Le, WN Chin
Asian Symposium on Programming Languages and Systems, 423-443, 2016
172016
Poster: Testing heap-based programs with Java StarFinder
LH Pham, QL Le, QS Phan, J Sun, S Qin
2018 IEEE/ACM 40th International Conference on Software Engineering …, 2018
152018
A specialization calculus for pruning disjunctive predicates to support verification
WN Chin, C Gherghina, R Voicu, QL Le, F Craciun, S Qin
Computer Aided Verification, 293-309, 2011
132011
Concolic testing heap-manipulating programs
LH Pham, QL Le, QS Phan, J Sun
International Symposium on Formal Methods, 442-461, 2019
122019
Impact assessment of free trade agreement on Vietnam’s economy
J Cassing, R Trewin, D Vanzetti, DT Truong, AD Nguyen, QL Le, TD Le
Hanoi, Vietnam: MUTRAP, 2010
112010
A decision procedure for string logic with quadratic equations, regular expressions and length constraints
QL Le, M He
Asian Symposium on Programming Languages and Systems, 350-372, 2018
92018
Compositional Satisfiability Solving in Separation Logic
QL Le
International Conference on Verification, Model Checking, and Abstract …, 2021
52021
Bi-abductive inference for shape and ordering properties
C Curry, QL Le, S Qin
2019 24th International Conference on Engineering of Complex Computer …, 2019
42019
The system can't perform the operation now. Try again later.
Articles 1–20