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
472014
Satisfiability modulo heap-based programs
QL Le, J Sun, WN Chin
International Conference on Computer Aided Verification, 382-404, 2016
362016
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
332016
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
282010
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
222017
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
182010
Bi-Abduction with Pure Properties for Specification Inference.
MT Trinh, QL Le, C David, WN Chin
APLAS, 107-123, 2013
172013
Towards complete specifications with an error calculus
QL Le, A Sharma, F Craciun, WN Chin
NASA Formal Methods Symposium, 291-306, 2013
162013
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
132016
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
112011
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
102018
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
102017
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
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
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
72018
Concolic testing heap-manipulating programs
LH Pham, QL Le, QS Phan, J Sun
International Symposium on Formal Methods, 442-461, 2019
62019
SL-COMP: Competition of solvers for separation logic
M Sighireanu, JAN Pérez, A Rybalchenko, N Gorogiannis, R Iosif, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
32019
HIPrec: Verifying recursive programs with a satisfiability solver
QL Le, M Tran, WN Chin
https://loc.bitbucket.io/papers/hiprec.pdf, 2016
22016
BiB+-tree: an efficient multiversion access method for bitemporal databases
QL Le, TK Dang
Proceedings of the 11th International Conference on Information Integration …, 2009
22009
Compositional verification of heap-manipulating programs through property-guided learning
LH Pham, J Sun, QL Le
Asian Symposium on Programming Languages and Systems, 405-424, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–20