Automatic methods for program transformation. - Wei-Ngan Chin (1990)

Load Balancing in a Neighbourhood-Based Multiprocessor. - Gary S. H. Tan; Wei-Ngan Chin (CONPAR, 1992)

Safe Fusion of Functional Expressions. - Wei-Ngan Chin (LISP and Functional Programming, 1992)

Fully Lazy Higher-Order Removal. - Wei-Ngan Chin (PEPM, 1992)

Towards an Automated Tupling Strategy. - Wei-Ngan Chin (PEPM, 1993)

Tupling Functions with Multiple Recursion Parameters. - Wei-Ngan Chin; Siau-Cheng Khoo (WSA, 1993)

Safe Fusion of Functional Expressions II: Further Improvements. - Wei-Ngan Chin (J. Funct. Program., 1994)

Better Consumers for Deforestation (Extended Abstract) - Wei-Ngan Chin; Siau-Cheng Khoo (PLILP, 1995)

A Transformation Method for Dynamic-Sized Tabulation. - Wei-Ngan Chin; Masami Hagiya (Acta Informatica, 1995)

Load Balancing and Scheduling in a Neighbourhood-Based Multiprocessor. - Gary S. H. Tan; Wei-Ngan Chin (Comput. Artif. Intell., 1995)

Variable Timestamp-Based Distributed Deadlock Detection and Resolution. - Hui Wu 001; Wei-Ngan Chin (ASIAN, 1996)

Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract). - Wei-Ngan Chin; Siau-Cheng Khoo; Peter Thiemann 001 (Dagstuhl Seminar on Partial Evaluation, 1996)

Parallelizing Conditional Recurrences. - Wei-Ngan Chin; John Darlington; Yike Guo (Euro-Par, Vol. I, 1996)

Better Consumers for Program Specializations. - Wei-Ngan Chin; Siau-Cheng Khoo (J. Funct. Log. Program., 1996)

A Higher-Order Removal Method. - Wei-Ngan Chin; John Darlington (LISP Symb. Comput., 1996)

Deriving efficient parallel programs for complex recurrences. - Yong Meng Teo; Wei-Ngan Chin; Soon Huat Tan (PASCO, 1997)

A Bounds Inference Method for Vector-Based Memoisation. - Wei-Ngan Chin; Masami Hagiya (ICFP, 1997)

Synchronisation Analysis to Stop Tulping. - Wei-Ngan Chin; Siau-Cheng Khoo; Tat-Wee Lee (ESOP, 1998)

Parallelization via Context Preservation. - Wei-Ngan Chin; Akihiko Takano; Zhenjiang Hu (ICCL, 1998)

Parallelization in Calculational Forms. - Zhenjiang Hu; Masato Takeichi; Wei-Ngan Chin (POPL, 1998)

Effective Optimization of Multiple Traversals in Lazy Languages. - Wei-Ngan Chin; Aik-Hui Goh; Siau-Cheng Khoo (PEPM, 1999)

Deriving Pre-Conditions for Array Bound Check Elimination. - Wei-Ngan Chin; Siau-Cheng Khoo; Dana N. Xu (APLAS, 2000)

Deriving Parallel Codes via Invariants. - Wei-Ngan Chin; Siau-Cheng Khoo; Zhenjiang Hu; Masato Takeichi (SAS, 2000)

Higher-Order Polymorphic Sized Types for Safety Checks. - Wei-Ngan Chin; Siau-Cheng Khoo; Dana N. Xu (APLAS, 2001)

Charting Patterns on Price History. - Saswat Anand; Wei-Ngan Chin; Siau-Cheng Khoo (ICFP, 2001)

Calculating a New Data Mining Algorithm for Market Basket Analysis. - Zhenjiang Hu; Wei-Ngan Chin; Masato Takeichi (J. Funct. Log. Program., 2001)

Calculating Sized Types. - Wei-Ngan Chin; Siau-Cheng Khoo (High. Order Symb. Comput., 2001)

Extending Sized Type with Collection Analysis. - Wei-Ngan Chin; Siau-Cheng Khoo; Dana N. Xu (APLAS, 2002)

A Type-Based Approach to Parallelization (preliminary report). - Dana N. Xu; Siau-Cheng Khoo; Wei-Ngan Chin; Zhenjiang Hu (APLAS, 2002)

Towards a Modular Program Derivation via Fusion and Tupling. - Wei-Ngan Chin; Zhenjiang Hu (GPCE, 2002)

A Lazy Divide and Conquer Approach to Constraint Solving. - Saswat Anand; Wei-Ngan Chin; Siau-Cheng Khoo (ICTAI, 2002)

