| 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 | 211 | 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 | 208 | 2007 |
| Calculating sized types WN Chin, SC Khoo Higher-Order and Symbolic Computation 14 (2), 261-300, 2001 | 156 | 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 | 135 | 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 | 96 | 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 |
| Inferring disjunctive postconditions C Popeea, WN Chin Annual Asian Computing Science Conference, 331-345, 2006 | 92 | 2006 |
| Enhancing program verification with lemmas HH Nguyen, WN Chin Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008 | 91 | 2008 |
| Automatic methods for program transformation WN Chin University of London, 1990 | 86 | 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 | 85 | 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 | 79 | 2008 |
| Safe fusion of functional expressions II: Further improvements WN Chin Journal of functional programming 4 (4), 515-555, 1994 | 76 | 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 | 60 | 2015 |
| 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 |
| A relational model for object-oriented designs J He, Z Liu, X Li, S Qin, WN Chin | 48 | 2004 |
