Wei-Ngan Chin

According to our database, Wei-Ngan Chin authored at least 141 papers between 1990 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

ProveNFix: Temporal Property-Guided Program Repair.

Yahui Song, Xiang Gao, Wenhua Li, Wei-Ngan Chin, Abhik Roychoudhury

Proc. ACM Softw. Eng., 2024

Specification and Verification for Unrestricted Algebraic Effects and Handling.

Yahui Song, Darius Foo, Wei-Ngan Chin

Proc. ACM Program. Lang., 2024

Staged Specification Logic for Verifying Higher-Order Imperative Programs.

Darius Foo, Yahui Song, Wei-Ngan Chin

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Staged Specifications for Automated Verification of Higher-Order Imperative Programs.

Darius Foo, Yahui Song, Wei-Ngan Chin

CoRR, 2023

Tracing OCaml Programs.

Darius Foo, Wei-Ngan Chin

CoRR, 2023

Protocol Conformance with Choreographic PlusCal.

Darius Foo, Andreea Costea, Wei-Ngan Chin

Proceedings of the Theoretical Aspects of Software Engineering, 2023

Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm.

Yahui Song, Wei-Ngan Chin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection.

Wenhua Li, Quang Loc Le, Yahui Song, Wei-Ngan Chin

Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2022

Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm.

Yahui Song, Wei-Ngan Chin

Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022

Automated Temporal Verification for Algebraic Effects.

Yahui Song, Darius Foo, Wei-Ngan Chin

Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022

2021

Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization.

Andreea Costea, Wei-Ngan Chin, Florin Craciun, Shengchao Qin

CoRR, 2021

A Synchronous Effects Logic for Temporal Verification of Pure Esterel.

Yahui Song, Wei-Ngan Chin

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis.

Thanh-Toan Nguyen, Quang-Trung Ta, Ilya Sergey, Wei-Ngan Chin

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

2020

Automated Temporal Verification of Integrated Dependent Effects.

Yahui Song, Wei-Ngan Chin

Proceedings of the Formal Methods and Software Engineering, 2020

2019

Completeness and expressiveness of pointer program verification by separation logic.

Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen

Inf. Comput., 2019

Automated mutual induction proof in separation logic.

Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin

Formal Aspects Comput., 2019

Automated Verification of CountDownLatch.

Wei-Ngan Chin, Ton Chanh Le, Shengchao Qin

CoRR, 2019

Automatic Program Repair Using Formal Verification and Expression Templates.

Thanh-Toan Nguyen, Quang-Trung Ta, Wei-Ngan Chin

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

SL-COMP: Competition of Solvers for Separation Logic.

Mihaela Sighireanu, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

Automated lemma synthesis in symbolic-heap separation logic.

Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin

Proc. ACM Program. Lang., 2018

A Logical System for Modular Information Flow Verification.

Adi Prabawa, Mahmudul Faisal Al Ameen, Benedict Lee, Wei-Ngan Chin

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Verification of C Buffer Overflows in C Programs.

Andreea Bican, Razvan Deaconescu, Wei-Ngan Chin, Quang-Trung Ta

Proceedings of the 2018 17th RoEduNet Conference: Networking in Education and Research (RoEduNet), 2018

Variant Region Types.

Florin Craciun, Wei-Ngan Chin, Shengchao Qin

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

Automated Modular Verification for Relaxed Communication Protocols.

Andreea Costea, Wei-Ngan Chin, Shengchao Qin, Florin Craciun

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017

Automated specification inference in a combined domain via user-defined predicates.

Shengchao Qin, Guanhua He, Wei-Ngan Chin, Florin Craciun, Mengda He, Zhong Ming

Sci. Comput. Program., 2017

UStore: A Distributed Storage With Rich Semantics.

Anh Dinh, Ji Wang, Sheng Wang, Gang Chen, Wei-Ngan Chin, Qian Lin, Beng Chin Ooi, Pingcheng Ruan, Kian-Lee Tan, Zhongle Xie, Hao Zhang, Meihui Zhang

CoRR, 2017

HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction - (Competition Contribution).

Ton Chanh Le, Quang-Trung Ta, Wei-Ngan Chin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

A Certified Decision Procedure for Tree Shares.

Xuan Bach Le, Thanh-Toan Nguyen, Wei-Ngan Chin, Aquinas Hobor

Proceedings of the Formal Methods and Software Engineering, 2017

A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic.

Quang Loc Le, Makoto Tatsuta, Jun Sun, Wei-Ngan Chin

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Automated Mutual Explicit Induction Proof in Separation Logic.

Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin

Proceedings of the FM 2016: Formal Methods, 2016

Satisfiability Modulo Heap-Based Programs.

Quang Loc Le, Jun Sun, Wei-Ngan Chin

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic.