A Tutorial on a Monadic Approach for Expressions Evaluation. - Stefan Andrei; Wei-Ngan Chin; Gheorghe Grigoras (Sci. Ann. Cuza Univ., 2002)

An Efficient Distributed Deadlock Avoidance Algorithm for the AND Model. - Hui Wu 001; Wei-Ngan Chin; Joxan Jaffar (IEEE Trans. Software Eng., 2002)

Mapping Statecharts to Verilog for Hardware/Software Co-specification. - Shengchao Qin; Wei-Ngan Chin (FME, 2003)

A Semantic Foundation for TCOZ in Unifying Theories of Programming. - Shengchao Qin; Jin Song Dong; Wei-Ngan Chin (FME, 2003)

A new algorithm for regularizing one-letter context-free grammars. - Stefan Andrei; Salvador Valerio Cavadini; Wei-Ngan Chin (Theor. Comput. Sci., 2003)

An Automatic Mapping from Statecharts to Verilog. - Viet-Anh Vu Tran; Shengchao Qin; Wei-Ngan Chin (ICTAC, 2004)

A type system for resource protocol verification and its correctness proof. - Corneliu Popeea; Wei-Ngan Chin (PEPM, 2004)

Region inference for an object-oriented language. - Wei-Ngan Chin; Florin Craciun; Shengchao Qin; Martin C. Rinard (PLDI, 2004)

Incremental Satisfiability Counting for Real-Time Systems. - Stefan Andrei; Wei-Ngan Chin (IEEE Real-Time and Embedded Technology and Applications Symposium, 2004)

Self-embedded context-free grammars with regular counterparts. - Stefan Andrei; Wei-Ngan Chin; Salvador Valerio Cavadini (Acta Informatica, 2004)

Co-determinism and unambiguity of automata accepting finite or infinite words. - Stefan Andrei; Wei-Ngan Chin; Gheorghe Grigoras (Sci. Ann. Cuza Univ., 2004)

Solving a class of higher-order equations over a group structure. - Stefan Andrei; Wei-Ngan Chin (J. Symb. Comput., 2004)

Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation. - Wei-Ngan Chin; Olivier Danvy; Peter Thiemann 001 (High. Order Symb. Comput., 2004)

Verifying safety policies with size properties and alias controls. - Wei-Ngan Chin; Siau-Cheng Khoo; Shengchao Qin; Corneliu Popeea; Huu Hai Nguyen (ICSE, 2005)

Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting. - Stefan Andrei; Albert Mo Kim Cheng; Wei-Ngan Chin; Mihai Lupu (IEEE Real-Time and Embedded Technology and Applications Symposium, 2005)

Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits. - Stefan Andrei; Wei-Ngan Chin; Albert Mo Kim Cheng; Yongxin Zhu 001 (RTCSA, 2005)

Memory Usage Verification for OO Programs. - Wei-Ngan Chin; Huu Hai Nguyen; Shengchao Qin; Martin C. Rinard (SAS, 2005)

Inferring Disjunctive Postconditions. - Corneliu Popeea; Wei-Ngan Chin (ASIAN, 2006)

A flow-based approach for variant parametric types. - Wei-Ngan Chin; Florin Craciun; Siau-Cheng Khoo; Corneliu Popeea (OOPSLA, 2006)

Core-java: an expression-oriented java. - Florin Craciun; Hong Yaw Goh; Corneliu Popeea; Wei-Ngan Chin (OOPSLA Companion, 2006)

Incremental Deterministic Planning. - Stefan Andrei; Wei-Ngan Chin; Martin C. Rinard (SYNASC, 2006)

Redundant Call Elimination via Tupling. - Wei-Ngan Chin; Siau-Cheng Khoo; Neil D. Jones (Fundam. Informaticae, 2006)

From Statecharts to Verilog: a formal approach to hardware/software co-specification. - Shengchao Qin; Wei-Ngan Chin; Jifeng He 001; Zongyan Qiu (Innov. Syst. Softw. Eng., 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)

Multiple Pre/Post Specifications for Heap-Manipulating Methods. - Wei-Ngan Chin; Cristina David; Huu Hai Nguyen; Shengchao Qin (HASE, 2007)

Automated Verification of Shape, Size and Bag Properties. - Wei-Ngan Chin; Cristina David; Huu Hai Nguyen; Shengchao Qin (ICECCS, 2007)

Automated Verification of Shape and Size Properties Via Separation Logic. - Huu Hai Nguyen; Cristina David; Shengchao Qin; Wei-Ngan Chin (VMCAI, 2007)

