Publications

Publications

2008


  1. Huu Hai Nguyen and Wei-Ngan Chin, Enhancing Program Verification with Lemmas, (CAV08), July 2008, Princeton, New Jersey, (paper)
  2. Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin, Analysing Memory Resource Bounds for Low-Level Programs, (ISMM08), June 2008, Tucson, Arizona. (to appear)
  3. Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin, Enhancing Modular OO Verification with Separation Logic, (POPL08), Jan 2008, San Francisco, California. (paper)
  4. Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin, Runtime Checking of Separation Logic, (VMCAI08), Jan 2008, San Francisco, California. (paper)
  5. Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin, A Practical and Precise Inference and Specializer for Array Bounds Checks Elimination, (PEPM08), Jan 2008, San Francisco, California. (paper)

2007


  1. Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin, Multiple Pre/Post Specifications for Heap-Manipulating Methods, (HASE07), Nov 2007, Dallas, Texas . (draft) (demo)
  2. Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin, Automated Verification of Shape, Size and Bag Properties, (ICECCS07), Jul 2007, Auckland, New Zealand. (paper)
  3. Huu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin, Automated Verification of Shape and Size Properties via Separation Logic, (VMCAI07), Jan 2007, Nice, France (paper), (demo)

2006


  1. Corneliu Popeea and Wei-Ngan Chin, Inferring Disjunctive Postconditions. ASIAN Computer Science Conference , Tokyo, Japan, Dec 2006 (ps).
  2. Florin Craciun, Hong Yaw Goh, Wei-Ngan Chin, A Framework for Object-Oriented Program Analyses via Core-Java, (submitted for publication) . (draft paper).
  3. Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea, A Flow-Based Approach for Variant Parametric Types, ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2006) , Portland, Oregon (draft paper).
  4. S. Andrei, W.N. Chin, A.M.K. Cheng, M. Lupu, Automatic Debugging of Real-Time Systems based on Incremental Satisfiability Counting. IEEE Transactions on Computers , Vol 55, July 2006.

2005


  1. Dana N. Xu, Corneliu Popeea, Siau-Cheng Khoo, Wei-Ngan Chin, A Modular Type Inference and Specializer for Array Bound Checks Elimination, October 2005 (draft paper), (demo).
  2. Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin Rinard, Memory Usage Verification for OO Programs, Intl Symposium on Static Analysis (SAS 2005), London, Sept 2005 (paper).
  3. S. Andrei, W.N. Chin, A.M.K. Cheng, Y. Zhu, Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits. IEEE Embedded and Real-Time Computing Systems and Applications (RTCSA 2005) , Hong Kong, China, August 2005.
  4. Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen, Verifying Safety Policies with Size Properties and Alias Controls ACM International Conference on Software Engineering (ICSE 2005), St Louis, May 2005 (paper), (demo).
  5. S. Andrei, W.N. Chin, A.M.K. Cheng, M. Lupu, Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005) , San Francisco, USA, March 2005.

2004


  1. Tran Vu Viet-Anh, Shengchao Qin, and Wei-Ngan Chin, Automatic Mapping from Statecharts to Verilog. First International Colloquium on Theoretical Aspects of Computing (ICTAC04) , Guiyang, China, Sept 2004. Lecture Notes in Computer Science, Springer-Verlag.
  2. Corneliu Popeea and Wei-Ngan Chin, A Type System for Resource Protocol Verification and its Correctness Proof. ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM04) , Verona, Italy, August 2004 (ps).
  3. Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin Rinard, Region Inference for an Object-Oriented Language. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI04) , Washington DC, USA, June 2004. (ps), (ppt), (demo).
  4. Stefan Andrei, Wei-Ngan Chin, Incremental Satisfiability Counting for Real-Time Systems. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS’04) , Toronto, Canada, May 2004.

