Quang Loc Le
Quang Loc Le
Dirección de correo verificada de ucl.ac.uk - Página principal
Título
Citado por
Citado por
Año
Shape analysis via second-order bi-abduction
QL Le, C Gherghina, S Qin, WN Chin
International Conference on Computer Aided Verification, 52-68, 2014
482014
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
372016
Satisfiability modulo heap-based programs
QL Le, J Sun, WN Chin
International Conference on Computer Aided Verification, 382-404, 2016
362016
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
292010
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
232017
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
202010
Bi-Abduction with Pure Properties for Specification Inference.
MT Trinh, QL Le, C David, WN Chin
APLAS, 107-123, 2013
192013
Towards complete specifications with an error calculus
QL Le, A Sharma, F Craciun, WN Chin
NASA Formal Methods Symposium, 291-306, 2013
162013
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
142017
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
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
112018
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
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
102019
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
102018
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
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
62019
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
32018
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20