A Flow-Sensitive Region Inference for CLI. - Alexandru Stefan; Florin Craciun; Wei-Ngan Chin (APLAS, 2008)

Enhancing Program Verification with Lemmas. - Huu Hai Nguyen; Wei-Ngan Chin (CAV, 2008)

A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. - Florin Craciun; Shengchao Qin; Wei-Ngan Chin (ICFEM, 2008)

Analysing memory resource bounds for low-level programs. - Wei-Ngan Chin; Huu Hai Nguyen; Corneliu Popeea; Shengchao Qin (ISMM, 2008)

A practical and precise inference and specializer for array bound checks elimination. - Corneliu Popeea; Dana N. Xu; Wei-Ngan Chin (PEPM, 2008)

Enhancing modular OO verification with separation logic. - Wei-Ngan Chin; Cristina David; Huu Hai Nguyen; Shengchao Qin (POPL, 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 (SEFM, 2008)

Runtime Checking for Separation Logic. - Huu Hai Nguyen; Viktor Kuncak; Wei-Ngan Chin (VMCAI, 2008)

Memory Usage Verification Using Hip/Sleek. - Guanhua He; Shengchao Qin; Chenguang Luo; Wei-Ngan Chin (ATVA, 2009)

An Interval-Based Inference of Variant Parametric Types. - Florin Craciun; Wei-Ngan Chin; Guanhua He; Shengchao Qin (ESOP, 2009)

Translation and optimization for a core calculus with exceptions. - Cristina David; Cristian Gherghina; Wei-Ngan Chin (PEPM, 2009)

Completeness of Pointer Program Verification by Separation Logic. - Makoto Tatsuta; Wei-Ngan Chin; Mahmudul Faisal Al Ameen (SEFM, 2009)

Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion. - Tuan-Hung Pham; Anh-Hoang Truong; Wei-Ngan Chin; Takenobu Aoshima (TTSS, 2009)

A rigorous methodology for specification and verification of business processes. - Cristian Masalagiu; Wei-Ngan Chin; Stefan Andrei; Vasile Alaiba (Formal Aspects Comput., 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)

Discovering Specifications for Unknown Procedures - Work in Progress. - Florin Craciun; Chenguang Luo; Guanhua He; Shengchao Qin; Wei-Ngan Chin (WING@ETAPS/IJCAR, 2010)

Loop Invariant Synthesis in a Combined Domain. - Shengchao Qin; Guanhua He; Chenguang Luo; Wei-Ngan Chin (ICFEM, 2010)

Verifying Heap-Manipulating Programs with Unknown Procedure Calls. - Shengchao Qin; Chenguang Luo; Guanhua He; Florin Craciun; Wei-Ngan Chin (ICFEM, 2010)

Stack Bound Inference for Abstract Java Bytecode. - Shengyi Wang; Zongyan Qiu; Shengchao Qin; Wei-Ngan Chin (TASE, 2010)

Verifying pointer safety for programs with unknown calls. - Chenguang Luo; Florin Craciun; Shengchao Qin; Guanhua He; Wei-Ngan Chin (J. Symb. Comput., 2010)

A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. - Wei-Ngan Chin; Cristian Gherghina; Razvan Voicu; Quang Loc Le; Florin Craciun; Shengchao Qin (CAV, 2011)

FixBag: A Fixpoint Calculator for Quantified Bag Constraints. - Tuan-Hung Pham; Minh-Thai Trinh; Anh-Hoang Truong; Wei-Ngan Chin (CAV, 2011)

Structured Specifications for Better Verification of Heap-Manipulating Programs. - Cristian Gherghina; Cristina David; Shengchao Qin; Wei-Ngan Chin (FM, 2011)

Automatically Refining Partial Specifications for Program Verification. - Shengchao Qin; Chenguang Luo; Wei-Ngan Chin; Guanhua He (FM, 2011)

A HIP and SLEEK verification system. - Wei-Ngan Chin; Cristina David; Cristian Gherghina (OOPSLA Companion, 2011)

Immutable specifications for more concise and precise verification. - Cristina David; Wei-Ngan Chin (OOPSLA, 2011)

Variable Permissions for Concurrency Verification. - Duy-Khanh Le; Wei-Ngan Chin; Yong Meng Teo (ICFEM, 2012)

Structured specification for program verification. - Wei-Ngan Chin (KSE, 2012)

From Verification to Specification Inference. - Wei-Ngan Chin; Cristina David (TASE, 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)

Bi-Abduction with Pure Properties for Specification Inference. - Minh-Thai Trinh; Quang Loc Le; Cristina David; Wei-Ngan Chin (APLAS, 2013)

An Expressive Framework for Verifying Deadlock Freedom. - Duy-Khanh Le; Wei-Ngan Chin; Yong Meng Teo (ATVA, 2013)

Invariants Synthesis over a Combined Domain for Automated Program Verification. - Shengchao Qin; Guanhua He; Wei-Ngan Chin; Hongli Yang (Theories of Programming and Formal Methods, 2013)

Specification, Verification and Inference (Invited Talk). - Wei-Ngan Chin (FSFMA, 2013)

Automated Specification Discovery via User-Defined Predicates. - Guanhua He; Shengchao Qin; Wei-Ngan Chin; Florin Craciun (ICFEM, 2013)

Verification of Static and Dynamic Barrier Synchronization Using Bounded Permissions. - Duy-Khanh Le; Wei-Ngan Chin; Yong Meng Teo (ICFEM, 2013)

A Proof Slicing Framework for Program Verification. - Ton Chanh Le; Cristian Gherghina; Razvan Voicu; Wei-Ngan Chin (ICFEM, 2013)

Towards Complete Specifications with an Error Calculus. - Quang Loc Le; Asankhaya Sharma; Florin Craciun; Wei-Ngan Chin (NASA Formal Methods, 2013)

Loop invariant synthesis in a combined abstract domain. - Shengchao Qin; Guanhua He; Chenguang Luo; Wei-Ngan Chin; Xin Chen 027 (J. Symb. Comput., 2013)

Dual analysis for proving safety and finding bugs. - Corneliu Popeea; Wei-Ngan Chin (Sci. Comput. Program., 2013)

Shape Analysis via Second-Order Bi-Abduction. - Quang Loc Le; Cristian Gherghina; Shengchao Qin; Wei-Ngan Chin (CAV, 2014)

A Resource-Based Logic for Termination and Non-termination Proofs. - Ton Chanh Le; Cristian Gherghina; Aquinas Hobor; Wei-Ngan Chin (ICFEM, 2014)

Completeness of Separation Logic with Inductive Definitions for Program Verification. - Makoto Tatsuta; Wei-Ngan Chin (SEFM, 2014)

Automatically refining partial specifications for heap-manipulating programs. - Shengchao Qin; Guanhua He; Chenguang Luo; Wei-Ngan Chin; Hongli Yang (Sci. Comput. Program., 2014)

Automated verification of the FreeRTOS scheduler in Hip/Sleek. - João F. Ferreira 001; Cristian Gherghina; Guanhua He; Shengchao Qin; Wei-Ngan Chin (Int. J. Softw. Tools Technol. Transf., 2014)

Expressive program verification via structured specifications. - Cristian Gherghina; Cristina David; Shengchao Qin; Wei-Ngan Chin (Int. J. Softw. Tools Technol. Transf., 2014)

Certified Reasoning with Infinity. - Asankhaya Sharma; Shengyi Wang; Andreea Costea; Aquinas Hobor; Wei-Ngan Chin (FM, 2015)

Specifying Compatible Sharing in Data Structures. - Asankhaya Sharma; Aquinas Hobor; Wei-Ngan Chin (ICFEM, 2015)

Threads as Resource for Concurrency Verification. - Duy-Khanh Le; Wei-Ngan Chin; Yong Meng Teo (PEPM, 2015)

Termination and non-termination specification inference. - Ton Chanh Le; Shengchao Qin; Wei-Ngan Chin (PLDI, 2015)

Selected and extended papers from Partial Evaluation and Program Manipulation 2014. - Wei-Ngan Chin; Jurriaan Hage (Sci. Comput. Program., 2015)

Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic. - Makoto Tatsuta; Quang Loc Le; Wei-Ngan Chin (APLAS, 2016)

Satisfiability Modulo Heap-Based Programs. - Quang Loc Le; Jun Sun 001; Wei-Ngan Chin (CAV (1), 2016)

Automated Mutual Explicit Induction Proof in Separation Logic. - Quang-Trung Ta; Ton Chanh Le; Siau-Cheng Khoo; Wei-Ngan Chin (FM, 2016)

A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic. - Quang Loc Le; Makoto Tatsuta; Jun Sun 001; Wei-Ngan Chin (CAV (2), 2017)

A Certified Decision Procedure for Tree Shares. - Xuan Bach Le; Thanh-Toan Nguyen; Wei-Ngan Chin; Aquinas Hobor (ICFEM, 2017)

HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction - (Competition Contribution). - Ton Chanh Le; Quang-Trung Ta; Wei-Ngan Chin (TACAS (2), 2017)

UStore: A Distributed Storage With Rich Semantics. - Tien Tuan Anh Dinh; Ji Wang 006; Sheng Wang 011; Gang Chen 001; Wei-Ngan Chin; Qian Lin 002; Beng Chin Ooi; Pingcheng Ruan; Kian-Lee Tan; Zhongle Xie; Hao Zhang 029; Meihui Zhang 001 (CoRR, 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 001 (Sci. Comput. Program., 2017)

Automated Modular Verification for Relaxed Communication Protocols. - Andreea Costea; Wei-Ngan Chin; Shengchao Qin; Florin Craciun (APLAS, 2018)

Variant Region Types. - Florin Craciun; Wei-Ngan Chin; Shengchao Qin (ICECCS, 2018)

Verification of C Buffer Overflows in C Programs. - Andreea Bican; Razvan Deaconescu; Wei-Ngan Chin; Quang-Trung Ta (RoEduNet, 2018)

A Logical System for Modular Information Flow Verification. - Adi Prabawa; Mahmudul Faisal Al Ameen; Benedict Lee; Wei-Ngan Chin (VMCAI, 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)

SL-COMP: Competition of Solvers for Separation Logic. - Mihaela Sighireanu; Juan Antonio Navarro Pérez; Andrey Rybalchenko; Nikos Gorogiannis; Radu Iosif; Andrew Reynolds 001; Cristina Serban; Jens Katelaan; Christoph Matheja; Thomas Noll 001; Florian Zuleger; Wei-Ngan Chin; et al. (TACAS (3), 2019)

Automatic Program Repair Using Formal Verification and Expression Templates. - Thanh-Toan Nguyen; Quang-Trung Ta; Wei-Ngan Chin (VMCAI, 2019)

Automated Verification of CountDownLatch. - Wei-Ngan Chin; Ton Chanh Le; Shengchao Qin (CoRR, 2019)

Automated mutual induction proof in separation logic. - Quang-Trung Ta; Ton Chanh Le; Siau-Cheng Khoo; Wei-Ngan Chin (Formal Aspects Comput., 2019)

Completeness and expressiveness of pointer program verification by separation logic. - Makoto Tatsuta; Wei-Ngan Chin; Mahmudul Faisal Al Ameen (Inf. Comput., 2019)

Automated Temporal Verification of Integrated Dependent Effects. - Yahui Song; Wei-Ngan Chin (ICFEM, 2020)

Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis. - Thanh-Toan Nguyen; Quang-Trung Ta; Ilya Sergey; Wei-Ngan Chin (VMCAI, 2021)

A Synchronous Effects Logic for Temporal Verification of Pure Esterel. - Yahui Song; Wei-Ngan Chin (VMCAI, 2021)

Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization. - Andreea Costea; Wei-Ngan Chin; Florin Craciun; Shengchao Qin (CoRR, 2021)

Automated Temporal Verification for Algebraic Effects. - Yahui Song; Darius Foo; Wei-Ngan Chin (APLAS, 2022)

Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm. - Yahui Song; Wei-Ngan Chin (SPLASH Companion, 2022)

Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection. - Wenhua Li; Quang Loc Le; Yahui Song; Wei-Ngan Chin (APLAS, 2023)

Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm. - Yahui Song; Wei-Ngan Chin (TACAS (1), 2023)

Protocol Conformance with Choreographic PlusCal. - Darius Foo; Andreea Costea; Wei-Ngan Chin (TASE, 2023)

Tracing OCaml Programs. - Darius Foo; Wei-Ngan Chin (CoRR, 2023)

Staged Specifications for Automated Verification of Higher-Order Imperative Programs. - Darius Foo; Yahui Song; Wei-Ngan Chin (CoRR, 2023)

Staged Specification Logic for Verifying Higher-Order Imperative Programs. - Darius Foo; Yahui Song; Wei-Ngan Chin (FM (1), 2024)

Specification and Verification for Unrestricted Algebraic Effects and Handling. - Yahui Song; Darius Foo; Wei-Ngan Chin (Proc. ACM Program. Lang., 2024)

ProveNFix: Temporal Property-Guided Program Repair. - Yahui Song; Xiang Gao 012; Wenhua Li; Wei-Ngan Chin; Abhik Roychoudhury (Proc. ACM Softw. Eng., 2024)

Inferring Incorrectness Specifications for Object-Oriented Programs. - Wenhua Li; Quang Loc Le; Yahui Song; Wei-Ngan Chin (TACAS (1), 2025)