Publications

Publications

2015

  1. Florin Craciun, Tibor Kiss, Andreea Costea. Towards a Session Logic for Communication Protocols. ICECCS 2015 (pdf)
  2. Asankhaya Sharma, Aquinas Hobor, Wei-Ngan Chin. Specifying Compatible Sharing in Data Structures. ICFEM 2015 496-513 (pdf | tool)
  3. Asankhaya Sharma, Shengyi Wang, Andreea Costea, Aquinas Hobor, Wei-Ngan Chin. Certified Reasoning with Infinity. FM 2015 496-513 (pdf | tool)
  4. Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo. Threads as Resource for Concurrency Verification . PEPM 2015 73-84 (pdf | tool)
  5. Ton Chanh Le, Shengchao Qin, Wei-Ngan Chin: Termination and non-termination specification inference. PLDI 2015 489-498 (pdf | tool)

2014

  1. Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Hongli Yang. Automatically refining partial specifications for heap-manipulating programs Sci. Comput. Program 2014 56-76 (pdf)
  2. Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin. Expressive program verification via structured specifications. STTT 2014 363-380
  3. Joćo F. Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin, Wei-Ngan Chin. Automated verification of the FreeRTOS scheduler in HIP/SLEEK. STTT 2014 381-397 (pdf)
  4. Quang Loc Le, Cristian Gherghina, Shengchao Qin, Wei-Ngan Chin. Shape Analysis via Second-Order Bi-Abduction CAV 2014 52-68 (pdf | tool)
  5. Ton Chanh Le, Cristian Gherghina, Aquinas Hobor, Wei-Ngan Chin. A Resource-Based Logic for Termination and Non-termination Proofs ICFEM 2014 267-283 (pdf | tool)
  6. Makoto Tatsuta, Wei-Ngan Chin Completeness of Separation Logic with Inductive Definitions for Program Verification SEFM 2014 20-34
  7. Wei-Ngan Chin, Jurriaan Hage Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation PEPM 2014 January 20-21, San Diego, California (content)

