Follow
Wei Ngan Chin
Title
Cited by
Cited by
Year
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
2072007
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
1962012
Calculating sized types
WN Chin, SC Khoo
Higher-Order and Symbolic Computation 14 (2-3), 261-300, 2001
1482001
Towards an automated tupling strategy
WN Chin
Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and …, 1993
1391993
Safe fusion of functional expressions
WN Chin
Proceedings of the 1992 ACM Conference on LISP and Functional Programming, 11-20, 1992
1251992
Enhancing modular OO verification with separation logic
WN Chin, C David, HH Nguyen, S Qin
ACM SIGPLAN Notices 43 (1), 87-99, 2008
952008
Memory usage verification for oo programs
WN Chin, HH Nguyen, S Qin, M Rinard
Static Analysis: 12th International Symposium, SAS 2005, London, UK …, 2005
932005
Parallelization in calculational forms
Z Hu, M Takeichi, WN Chin
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998
921998
Enhancing program verification with lemmas
HH Nguyen, WN Chin
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
902008
Inferring disjunctive postconditions
C Popeea, WN Chin
Lecture Notes in Computer Science 4435, 331-345, 2007
902007
Automatic methods for program transformation
WN Chin
Imperial College London, 1990
831990
Safe fusion of functional expressions II: Further improvements
WN Chin
Journal of functional programming 4 (4), 515-555, 1994
751994
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
722008
Region inference for an object-oriented language
WN Chin, F Craciun, S Qin, M Rinard
ACM SIGPLAN Notices 39 (6), 243-254, 2004
662004
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
652014
A semantic foundation for TCOZ in unifying theories of programming
S Qin, JS Dong, WN Chin
FME 3, 321-340, 2003
652003
Termination and non-termination specification inference
TC Le, S Qin, WN Chin
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
492015
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
482005
Parallelization via context preservation
WN Chin, A Takano, Z Hu
Proceedings of the 1998 International Conference on Computer Languages (Cat …, 1998
451998
Satisfiability modulo heap-based programs
QL Le, J Sun, WN Chin
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
422016
The system can't perform the operation now. Try again later.
Articles 1–20