Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Wei-Ngan Chin
2010 – today
- 2013
[j24]Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Xin Chen: Loop invariant synthesis in a combined abstract domain. J. Symb. Comput. 50: 386-408 (2013)- [j23]Corneliu Popeea, Wei-Ngan Chin: Dual analysis for proving safety and finding bugs. Sci. Comput. Program. 78(4): 390-411 (2013)
- [c70]Quang Loc Le, Asankhaya Sharma, Florin Craciun, Wei-Ngan Chin: Towards Complete Specifications with an Error Calculus. NASA Formal Methods 2013: 291-306
- 2012
- [j22]Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin: Automated verification of shape, size and bag properties via user-defined predicates in separation logic. Sci. Comput. Program. 77(9): 1006-1036 (2012)
- [c69]Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo: Variable Permissions for Concurrency Verification. ICFEM 2012: 5-21
- [c68]
- [c67]
- 2011
- [c66]Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin: A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. CAV 2011: 293-309
- [c65]Tuan-Hung Pham, Minh-Thai Trinh, Anh-Hoang Truong, Wei-Ngan Chin: FixBag: A Fixpoint Calculator for Quantified Bag Constraints. CAV 2011: 656-662
- [c64]Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He: Automatically Refining Partial Specifications for Program Verification. FM 2011: 369-385
- [c63]Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin: Structured Specifications for Better Verification of Heap-Manipulating Programs. FM 2011: 386-401
- [c62]Wei-Ngan Chin, Cristina David, Cristian Gherghina: A HIP and SLEEK verification system. OOPSLA Companion 2011: 9-10
- [c61]Cristina David, Wei-Ngan Chin: Immutable specifications for more concise and precise verification. OOPSLA 2011: 359-374
- 2010
- [j21]Tuan-Hung Pham, Anh-Hoang Truong, Wei-Ngan Chin, Takenobu Aoshima: Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion. Electr. Notes Theor. Comput. Sci. 266: 49-61 (2010)
- [j20]Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin: Verifying pointer safety for programs with unknown calls. J. Symb. Comput. 45(11): 1163-1183 (2010)
- [c60]Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin: Verifying Heap-Manipulating Programs with Unknown Procedure Calls. ICFEM 2010: 171-187
- [c59]Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin: Loop Invariant Synthesis in a Combined Domain. ICFEM 2010: 468-484
- [c58]Corneliu Popeea, Wei-Ngan Chin: Dual analysis for proving safety and finding bugs. SAC 2010: 2137-2143
- [c57]Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin: Stack Bound Inference for Abstract Java Bytecode. TASE 2010: 57-66
- [e4]Ahmed Bouajjani, Wei-Ngan Chin (Eds.): Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings. Lecture Notes in Computer Science 6252, Springer 2010, ISBN 978-3-642-15642-7
2000 – 2009
- 2009
- [j19]Cristian Masalagiu, Wei-Ngan Chin, Stefan Andrei, Vasile Alaiba: A rigorous methodology for specification and verification of business processes. Formal Asp. Comput. 21(5): 495-510 (2009)
- [j18]Adrian Nistor, Wei-Ngan Chin, Tiow Seng Tan, Nicolae Tapus: Optimizing the parallel computation of linear recurrences using compact matrix representations. J. Parallel Distrib. Comput. 69(4): 373-381 (2009)
- [c56]Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin: Memory Usage Verification Using Hip/Sleek. ATVA 2009: 166-181
- [c55]Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin: An Interval-Based Inference of Variant Parametric Types. ESOP 2009: 112-127
- [c54]Cristina David, Cristian Gherghina, Wei-Ngan Chin: Translation and optimization for a core calculus with exceptions. PEPM 2009: 41-50
- [c53]Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen: Completeness of Pointer Program Verification by Separation Logic. SEFM 2009: 179-188
- [e3]Wei-Ngan Chin, Shengchao Qin (Eds.): TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China. IEEE Computer Society 2009, ISBN 978-0-7695-3757-3
- 2008
- [c52]Alexandru Stefan, Florin Craciun, Wei-Ngan Chin: A Flow-Sensitive Region Inference for CLI. APLAS 2008: 19-35
- [c51]
- [c50]Florin Craciun, Shengchao Qin, Wei-Ngan Chin: A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. ICFEM 2008: 126-146
- [c49]Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin: Analysing memory resource bounds for low-level programs. ISMM 2008: 151-160
- [c48]Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin: A practical and precise inference and specializer for array bound checks elimination. PEPM 2008: 177-187
- [c47]Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin: Enhancing modular OO verification with separation logic. POPL 2008: 87-99
- [c46]Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin: A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets. SEFM 2008: 259-267
- [c45]Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin: Runtime Checking for Separation Logic. VMCAI 2008: 203-217
- 2007
- [c44]Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin: Multiple Pre/Post Specifications for Heap-Manipulating Methods. HASE 2007: 357-364
- [c43]Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin: Automated Verification of Shape, Size and Bag Properties. ICECCS 2007: 307-320
- [c42]Huu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin: Automated Verification of Shape and Size Properties Via Separation Logic. VMCAI 2007: 251-266
- 2006
- [j17]Wei-Ngan Chin, Siau-Cheng Khoo, Neil Jones: Redundant Call Elimination via Tupling. Fundam. Inform. 69(1-2): 1-37 (2006)
- [j16]Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu: From Statecharts to Verilog: a formal approach to hardware/software co-specification. ISSE 2(1): 17-38 (2006)
- [j15]Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Mihai Lupu: Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting. IEEE Trans. Computers 55(7): 830-842 (2006)
- [c41]
- [c40]Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea: A flow-based approach for variant parametric types. OOPSLA 2006: 273-290
- [c39]Florin Craciun, Hong Yaw Goh, Corneliu Popeea, Wei-Ngan Chin: Core-java: an expression-oriented java. OOPSLA Companion 2006: 639-640
- [c38]Stefan Andrei, Wei-Ngan Chin, Martin C. Rinard: Incremental Deterministic Planning. SYNASC 2006: 93-102
- 2005
- [c37]Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen: Verifying safety policies with size properties and alias controls. ICSE 2005: 186-195
- [c36]Stefan Andrei, Albert Mo Kim Cheng, Wei-Ngan Chin, Mihai Lupu: Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting. IEEE Real-Time and Embedded Technology and Applications Symposium 2005: 519-528
- [c35]Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Yongxin Zhu: Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits. RTCSA 2005: 357-360
- [c34]Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard: Memory Usage Verification for OO Programs. SAS 2005: 70-86
- 2004
- [j14]Stefan Andrei, Wei-Ngan Chin, Salvador Valerio Cavadini: Self-embedded context-free grammars with regular counterparts. Acta Inf. 40(5): 349-365 (2004)
- [j13]Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras: Co-determinism and unambiguity of automata accepting finite or infinite words. Sci. Ann. Cuza Univ. 14: 1-11 (2004)
- [j12]Stefan Andrei, Wei-Ngan Chin: Solving a class of higher-order equations over a group structure. J. Symb. Comput. 37(3): 329-341 (2004)
- [j11]Wei-Ngan Chin, Olivier Danvy, Peter Thiemann: Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation. Higher-Order and Symbolic Computation 17(1-2): 5-6 (2004)
- [c33]Viet-Anh Vu Tran, Shengchao Qin, Wei-Ngan Chin: An Automatic Mapping from Statecharts to Verilog. ICTAC 2004: 187-203
- [c32]Corneliu Popeea, Wei-Ngan Chin: A type system for resource protocol verification and its correctness proof. PEPM 2004: 135-146
- [c31]Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard: Region inference for an object-oriented language. PLDI 2004: 243-254
- [c30]Stefan Andrei, Wei-Ngan Chin: Incremental Satisfiability Counting for Real-Time Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2004: 482-489
- [e2]Wei-Ngan Chin (Ed.): Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings. Lecture Notes in Computer Science 3302, Springer 2004, ISBN 3-540-23724-0
- 2003
- [j10]Stefan Andrei, Salvador Valerio Cavadini, Wei-Ngan Chin: A new algorithm for regularizing one-letter context-free grammars. Theor. Comput. Sci. 306(1-3): 113-122 (2003)
- [c29]Shengchao Qin, Wei-Ngan Chin: Mapping Statecharts to Verilog for Hardware/Software Co-specification. FME 2003: 282-300
- [c28]Shengchao Qin, Jin Song Dong, Wei-Ngan Chin: A Semantic Foundation for TCOZ in Unifying Theories of Programming. FME 2003: 321-340
- [c27]Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu: Extending sized type with collection analysis. PEPM 2003: 75-84
- 2002
- [j9]Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras: A Tutorial on a Monadic Approach for Expressions Evaluation. Sci. Ann. Cuza Univ. 12: 1-27 (2002)
- [j8]Hui Wu, Wei-Ngan Chin, Joxan Jaffar: An Efficient Distributed Deadlock Avoidance Algorithm for the AND Model. IEEE Trans. Software Eng. 28(1): 18-29 (2002)
- [c26]Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu: A Type-Based Approach to Parallelization (preliminary report). APLAS 2002: 175-192
- [c25]Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu: Extending Sized Type with Collection Analysis. APLAS 2002: 396-413
- [c24]Wei-Ngan Chin, Zhenjiang Hu: Towards a Modular Program Derivation via Fusion and Tupling. GPCE 2002: 140-155
- [c23]Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo: A Lazy Divide and Conquer Approach to Constraint Solving. ICTAI 2002: 91-
- [e1]Kenichi Asai, Wei-Ngan Chin (Eds.): Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan, September 12-14, 2002. ACM 2002, ISBN 1-58113-458-4
- 2001
- [j7]Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi: Calculating a New Data Mining Algorithm for Market Basket Analysis. Journal of Functional and Logic Programming 2001(8) (2001)
- [j6]Wei-Ngan Chin, Siau-Cheng Khoo: Calculating Sized Types. Higher-Order and Symbolic Computation 14(2-3): 261-300 (2001)
- [c22]Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu: Higher-Order Polymorphic Sized Types for Safety Checks. APLAS 2001: 117-131
- [c21]Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo: Charting Patterns on Price History. ICFP 2001: 134-145
- [c20]Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu: Deriving Pre-conditions for Array Bound Check Elimination. PADO 2001: 2-24
- 2000
- [c19]Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu: Deriving Pre-Conditions for Array Bound Check Elimination. APLAS 2000: 9-21
- [c18]Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi: Calculating a New Data Mining Algorithm for Market Basket Analysis. PADL 2000: 169-184
- [c17]
- [c16]Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi: Deriving Parallel Codes via Invariants. SAS 2000: 75-94
1990 – 1999
- 1999
- [c15]Wei-Ngan Chin, Aik-Hui Goh, Siau-Cheng Khoo: Effective Optimization of Multiple Traversals in Lazy Languages. PEPM 1999: 119-130
- 1998
- [c14]Wei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee: Synchronisation Analysis to Stop Tulping. ESOP 1998: 75-89
- [c13]Wei-Ngan Chin, Akihiko Takano, Zhenjiang Hu: Parallelization via Context Preservation. ICCL 1998: 153-
- [c12]Zhenjiang Hu, Masato Takeichi, Wei-Ngan Chin: Parallelization in Calculational Forms. POPL 1998: 316-328
- 1997
- [c11]Yong Meng Teo, Wei-Ngan Chin, Soon Huat Tan: Deriving efficient parallel programs for complex recurrences. PASCO 1997: 101-110
- [c10]Wei-Ngan Chin, Masami Hagiya: A Bounds Inference Method for Vector-Based Memoisation. ICFP 1997: 176-187
- 1996
- [j5]Wei-Ngan Chin, Siau-Cheng Khoo: Better Consumers for Program Specializations. Journal of Functional and Logic Programming 1996(4) (1996)
- [j4]Wei-Ngan Chin, John Darlington: A Higher-Order Removal Method. Lisp and Symbolic Computation 9(4): 287-322 (1996)
- [c9]Hui Wu, Wei-Ngan Chin: Variable Timestamp-Based Distributed Deadlock Detection and Resolution. ASIAN 1996: 96-105
- [c8]Wei-Ngan Chin, Siau-Cheng Khoo, Peter Thiemann: Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract). Dagstuhl Seminar on Partial Evaluation 1996: 33-53
- [c7]Wei-Ngan Chin, John Darlington, Yike Guo: Parallelizing Conditional Recurrences. Euro-Par, Vol. I 1996: 579-586
- 1995
- [j3]Wei-Ngan Chin, Masami Hagiya: A Transformation Method for Dynamic-Sized Tabulation. Acta Inf. 32(2): 93-115 (1995)
- [j2]Gary S. H. Tan, Wei-Ngan Chin: Load Balancing and Scheduling in a Neighbourhood-Based Multiprocessor. Computers and Artificial Intelligence 14(1) (1995)
- [c6]Wei-Ngan Chin, Siau-Cheng Khoo: Better Consumers for Deforestation (Extended Abstract). PLILP 1995: 223-240
- 1994
- [j1]Wei-Ngan Chin: Safe Fusion of Functional Expressions II: Further Improvements. J. Funct. Program. 4(4): 515-555 (1994)
- 1993
- [c5]
- [c4]Wei-Ngan Chin, Siau-Cheng Khoo: Tupling Functions with Multiple Recursion Parameters. WSA 1993: 124-140
- 1992
- [c3]Gary S. H. Tan, Wei-Ngan Chin: Load Balancing in a Neighbourhood-Based Multiprocessor. CONPAR 1992: 801-802
- [c2]
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-25 21:26 CEST by the dblp team