| Shape analysis via second-order bi-abduction QL Le, C Gherghina, S Qin, WN Chin International Conference on Computer Aided Verification, 52-68, 2014 | 53 | 2014 |
| 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 | 46 | 2016 |
| Satisfiability modulo heap-based programs QL Le, J Sun, WN Chin International Conference on Computer Aided Verification, 382-404, 2016 | 36 | 2016 |
| 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 | 32 | 2010 |
| 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 | 27 | 2017 |
| 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 | 22 | 2010 |
| Bi-Abduction with Pure Properties for Specification Inference. MT Trinh, QL Le, C David, WN Chin APLAS, 107-123, 2013 | 20 | 2013 |
| Towards complete specifications with an error calculus QL Le, A Sharma, F Craciun, WN Chin NASA Formal Methods Symposium, 291-306, 2013 | 17 | 2013 |
| 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 | 15 | 2016 |
| 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 | 14 | 2017 |
| 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 | 13 | 2018 |
| 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 | 12 | 2019 |
| 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 | 12 | 2018 |
| 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 | 12 | 2011 |
| Concolic testing heap-manipulating programs LH Pham, QL Le, QS Phan, J Sun International Symposium on Formal Methods, 442-461, 2019 | 8 | 2019 |
| 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 | 8 | 2019 |
| 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 | 8 | 2010 |
| 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 | 6 | 2018 |
| HIPrec: Verifying recursive programs with a satisfiability solver QL Le, M Tran, WN Chin https://loc.bitbucket.io/papers/hiprec.pdf, 2016 | 2 | 2016 |
| BiB+-tree: an efficient multiversion access method for bitemporal databases QL Le, TK Dang Proceedings of the 11th International Conference on Information Integration …, 2009 | 2 | 2009 |
Wei Ngan ChinNational University of SingaporeVerified email at comp.nus.edu.sg
