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 52 to 71 of 88 < previous   next >
Issue DateTitleAuthor(s)
2004Higher-Order and Symbolic Computation: EditorialChin, W.-N. ; Danvy, O.; Thiemann, P.
2011Immutable specifications for more concise and precise verificationDavid, C.; Chin, W.-N. 
2011Immutable specifications for more concise and precise verificationDavid, C.; Chin, W.-N. 
2007Incremental deterministic planningAndrei, Ş. ; Chin, W.-N. ; Rinard, M.
2004Incremental satisfiability counting for real-time systemsAndrei, Ş.; Chin, W.-N. 
2007Inferring disjunctive postconditionsPopeea, C. ; Chin, W.-N. 
2013Invariants synthesis over a combined domain for automated program verificationQin, S.; He, G.; Chin, W.-N. ; Yang, H.
2013Loop invariant synthesis in a combined abstract domainQin, S.; He, G.; Luo, C.; Chin, W.-N. ; Chen, X.
2010Loop invariant synthesis in a combined domainQin, S.; He, G.; Luo, C.; Chin, W.-N. 
2003Mapping statecharts to verilog for hardware/software co-specificationQin, S.; Chin, W.-N. 
2005Memory usage verification for OO programsChin, W.-N. ; Nguyen, H.H.; Qin, S.; Rinard, M.
2009Memory usage verification using Hip/SleekHe, G.; Qin, S.; Luo, C.; Chin, W.-N. 
2007Multiple pre/post specifications for heap-manipulating methodsChin, W.-N. ; David, C.; Nguyen, H.H.; Qin, S.
2009Optimizing the parallel computation of linear recurrences using compact matrix representationsNistor, A.; Chin, W.-N. ; Tan, T.-S. ; Tapus, N.
1998Parallelization via context preservationChin, Wei-Ngan ; Takano, Akihiko; Hu, Zhenjiang
2012Proceedings 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. 
2006Redundant call elimination via tuplingChin, W.-N. ; Khoo, S.-C. ; Jones, N.
Mar-1995Reexamination of 'optimization of array subscript range checks'Chin, Wei-Ngan ; Goh, Eak-Khoon
2004Region inference for an object-oriented languageChin, W.-N. ; Craciun, F. ; Qin, S. ; Rinard, M.
2004Region inference for an object-oriented languageChin, W.-N. ; Craciun, F. ; Qin, S. ; Rinard, M.