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
532014
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
482016
Satisfiability modulo heap-based programs
QL Le, J Sun, WN Chin
International Conference on Computer Aided Verification, 382-404, 2016
372016
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
322010
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
292017
Bi-Abduction with Pure Properties for Specification Inference.
MT Trinh, QL Le, C David, WN Chin
APLAS, 107-123, 2013
212013
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
212010
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
202017
Towards complete specifications with an error calculus
QL Le, A Sharma, F Craciun, WN Chin
NASA Formal Methods Symposium, 291-306, 2013
172013
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
152019
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
152016
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
132018
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
122018
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
122011
Concolic testing heap-manipulating programs
LH Pham, QL Le, QS Phan, J Sun
International Symposium on Formal Methods, 442-461, 2019
102019
SL-COMP: Competition of solvers for separation logic
M Sighireanu, JN Pérez, A Rybalchenko, N Gorogiannis, R Iosif, ...
Tools and Algorithms for the Construction and Analysis of Systems-25 Years …, 2019
92019
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
82010
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
72018
Automatic data structure repair using separation logic
G Zheng, QL Le, TV Nguyen, QS Phan
ACM SIGSOFT Software Engineering Notes, 2018
22018
HIPrec: Verifying recursive programs with a satisfiability solver
QL Le, M Tran, WN Chin
https://loc.bitbucket.io/papers/hiprec.pdf, 2016
22016
The system can't perform the operation now. Try again later.
Articles 1–20