| 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 | 86 | 2014 |
| 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 | 67 | 2022 |
| 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 | 61 | 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 | 55 | 2010 |
| Satisfiability modulo heap-based programs QL Le, J Sun, WN Chin Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 49 | 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 | 43 | 2017 |
| 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 | 43 | 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 | 35 | 2010 |
| 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 | 28 | 2018 |
| Bi-Abduction with Pure Properties for Specification Inference. MT Trinh, QL Le, C David, WN Chin APLAS, 107-123, 2013 | 27 | 2013 |
| 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 | 25 | 2019 |
| 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 | 25 | 2019 |
| 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 | 21 | 2018 |
| 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 | 20 | 2013 |
| 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 | 19 | 2016 |
| 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 | 18 | 2018 |
| 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 | 18 | 2010 |
| 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 | 14 | 2019 |
| Compositional satisfiability solving in separation logic QL Le Verification, Model Checking, and Abstract Interpretation: 22nd …, 2021 | 11 | 2021 |
| 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 | 11 | 2011 |
Wei Ngan ChinNational University of SingaporeEmail verificata su comp.nus.edu.sg
