Skip navigation
IVLE
Email
Library
Map
Calendar
Home
Research Outputs
View research outputs
Deposit publication / dataset
Researchers
Help
FAQs
Contact us
Guidelines
Log in
ScholarBank@NUS
Research Outputs
Browsing by Author
CHIN WEI NGAN
Enter a last name
Select a letter below to browse by last name or type
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Or
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Showing results 68 to 87 of 88
< previous
next >
Refman
EndNote
Bibtex
RefWorks
Excel
CSV
PDF
Send via email
Issue Date
Title
Author(s)
2006
Redundant call elimination via tupling
Chin, W.-N.
;
Khoo, S.-C.
;
Jones, N.
Mar-1995
Reexamination of 'optimization of array subscript range checks'
Chin, Wei-Ngan
;
Goh, Eak-Khoon
2004
Region inference for an object-oriented language
Chin, W.-N.
;
Craciun, F.
;
Qin, S.
;
Rinard, M.
2004
Region inference for an object-oriented language
Chin, W.-N.
;
Craciun, F.
;
Qin, S.
;
Rinard, M.
2008
Runtime checking for separation logic
Nguyen, H.H.
;
Kuncak, V.
;
Chin, W.-N.
2005
Runtime-coordinated scalable incremental checksum testing of combinational circuits
Andrei, Ş.
;
Chin, W.-N.
;
Cheng, A.M.K.
;
Zhu, Y.
1992
Safe fusion of functional expressions
Chin, Wei-Ngan
2004
Self-embedded context-free grammars with regular counterparts
Andrei, S.
;
Chin, W.-N.
;
Cavadini, S.V.
2004
Solving a class of higher-order equations over a group structure
Andrei, Ş.
;
Chin, W.-N.
2010
Stack bound inference for abstract Java Bytecode
Wang, S.
;
Qiu, Z.
;
Qin, S.
;
Chin, W.-N.
2011
Structured specifications for better verification of heap-manipulating programs
Gherghina, C.
;
David, C.
;
Qin, S.
;
Chin, W.-N.
2005
Systematic debugging of real-time systems based on incremental satisfiability counting
Andrei, Ş.
;
Chin, W.-N.
;
Cheng, A.M.K.
;
Lupu, M.
2010
Test case generation for adequacy of floating-point to fixed-point conversion
Pham, T.-H.
;
Truong, A.-H.
;
Chin, W.-N.
;
Aoshima, T.
1993
Towards an automated tupling strategy
Chin, Wei-Ngan
2013
Towards complete specifications with an error calculus
Le, Q.L.
;
Sharma, A.
;
Craciun, F.
;
Chin, W.-N.
2009
Translation and optimization for a core calculus with exceptions
David, C.
;
Gherghina, C.
;
Chin, W.N.
2012
Variable permissions for concurrency verification
Le, D.-K.
;
Chin, W.-N.
;
Teo, Y.-M.
2013
Verification of static and dynamic barrier synchronization using bounded permissions
Le, D.-K.
;
Chin, W.-N.
;
Teo, Y.-M.
2010
Verifying heap-manipulating programs with unknown procedure calls
Qin, S.
;
Luo, C.
;
He, G.
;
Craciun, F.
;
Chin, W.-N.
2010
Verifying pointer safety for programs with unknown calls
Luo, C.
;
Craciun, F.
;
Qin, S.
;
He, G.
;
Chin, W.-N.