Следене
Quang Loc Le
Quang Loc Le
Потвърден имейл адрес: ucl.ac.uk - Начална страница
Заглавие
Позовавания
Позовавания
Година
Shape analysis via second-order bi-abduction
QL Le, C Gherghina, S Qin, WN Chin
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
652014
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
552016
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
462010
Satisfiability modulo heap-based programs
QL Le, J Sun, WN Chin
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
422016
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
392017
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
292017
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
282010
Bi-Abduction with Pure Properties for Specification Inference.
MT Trinh, QL Le, C David, WN Chin
APLAS, 107-123, 2013
242013
SL-COMP: competition of solvers for separation logic
M Sighireanu, JA Navarro Pérez, A Rybalchenko, N Gorogiannis, R Iosif, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
212019
Enhancing symbolic execution of heap-based programs with separation logic for test input generation
LH Pham, QL Le, QS Phan, J Sun, S Qin
Automated Technology for Verification and Analysis: 17th International …, 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
202018
Towards complete specifications with an error calculus
QL Le, A Sharma, F Craciun, WN Chin
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013
182013
Decision procedure for separation logic with inductive definitions and presburger arithmetic
M Tatsuta, QL Le, WN Chin
Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi …, 2016
162016
Testing heap-based programs with Java StarFinder
LH Pham, QL Le, QS Phan, J Sun, S Qin
Proceedings of the 40th International Conference on Software Engineering …, 2018
142018
A decision procedure for string logic with quadratic equations, regular expressions and length constraints
QL Le, M He
Programming Languages and Systems: 16th Asian Symposium, APLAS 2018 …, 2018
142018
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
Finding real bugs in big programs with incorrectness logic
QL Le, A Raad, J Villard, J Berdine, D Dreyer, PW O'Hearn
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-27, 2022
122022
Concolic testing heap-manipulating programs
LH Pham, QL Le, QS Phan, J Sun
Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 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
Automatic data structure repair using separation logic
G Zheng, QL Le, TV Nguyen, QS Phan
ACM SIGSOFT Software Engineering Notes, 2018
62018
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20