Browsing DSpace | ScholarBank@NUS

Browsing by Author CHIN WEI NGAN

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

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.

Showing results 68 to 87 of 88 < previous next >