2013

  1. Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin. Bi-Abduction with Pure Properties for Specification Inference APLAS 2013 107-123 (pdf)
  2. Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo. An Expressive Framework for Verifying Deadlock Freedom ATVA 2013 287-302 (pdf)
  3. Shengchao Qin, Guanhua He, Wei-Ngan Chin, Hongli Yang. Invariants Synthesis over a Combined Domain for Automated Program Verification Theories of Programming and Formal Methods 2013 304-325
  4. Wei-Ngan Chin Specification, Verification and Inference (Invited Talk) FSFMA 2013
  5. Ton Chanh Le, Cristian Gherghina, Razvan Voicu, Wei-Ngan Chin. A Proof Slicing Framework for Program Verification ICFEM 2013 53-69 (pdf)
  6. Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo. Verification of Static and Dynamic Barrier Synchronization Using Bounded Permissions ICFEM 2013 231-248 (pdf | tool)
  7. Guanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun. Automated Specification Discovery via User-Defined Predicates ICFEM 2013 397-414 (pdf)
  8. Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Xin Chen. Loop invariant synthesis in a combined abstract domain. Journal of Symbolic Computation, Volume 50, March 2013. (pdf)
  9. Corneliu Popeea, Wei-Ngan Chin. Dual analysis for proving safety and finding bugs. Science of Computer Programming, Volume 78, Number 4, April 2013. (pdf)
  10. Quang Loc Le, Asankhaya Sharma, Florin Craciun, Wei-Ngan Chin. Towards Complete Specifications with an Error Calculus. 5th International Symposium NASA Formal Methods (NFM'13), California, USA, May 2013. (pdf)

2012

  1. Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo. Variable Permissions for Concurrency Verification. 14th International Conference on Formal Engineering Methods (ICFEM'12), Kyoto, Japan, November 2012. (pdf)
  2. Wei-Ngan Chin. Structured specification for program verification. The International Conference on Knowledge and System Engineering (KSE'12), Danang, Vietnam, August 2012.
  3. 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. Science of Computer Programming, Volume 77, Number 9, August 2012. Elsevier (pdf)
  4. Wei-Ngan Chin, Cristina David. From Verification to Specification Inference. The Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE'12), Beijing, China, July 2012.

2011

  1. Cristina David, Wei-Ngan Chin. Immutable specifications for more concise and precise verification. ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'11), Portland Oregon, USA, October 2011. (pdf)
  2. Wei-Ngan Chin, Cristina David, Cristian Gherghina. A HIP and SLEEK verification system. OOPSLA'11 Demonstration, Portland Oregon, USA, October 2011.
  3. Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin. A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. 23rd Intl Symposium on Computer Aided Verification (CAV'11), Snowbird, Utah, July 2011. (pdf)
  4. Tuan-Hung Pham, Minh-Thai Trinh, Anh-Hoang Truong, Wei-Ngan Chin. FixBag: A Fixpoint Calculator for Quantified Bag Constraints. 23rd Intl Symposium on Computer Aided Verification (CAV'11), Snowbird, Utah, July 2011. (pdf)
  5. Shengchao Qin, Chenguang Luo, Wei-Ngan Chin and Guanhua He. Automatically Refining Partial Specifications for Program Verification. 17th Intl Symposium on Formal Methods (FM'11), Limerick, Ireland, June 2011. (pdf)
  6. Cristian Gherghina, Cristina David, Shengchao Qin and Wei-Ngan Chin. Structured Specifications for Better Verification of Heap-Manipulating Programs. 17th Intl Symposium on Formal Methods (FM'11), Limerick, Ireland, June 2011. (pdf)

2010

  1. Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin. Verifying Heap-Manipulating Programs with Unknown Procedure Calls. Intl Conference on Formal Engineering Methods (ICFEM'10), pg 171-187 (LNCS), November 2010, Shanghai, China. (pdf)
  2. Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin. Loop Invariant Synthesis in a Combined Domain. Intl Conference on Formal Engineering Methods (ICFEM'10), pg 468-484 (LNCS), November 2010, Shanghai, China. (pdf)
  3. Ahmed Bouajjani, Wei-Ngan Chin (Eds). 8th Intl Symposium on Automated Technology for Verification and Analysis (ATVA'09) LNCS Sept 2010, Singapore.
  4. Shengyi Wang, Zongyan Qiu, Shengchao Qin and Wei-Ngan Chin. Stack Bound Inference for Abstract Java Bytecode. 4th Intl Symp on Theoretical Aspects of Software Engineering (TASE'10), August 2010, Taipei, Taiwan.
  5. Wei-Ngan Chin. Software Verification via Separation Logic (invited talk). 4th IEEE Intl Conference on Secure Software Integration and Reliability Improvement (SSIRI'10) June 2010, Singapore.
  6. Corneliu Popeea, Wei-Ngan Chin. Dual Analysis for Proving Safety and Finding Bugs. ACM Symposium on Applied Computing (SAC'10) , pg 2137-2143 (ACM Press), March 2010, Switzerland. (pdf)
  7. Wei-Ngan Chin. Modular Verification with Separation Logic (invited talk). Intl Conference on Advanced Computing and Applications March 2010, HCM City, Vietnam.
  8. 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 Theoretical Computer Science pg 49-61 Vol 266, 2010.
  9. Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin. Verifying Pointer Safety for Programs with Unknown Calls. Journal of Symbolic Computation pg 1163-1183 Vol 45(11) 2010. (pdf)

2009

  1. Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen. Completeness of Pointer Program Verification by Separation Logic. 7th IEEE Intl Conf on Software Engineering and Formal Methods, pg 179-188, Nov 2009, Hanoi, Vietnam. (technical report)
  2. Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin. Memory Usage Verification Using Hip/Sleek. 7th Imtl Symposium on Automated Technology for Verification and Analysis (ATVA'09), pg 166-181 (LNCS), October 2009, Macau, China. (pdf)
  3. Wei-Ngan Chin, Shengchao Qin (Eds). Third IEEE International Symposium on Theoretical Aspects of Software Engineering. TASE 20099 IEEE Press 29-31 July 2009, Tianjin, China.
  4. Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin. Discovering Specifications for Unknown Procedures (Work in Progress). The 2nd International Workshop on Invariant Generation (WING'09), 29 March 2009, York, United Kingdom.
  5. Florin Craciun, Wei-Ngan Chin, Guanhua He, and Shengchao Qin. An Interval-based Inference of Variant Parametric Types. 18th European Symposium on Programming (ESOP'09) , pg 112-127 (LNCS), 25-27 March 2009, York, United Kingdom.
  6. Cristian Maslalagiu, Wei-Ngan Chin, Stefan Andrei, Vasile Alaiba, A Rigorous Methodology for Specification and Verification of Business Processes. Formal Aspects of Computing pg 495-510 Vol 21(5) 2009.
  7. Adrian Nistor, Wei-Ngan Chin, Tiow-Seng Tan, Nicolae Tapus. Optimizing the parallel computation of linear recurrences using compact matrix representations. Journal of Parallel and Distributed Computing pg 373-381 Vol 69(4) 2009.
  8. Cristina David, Cristian Gherghina, Wei-Ngan Chin. Translation and Optimization for a Core Calculus with Exceptions. (PEPM 2009), pg 41-50 (ACM Press), January 2009, Savannah, USA. (pdf)

2008

  1. Alexandru Stefan, Florin Craciun, Wei-Ngan Chin. A Flow-Sensitive Region Inference for CLI. (APLAS 2008), Dec 2008, Bangalore, India,
  2. 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) , 10-14 Nov 2008, Cape Town, South Africa.
  3. Florin Craciun, Shengchao Qin, Wei-Ngan Chin, A Formal Soundness Proof of Region-Based Memory Management. (ICFEM 2008), Oct 2008, Princeton, Japan,
  4. Huu Hai Nguyen and Wei-Ngan Chin, Enhancing Program Verification with Lemmas, (CAV 2008), July 2008, Princeton, New Jersey, (pdf)
  5. Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin, Analysing Memory Resource Bounds for Low-Level Programs, (ISMM 2008), June 2008, Tucson, Arizona. (pdf)
  6. Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin, Enhancing Modular OO Verification with Separation Logic, (POPL 2008), Jan 2008, San Francisco, California. (pdf)
  7. Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin, Runtime Checking of Separation Logic, (VMCAI 2008), Jan 2008, San Francisco, California. (pdf)
  8. Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin, A Practical and Precise Inference and Specializer for Array Bounds Checks Elimination, (PEPM 2008), Jan 2008, San Francisco, California. (pdf)

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. (pdf)
  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 (pdf), (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 .
  4. Stefan Andrei, Salvador V. Cavadini, Wei-Ngan Chin, A New Algorithm for Regularizing One-Letter Context-Free Grammars. Theoretical Computer Science .
  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 (pdf).

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