1. ScholarBank@NUS

Wei Ngan Chin

rp02769

Collaboration Map View Statistics Email Alert RSS Feed

Profile

Full Name
Wei Ngan Chin
Variants
Chin, W.-N.
Chin, W.N.
Chin, Wei-Ngan
 
Main Affiliation
 
Faculty
 
Email
dcscwn@nus.edu.sg
 

Publications

Results 61-80 of 87 (Search time: 0.005 seconds).

Issue DateTitleAuthor(s)
612005Memory usage verification for OO programsChin, W.-N. ; Nguyen, H.H.; Qin, S.; Rinard, M.
622009Memory usage verification using Hip/SleekHe, G.; Qin, S.; Luo, C.; Chin, W.-N. 
632007Multiple pre/post specifications for heap-manipulating methodsChin, W.-N. ; David, C.; Nguyen, H.H.; Qin, S.
642009Optimizing the parallel computation of linear recurrences using compact matrix representationsNistor, A.; Chin, W.-N. ; Tan, T.-S. ; Tapus, N.
651998Parallelization via context preservationChin, Wei-Ngan ; Takano, Akihiko; Hu, Zhenjiang
662012Proceedings for FTfJP 2012: The 14th Workshop on Formal Techniques for Java-Like Programs - Co-located with ECOOP 2012 and PLDI 2012, Papers Presented at the Workshop: ForewordChin, W.-N. ; Hobor, A. 
672006Redundant call elimination via tuplingChin, W.-N. ; Khoo, S.-C. ; Jones, N.
68Mar-1995Reexamination of 'optimization of array subscript range checks'Chin, Wei-Ngan ; Goh, Eak-Khoon
692004Region inference for an object-oriented languageChin, W.-N. ; Craciun, F. ; Qin, S. ; Rinard, M.
702004Region inference for an object-oriented languageChin, W.-N. ; Craciun, F. ; Qin, S. ; Rinard, M.
712008Runtime checking for separation logicNguyen, H.H.; Kuncak, V.; Chin, W.-N. 
722005Runtime-coordinated scalable incremental checksum testing of combinational circuitsAndrei, Ş. ; Chin, W.-N. ; Cheng, A.M.K.; Zhu, Y.
731992Safe fusion of functional expressionsChin, Wei-Ngan 
742004Self-embedded context-free grammars with regular counterpartsAndrei, S. ; Chin, W.-N. ; Cavadini, S.V.
752004Solving a class of higher-order equations over a group structureAndrei, Ş. ; Chin, W.-N. 
762010Stack bound inference for abstract Java BytecodeWang, S.; Qiu, Z.; Qin, S.; Chin, W.-N. 
772011Structured specifications for better verification of heap-manipulating programsGherghina, C.; David, C.; Qin, S.; Chin, W.-N. 
782005Systematic debugging of real-time systems based on incremental satisfiability countingAndrei, Ş.; Chin, W.-N. ; Cheng, A.M.K.; Lupu, M.
792010Test case generation for adequacy of floating-point to fixed-point conversionPham, T.-H.; Truong, A.-H.; Chin, W.-N. ; Aoshima, T.
801993Towards an automated tupling strategyChin, Wei-Ngan