| Automated verification of shape, size and bag properties via user-defined predicates in separation logic WN Chin, C David, HH Nguyen, S Qin Science of Computer Programming 77 (9), 1006-1036, 2012 | 212 | 2012 |
| Automated verification of shape and size properties via separation logic HH Nguyen, C David, S Qin, WN Chin International Workshop on Verification, Model Checking, and Abstract …, 2007 | 210 | 2007 |
| Calculating sized types WN Chin, SC Khoo Higher-Order and Symbolic Computation 14 (2), 261-300, 2001 | 157 | 2001 |
| Towards an automated tupling strategy WN Chin Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and …, 1993 | 152 | 1993 |
| Safe fusion of functional expressions WN Chin Proceedings of the 1992 ACM Conference on LISP and Functional Programming, 11-20, 1992 | 136 | 1992 |
| Enhancing modular OO verification with separation logic WN Chin, C David, HH Nguyen, S Qin ACM SIGPLAN Notices 43 (1), 87-99, 2008 | 99 | 2008 |
| Memory usage verification for oo programs WN Chin, HH Nguyen, S Qin, M Rinard International Static Analysis Symposium, 70-86, 2005 | 97 | 2005 |
| Parallelization in calculational forms Z Hu, M Takeichi, WN Chin Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998 | 96 | 1998 |
| Enhancing program verification with lemmas HH Nguyen, WN Chin Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008 | 93 | 2008 |
| Inferring disjunctive postconditions C Popeea, WN Chin Annual Asian Computing Science Conference, 331-345, 2006 | 93 | 2006 |
| Automatic methods for program transformation WN Chin University of London, 1990 | 87 | 1990 |
| 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 |
| Analysing memory resource bounds for low-level programs WN Chin, HH Nguyen, C Popeea, S Qin Proceedings of the 7th international symposium on Memory management, 151-160, 2008 | 80 | 2008 |
| Safe fusion of functional expressions II: Further improvements WN Chin Journal of functional programming 4 (4), 515-555, 1994 | 77 | 1994 |
| Region inference for an object-oriented language WN Chin, F Craciun, S Qin, M Rinard ACM SIGPLAN Notices 39 (6), 243-254, 2004 | 68 | 2004 |
| A semantic foundation for TCOZ in unifying theories of programming S Qin, JS Dong, WN Chin FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003 | 67 | 2003 |
| Termination and non-termination specification inference TC Le, S Qin, WN Chin Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015 | 62 | 2015 |
| Automated lemma synthesis in symbolic-heap separation logic QT Ta, TC Le, SC Khoo, WN Chin Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017 | 51 | 2017 |
| Satisfiability modulo heap-based programs QL Le, J Sun, WN Chin Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 49 | 2016 |
| Verifying safety policies with size properties and alias controls WN Chin, SC Khoo, S Qin, C Popeea, HH Nguyen Proceedings of the 27th international conference on Software engineering …, 2005 | 48 | 2005 |
