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.007 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. 
32007Multiple pre/post specifications for heap-manipulating methodsChin, W.-N. ; David, C.; Nguyen, H.H.; Qin, S.
42009Optimizing the parallel computation of linear recurrences using compact matrix representationsNistor, A.; Chin, W.-N. ; Tan, T.-S. ; Tapus, N.
51998Parallelization via context preservationChin, Wei-Ngan ; Takano, Akihiko; Hu, Zhenjiang
62012Proceedings 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. 
72006Redundant call elimination via tuplingChin, W.-N. ; Khoo, S.-C. ; Jones, N.
8Mar-1995Reexamination of 'optimization of array subscript range checks'Chin, Wei-Ngan ; Goh, Eak-Khoon
92004Region inference for an object-oriented languageChin, W.-N. ; Craciun, F. ; Qin, S. ; Rinard, M.
102004Region inference for an object-oriented languageChin, W.-N. ; Craciun, F. ; Qin, S. ; Rinard, M.
112008Runtime checking for separation logicNguyen, H.H.; Kuncak, V.; Chin, W.-N. 
122005Runtime-coordinated scalable incremental checksum testing of combinational circuitsAndrei, Ş. ; Chin, W.-N. ; Cheng, A.M.K.; Zhu, Y.
131992Safe fusion of functional expressionsChin, Wei-Ngan 
142004Self-embedded context-free grammars with regular counterpartsAndrei, S. ; Chin, W.-N. ; Cavadini, S.V.
152004Solving a class of higher-order equations over a group structureAndrei, Ş. ; Chin, W.-N. 
162010Stack bound inference for abstract Java BytecodeWang, S.; Qiu, Z.; Qin, S.; Chin, W.-N. 
172011Structured specifications for better verification of heap-manipulating programsGherghina, C.; David, C.; Qin, S.; Chin, W.-N. 
182005Systematic debugging of real-time systems based on incremental satisfiability countingAndrei, Ş.; Chin, W.-N. ; Cheng, A.M.K.; Lupu, M.
192010Test case generation for adequacy of floating-point to fixed-point conversionPham, T.-H.; Truong, A.-H.; Chin, W.-N. ; Aoshima, T.
201993Towards an automated tupling strategyChin, Wei-Ngan