2003


  1. Shengchao Qin, Jin Song Dong and Wei-Ngan Chin, A Semantic Foundation for TCOZ in Unifying Theories of Programming. The 12th International Formal Methods Symposium (FM03), Pisa, Italy September 2003.
  2. Shengchao Qin and Wei-Ngan Chin, Mapping Statecharts to VERILOG for Hardware/Software Co-Specification. The 12th International Formal Methods Symposium (FM03) , Pisa, Italy, September 2003.
  3. Stefan Andrei and Wei-Ngan Chin, Solving a Class of Higher-Order Equations over a Group Structure. Journal of Symbolic Computation (to appear).
  4. Stefan Andrei, Salvador V. Cavadini, Wei-Ngan Chin, A New Algorithm for Regularizing One-Letter Context-Free Grammars. Theoretical Computer Science (to appear).
  5. Wei-Ngan Chin, Siau-Cheng Khoo and Dana N. Xu, Extending Sized Types with with Collection Analysis. ACM SIGPLAN 2003 Workshop on Partial Evaluation and Semantics Based Program Manipulation (PEPM'03).San Diego, California, June 2003.

2002


  1. Anand, S, W N Chin and S C Khoo, Lazy Divide and Conquer Conquer Constraint Solving, IEEE International Conference on Tools with Artificial Intelligence , Washington D.C., November, 2002.
  2. Wei-Ngan Chin, Hu Zhenjiang, Towards a Modular Program Derivation via Fusion and Tupling, First ACM SIGPLAN Conference on Generators and Components (GCSE/SAIG 2002) , Pittsburgh, PA, USA, October 6-8, 2002. LNCS 2487, pp 140-155.
  3. Wu Hui, Chin W.N. and Joxan Jaffar, An Optimal Distributed Deadlock Avoidance Algorithm for AND Model, IEEE Transactions on Software Engineering , Vol 28, No 1, Jan 2002.

2001


  1. Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi, Calculating a New Data Mining Algorithm for Market Basket Analysis, (Revised version of the paper presented at PADL'00.) Journal of Functional and Logic Programming, October 2001.
  2. Anand, S, W N Chin and S C Khoo, Charting Patterns on Price History. 7th ACM International Conference on Functional Programming; Florence, Italy; 3-5 September 2001.
  3. Chin, W N, and S C Khoo, Calculating Sized Types. Higher-Order and Symbolic Computing (HOSC); Vol. 14, Nos 2/3, 2001.
  4. Chin, W N, S C Khoo and Dana N Xu, Deriving Pre-Conditions for Array Bound Check Elimination. In the proceedings of the Second Symposium on Programs as Data Objects, PADO 2001; Aarhus, Denmark, May 2001; pp 2-24.

2000


  1. Chin, W N, S C Khoo, Z. Hu and M Takeichi, Deriving Parallel Codes via Invariants. In the 7th International Symposium on Static Analysis, SAS 2000, 29June-1 July, 2000, Santa Barbara, California, United States, LNCS 1824.
  2. Chin, W N, and S C Khoo, Calculating Sized Types.In Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation , 21 January 2000, Boston, Massachusetts, United States, pp. 62-72, ACM Press, 2000.
  3. Z. Hu, W.N. Chin, M. Takeichi, Calculating a New Data Mining Algorithm for Market Basket Analysis, Second International Workshop on Practical Aspects of Declarative Languages (PADL'00) , Boston, Massachusetts, January 17-18, 2000. LNCS 1753, Springer Verlag. pp. 169-184.

1999


  1. Chin, W N, and S C Khoo, Calculating Sized Types. Technical Report, School of Computing, NUS, December 1999.
  2. Chin, W N, Aik-Hui Goh and S C Khoo, Effective Optimisation of Multiple Traversals in Lazy Language. In 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 22 January 1999, San Antonio, Texas, United States, pp. 119-130. New York: ACM Press, 1999.

1998


  1. Q. Mei, W.N. Chin, S.C. Khoo, Explict Parallelism Control Strategies in Concurrent Haskell, 8th Intl Parallel Computing Workshop, 253-258, Singapore, Sept 1998.
  2. W.N. Chin, A. Takano, Z. Hu, Parallelization via Context Preservation, IEEE Computer Society Intl Conference on Computer Languages (ICCL98), Chicago, U.S.A., May 1998, IEEE Press
  3. W.N. Chin, S.C. Khoo, T.W. Lee, Synchronisation Analyses to Stop Tupling, European Symposium on Programming (ESOP98), Portugal, Apr 1998, LNCS
  4. Z. Hu, M. Takeichi, W.N. Chin, Parallelization in Calculational Forms, ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages (POPL98), San Diego, California, Jan 1998, ACM Press

1997


  1. W.N. Chin, S.H. Tan, Y.M. Teo, Deriving Efficient Parallel Programs for Complex Recurrences, ACM SIGNUM/SIGSAM International Symposium on Parallel Symbolic Computation , July 1997, Maui, Hawaii, ACM Press
  2. W.N. Chin and M. Hagiya, A Bounds Inference Method for Vector-Based Memoisation, ACM SIGPLAN International Conference on Functional Programming , 176-187, Amsterdam, Netherlands, June 1997, ACM Press

1996


  1. H. Wu and W.N. Chin, Variable Timestamp-Based Distributed Deadlock Detection and Resolution, ASIAN Computer Science Conference , 96-105, Singapore, Dec 1996, LNCS 1179
  2. W.N. Chin and S.C. Khoo, Better Consumers for Program Specialisation, Journal of Functional and Logic Programming , 30pp, Oct 1996, MIT Press
  3. W.N. Chin and J Darlington, A Higher-Order Removal Method, Journal of Lisp and Symbolic Computation , Vol 9, 287-322, 1996.
  4. W.N. Chin, J. Darlington, Y. Guo, Parallelizing Conditional Recurrences, Euro-Par Conference, Lyon, France, Aug 96 (LNCS).
  5. W.N. Chin, S.C. Khoo, P. Thiemann, Synchronisation Analyses for Multiple Recursion Parameters, Dagstudl Seminar on Partial Evaluation, Germany, Feb 1996 (LNCS).
  6. Y.M. Teo, G. Tan, W.N. Chin, A Parallel Simulation Scheme based on Multiple Time Windows, 2nd Intl Conference on Massively Parallel Computing Systems, Italy, Apr 1996 (IEEE Computer Society).

1995


  1. W.N. Chin, Fusion and Tupling Transformations: Synergies and Conflicts (Invited Paper) , Fuji Intl Workshop on Functional and Logic Programming, Fuji Susono, Japan, July 1995, 176-195, World Scientific.
  2. G.S.H.Tan and W.N.Chin, Load Balancing and Scheduling in a Neighbourhood-Based Multiprocessor, Computers and Artificial Intelligence, Vol 14, No 1, 35-56, 1995.
  3. W.N.Chin and M. Hagiya, A Transformation Method for Dynamic-Sized Tabulation, Acta Informatica 32, 93-115, 1995.
  4. W.N. Chin and E.K. Goh, A Re-Examination of Optimization of Array Subscript Range Checks, ACM Trans on Programming Languages and Systems. pg 217-227, Vol 17 (2), March 1995.
  5. W.N. Chin and S.C. Khoo, Better Consumers for Deforestation, 7th International Symposium on Programming Languages: Implementation, Logics and Programs, Utretch, Netherlands, 223-240, LNCS 982, Sept 1995.
  6. W.N. Chin, Synthesizing Efficient Parallel Programs from Sequential Specifications, Technical report TRA9/95, DISCS, NUS, Sept 1995, 22pp.

1994


  1. W.N. Chin, Safe Fusion of Functional Expressions II: Further Improvements, Journal of Functional Programming, Vol 4 No 4, 515-555, Oct 1994,
  2. A. Kumar and W.N. Chin, Parallel Functional Programming: A Survey, Intl Conf on Robotics, Vision and Parallel Processing for Industrial Automation, Malaysia, May 1994.
  3. Y.M. Teo and W.N. Chin, A Framework for Visualising Parallel Computer System Performance, JSPS-NUS Seminar on Computing, Singapore, Dec 1994.

1993


  1. W.N. Chin and S.C. Khoo, Tupling Functions with Multiple Recursion Parameters , Intl Workshop on Static Analysis, Padova, Italy, Sept 1993, 124-140, Springer-Verlag, LNCS 724.
  2. T.S. Chua, K.H. Hay, W.N. Chin, Optimization Constraint Model for Dynamic Animation, Pacific Graphics Conference, Seoul, Korea, August 1993.
  3. W.N. Chin, Towards an Automated Tupling Tactic, 3rd ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Copenhagen, Denmark, June 1993, 119-132, ACM Press.
  4. W.N. Chin, A. Kumar and M. Hagiya, Lambda Abstraction and Tupling Yields Dynamic-Sized Tabulation, Technical report TRE9/93, DISCS, NUS, Sept 1993, 20pp.

1992


  1. GSH Tan and W.N. Chin, Neighbourhood Scheduling for a Multiprocessor, Intl Conf on Parallel and Distributed Systems, Hsinchu, Taiwan, Dec 1992, 472-479, National TsingHua Press.
  2. W.N. Chin, Safe Fusion of Functional Expressions, 7th ACM Conf on Lisp and Functional Programming, San Francisco, California, June 1992, 11-20, ACM Press.
  3. W.N. Chin, Fully Lazy Higher-Order Removal, 2nd ACM Workshop on Partial Evaluation and Semantics-Based Program Manipulation, San Francisco, California, June 1992, 38-47, Yale Tech Report, YALEU/DCS/RR-909.
  4. W.N. Chin and T.S. Chua, Functional Graphics and Animation, Proc of NTU Seminar on Computer Graphics and Applications, Singapore, Sept 1992, 1-7.
  5. W.N. Chin, Synthesizing Parallel Lemma, Proc of a JSPS Seminar on Parallel Programming Systems, Tokyo, May 1992, 201-217, (eds Yuen and Yonezawa), World Scientific.
  6. GSH Tan and W.N. Chin, Load Balancing for a Neighbourhood-Based Multiprocessor, CONPAR92 - VAPPV, Lyon, France, Sept 1992, 801-802, LNCS 634.
  7. W.N. Chin, Safe Fusion of First-Order Expressions, Technical report TR51/92, DISCS, NUS, Nov 1992, 26pp.
  8. W.N. Chin and J Darlington, Higher-Order Removal Techniques for Functional Programs, 15th Australian Computer Science Conference, Hobart, Tasmania, Jan 1992, 181-194.
  9. W.N. Chin, Optimising Functional Programs, South-East Asian Regional Computer Confederation Conference, Kuala Lumpur, Malaysia, August 1992.

Under Submissions