| Automated verification of shape and size properties via separation logic HH Nguyen, C David, S Qin, WN Chin Verification, Model Checking, and Abstract Interpretation: 8th International …, 2007 | 207 | 2007 |
| 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 | 197 | 2012 |
| Calculating sized types WN Chin, SC Khoo Higher-Order and Symbolic Computation 14 (2-3), 261-300, 2001 | 150 | 2001 |
| Towards an automated tupling strategy WN Chin Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and …, 1993 | 139 | 1993 |
| Safe fusion of functional expressions WN Chin Proceedings of the 1992 ACM Conference on LISP and Functional Programming, 11-20, 1992 | 126 | 1992 |
| Enhancing modular OO verification with separation logic WN Chin, C David, HH Nguyen, S Qin ACM SIGPLAN Notices 43 (1), 87-99, 2008 | 95 | 2008 |
| Memory usage verification for oo programs WN Chin, HH Nguyen, S Qin, M Rinard Static Analysis: 12th International Symposium, SAS 2005, London, UK …, 2005 | 93 | 2005 |
| Parallelization in calculational forms Z Hu, M Takeichi, WN Chin Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998 | 92 | 1998 |
| Enhancing program verification with lemmas HH Nguyen, WN Chin Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008 | 91 | 2008 |
| Inferring disjunctive postconditions C Popeea, WN Chin Lecture Notes in Computer Science 4435, 331-345, 2007 | 90 | 2007 |
| Automatic methods for program transformation WN Chin Imperial College London, 1990 | 83 | 1990 |
| Safe fusion of functional expressions II: Further improvements WN Chin Journal of functional programming 4 (4), 515-555, 1994 | 75 | 1994 |
| 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 | 72 | 2008 |
| Region inference for an object-oriented language WN Chin, F Craciun, S Qin, M Rinard ACM SIGPLAN Notices 39 (6), 243-254, 2004 | 66 | 2004 |
| 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 | 65 | 2014 |
| A semantic foundation for TCOZ in unifying theories of programming S Qin, JS Dong, WN Chin FME 3, 321-340, 2003 | 65 | 2003 |
| Termination and non-termination specification inference TC Le, S Qin, WN Chin Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015 | 50 | 2015 |
| 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 |
| Parallelization via context preservation WN Chin, A Takano, Z Hu Proceedings of the 1998 International Conference on Computer Languages (Cat …, 1998 | 45 | 1998 |
| Satisfiability modulo heap-based programs QL Le, J Sun, WN Chin Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 42 | 2016 |