Makoto Tatsuta, Quang Loc Le, Wei-Ngan Chin

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015

Selected and extended papers from Partial Evaluation and Program Manipulation 2014.

Wei-Ngan Chin, Jurriaan Hage

Sci. Comput. Program., 2015

Termination and non-termination specification inference.

Ton Chanh Le, Shengchao Qin, Wei-Ngan Chin

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Threads as Resource for Concurrency Verification.

Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

Specifying Compatible Sharing in Data Structures.

Asankhaya Sharma, Aquinas Hobor, Wei-Ngan Chin

Proceedings of the Formal Methods and Software Engineering, 2015

Certified Reasoning with Infinity.

Asankhaya Sharma, Shengyi Wang, Andreea Costea, Aquinas Hobor, Wei-Ngan Chin

Proceedings of the FM 2015: Formal Methods, 2015

2014

Expressive program verification via structured specifications.

Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin

Int. J. Softw. Tools Technol. Transf., 2014

Automated verification of the FreeRTOS scheduler in Hip/Sleek.

João F. Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin, Wei-Ngan Chin

Int. J. Softw. Tools Technol. Transf., 2014

Automatically refining partial specifications for heap-manipulating programs.

Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Hongli Yang

Sci. Comput. Program., 2014

Completeness of Separation Logic with Inductive Definitions for Program Verification.

Makoto Tatsuta, Wei-Ngan Chin

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

A Resource-Based Logic for Termination and Non-termination Proofs.

Ton Chanh Le, Cristian Gherghina, Aquinas Hobor, Wei-Ngan Chin

Proceedings of the Formal Methods and Software Engineering, 2014

Shape Analysis via Second-Order Bi-Abduction.

Quang Loc Le, Cristian Gherghina, Shengchao Qin, Wei-Ngan Chin

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Dual analysis for proving safety and finding bugs.

Corneliu Popeea, Wei-Ngan Chin

Sci. Comput. Program., 2013

Loop invariant synthesis in a combined abstract domain.

Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Xin Chen

J. Symb. Comput., 2013

Towards Complete Specifications with an Error Calculus.

Quang Loc Le, Asankhaya Sharma, Florin Craciun, Wei-Ngan Chin

Proceedings of the NASA Formal Methods, 2013

A Proof Slicing Framework for Program Verification.

Ton Chanh Le, Cristian Gherghina, Razvan Voicu, Wei-Ngan Chin

Proceedings of the Formal Methods and Software Engineering, 2013

Verification of Static and Dynamic Barrier Synchronization Using Bounded Permissions.

Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo

Proceedings of the Formal Methods and Software Engineering, 2013

Automated Specification Discovery via User-Defined Predicates.

Guanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun

Proceedings of the Formal Methods and Software Engineering, 2013

Specification, Verification and Inference (Invited Talk).

Wei-Ngan Chin

Proceedings of the 1st French Singaporean Workshop on Formal Methods and Applications, 2013

Invariants Synthesis over a Combined Domain for Automated Program Verification.

Shengchao Qin, Guanhua He, Wei-Ngan Chin, Hongli Yang

Proceedings of the Theories of Programming and Formal Methods, 2013

An Expressive Framework for Verifying Deadlock Freedom.

Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo

Proceedings of the Automated Technology for Verification and Analysis, 2013

Bi-Abduction with Pure Properties for Specification Inference.

Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

Automated verification of shape, size and bag properties via user-defined predicates in separation logic.

Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin

Sci. Comput. Program., 2012

From Verification to Specification Inference.

Wei-Ngan Chin, Cristina David

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Structured specification for program verification.

Wei-Ngan Chin

Proceedings of the Fourth International Conference on Knowledge and Systems Engineering, 2012

Variable Permissions for Concurrency Verification.

Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo

Proceedings of the Formal Methods and Software Engineering, 2012

2011

Immutable specifications for more concise and precise verification.

Cristina David, Wei-Ngan Chin

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

A HIP and SLEEK verification system.

Wei-Ngan Chin, Cristina David, Cristian Gherghina

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Automatically Refining Partial Specifications for Program Verification.

Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He

Proceedings of the FM 2011: Formal Methods, 2011

Structured Specifications for Better Verification of Heap-Manipulating Programs.

Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin

Proceedings of the FM 2011: Formal Methods, 2011

FixBag: A Fixpoint Calculator for Quantified Bag Constraints.

Tuan-Hung Pham, Minh-Thai Trinh, Anh-Hoang Truong, Wei-Ngan Chin

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification.

Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Verifying pointer safety for programs with unknown calls.

Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin

J. Symb. Comput., 2010

Stack Bound Inference for Abstract Java Bytecode.

Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Verifying Heap-Manipulating Programs with Unknown Procedure Calls.

Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin

Proceedings of the Formal Methods and Software Engineering, 2010

Loop Invariant Synthesis in a Combined Domain.

Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin

Proceedings of the Formal Methods and Software Engineering, 2010

Discovering Specifications for Unknown Procedures - Work in Progress.

Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin

Proceedings of the Second International Workshop on Invariant Generation, 2010

2009

Optimizing the parallel computation of linear recurrences using compact matrix representations.

Adrian Nistor, Wei-Ngan Chin, Tiow Seng Tan, Nicolae Tapus

J. Parallel Distributed Comput., 2009

A rigorous methodology for specification and verification of business processes.

Cristian Masalagiu, Wei-Ngan Chin, Stefan Andrei, Vasile Alaiba

Formal Aspects Comput., 2009

Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion.

Tuan-Hung Pham, Anh-Hoang Truong, Wei-Ngan Chin, Takenobu Aoshima

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

Completeness of Pointer Program Verification by Separation Logic.

Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Translation and optimization for a core calculus with exceptions.

Cristina David, Cristian Gherghina, Wei-Ngan Chin

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

An Interval-Based Inference of Variant Parametric Types.

Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin

Proceedings of the Programming Languages and Systems, 2009

Memory Usage Verification Using Hip/Sleek.

Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Runtime Checking for Separation Logic.

Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin

Proceedings of the Verification, 2008

A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets.

Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Enhancing modular OO verification with separation logic.

Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

A practical and precise inference and specializer for array bound checks elimination.

Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

Analysing memory resource bounds for low-level programs.

Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin

Proceedings of the 7th International Symposium on Memory Management, 2008

A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm.

Florin Craciun, Shengchao Qin, Wei-Ngan Chin

Proceedings of the Formal Methods and Software Engineering, 2008

Enhancing Program Verification with Lemmas.

Huu Hai Nguyen, Wei-Ngan Chin

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

A Flow-Sensitive Region Inference for CLI.

Alexandru Stefan, Florin Craciun, Wei-Ngan Chin

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

Automated Verification of Shape and Size Properties Via Separation Logic.

Huu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin

Proceedings of the Verification, 2007

Automated Verification of Shape, Size and Bag Properties.

Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Multiple Pre/Post Specifications for Heap-Manipulating Methods.

Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

2006

Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting.

Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Mihai Lupu

IEEE Trans. Computers, 2006

From Statecharts to Verilog: a formal approach to hardware/software co-specification.

Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu

Innov. Syst. Softw. Eng., 2006

Redundant Call Elimination via Tupling.

Wei-Ngan Chin, Siau-Cheng Khoo, Neil D. Jones

Fundam. Informaticae, 2006

Incremental Deterministic Planning.

Stefan Andrei, Wei-Ngan Chin, Martin C. Rinard

Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006

Core-java: an expression-oriented java.

Florin Craciun, Hong Yaw Goh, Corneliu Popeea, Wei-Ngan Chin

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

A flow-based approach for variant parametric types.

Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Inferring Disjunctive Postconditions.

Corneliu Popeea, Wei-Ngan Chin

Proceedings of the Advances in Computer Science, 2006

2005

Memory Usage Verification for OO Programs.

Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard

Proceedings of the Static Analysis, 12th International Symposium, 2005

Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits.

Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Yongxin Zhu

Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting.

Stefan Andrei, Albert Mo Kim Cheng, Wei-Ngan Chin, Mihai Lupu

Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005

Verifying safety policies with size properties and alias controls.

Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2004

Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation.

Wei-Ngan Chin, Olivier Danvy, Peter Thiemann

High. Order Symb. Comput., 2004

Solving a class of higher-order equations over a group structure.

Stefan Andrei, Wei-Ngan Chin

J. Symb. Comput., 2004

Co-determinism and unambiguity of automata accepting finite or infinite words.

Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras

Sci. Ann. Cuza Univ., 2004

Self-embedded context-free grammars with regular counterparts.

Stefan Andrei, Wei-Ngan Chin, Salvador Valerio Cavadini

Acta Informatica, 2004

Incremental Satisfiability Counting for Real-Time Systems.

Stefan Andrei, Wei-Ngan Chin

Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 2004

Region inference for an object-oriented language.

Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard

Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

A type system for resource protocol verification and its correctness proof.

Corneliu Popeea, Wei-Ngan Chin

Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

An Automatic Mapping from Statecharts to Verilog.

Viet-Anh Vu Tran, Shengchao Qin, Wei-Ngan Chin

Proceedings of the Theoretical Aspects of Computing, 2004

2003

A new algorithm for regularizing one-letter context-free grammars.

Stefan Andrei, Salvador Valerio Cavadini, Wei-Ngan Chin

Theor. Comput. Sci., 2003

A Semantic Foundation for TCOZ in Unifying Theories of Programming.

Shengchao Qin, Jin Song Dong, Wei-Ngan Chin

Proceedings of the FME 2003: Formal Methods, 2003

Mapping Statecharts to Verilog for Hardware/Software Co-specification.

Shengchao Qin, Wei-Ngan Chin

Proceedings of the FME 2003: Formal Methods, 2003

2002

An Efficient Distributed Deadlock Avoidance Algorithm for the AND Model.

Hui Wu, Wei-Ngan Chin, Joxan Jaffar

IEEE Trans. Software Eng., 2002

A Tutorial on a Monadic Approach for Expressions Evaluation.

Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras

Sci. Ann. Cuza Univ., 2002

A Lazy Divide and Conquer Approach to Constraint Solving.

Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo

Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 2002

Towards a Modular Program Derivation via Fusion and Tupling.

Wei-Ngan Chin, Zhenjiang Hu

Proceedings of the Generative Programming and Component Engineering, 2002

A Type-Based Approach to Parallelization (preliminary report).

Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

Extending Sized Type with Collection Analysis.

Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001

Calculating Sized Types.

Wei-Ngan Chin, Siau-Cheng Khoo

High. Order Symb. Comput., 2001

Calculating a New Data Mining Algorithm for Market Basket Analysis.

Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi

J. Funct. Log. Program., 2001

Charting Patterns on Price History.

Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

Higher-Order Polymorphic Sized Types for Safety Checks.

Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000

Deriving Parallel Codes via Invariants.

Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi

Proceedings of the Static Analysis, 7th International Symposium, 2000

Deriving Pre-Conditions for Array Bound Check Elimination.

Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu

Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

1999

Effective Optimization of Multiple Traversals in Lazy Languages.

Wei-Ngan Chin, Aik-Hui Goh, Siau-Cheng Khoo

Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 1999

1998

Parallelization in Calculational Forms.

Zhenjiang Hu, Masato Takeichi, Wei-Ngan Chin

Proceedings of the POPL '98, 1998

Parallelization via Context Preservation.

Wei-Ngan Chin, Akihiko Takano, Zhenjiang Hu

Proceedings of the 1998 International Conference on Computer Languages, 1998

Synchronisation Analysis to Stop Tulping.

Wei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee

Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 1998

1997

A Bounds Inference Method for Vector-Based Memoisation.

Wei-Ngan Chin, Masami Hagiya

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

Deriving efficient parallel programs for complex recurrences.

Yong Meng Teo, Wei-Ngan Chin, Soon Huat Tan

Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, 1997

1996

A Higher-Order Removal Method.

Wei-Ngan Chin, John Darlington

LISP Symb. Comput., 1996

Better Consumers for Program Specializations.

Wei-Ngan Chin, Siau-Cheng Khoo

J. Funct. Log. Program., 1996

Parallelizing Conditional Recurrences.

Wei-Ngan Chin, John Darlington, Yike Guo

Proceedings of the Euro-Par '96 Parallel Processing, 1996

Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract).

Wei-Ngan Chin, Siau-Cheng Khoo, Peter Thiemann

Proceedings of the Partial Evaluation, International Seminar, 1996

Variable Timestamp-Based Distributed Deadlock Detection and Resolution.

Hui Wu, Wei-Ngan Chin

Proceedings of the Concurrency and Parallelism, 1996

1995

Load Balancing and Scheduling in a Neighbourhood-Based Multiprocessor.

Gary S. H. Tan, Wei-Ngan Chin

Comput. Artif. Intell., 1995

A Transformation Method for Dynamic-Sized Tabulation.

Wei-Ngan Chin, Masami Hagiya

Acta Informatica, 1995

Better Consumers for Deforestation (Extended Abstract)

Wei-Ngan Chin, Siau-Cheng Khoo

Proceedings of the Programming Languages: Implementations, 1995

1994

Safe Fusion of Functional Expressions II: Further Improvements.

Wei-Ngan Chin

J. Funct. Program., 1994

1993

Tupling Functions with Multiple Recursion Parameters.

Wei-Ngan Chin, Siau-Cheng Khoo

Proceedings of the Static Analysis, Third International Workshop, 1993

Towards an Automated Tupling Strategy.

Wei-Ngan Chin

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1993

1992

Fully Lazy Higher-Order Removal.

Wei-Ngan Chin

Proceedings of the PEPM'92, 1992

Safe Fusion of Functional Expressions.

Wei-Ngan Chin

Proceedings of the Conference on Lisp and Functional Programming, 1992

Load Balancing in a Neighbourhood-Based Multiprocessor.

Gary S. H. Tan, Wei-Ngan Chin

Proceedings of the Parallel Processing: CONPAR 92, 1992

1990

Automatic methods for program transformation.

Wei-Ngan Chin

PhD thesis, 1990