Wei-Ngan Chin - RankMe

158 papers A* 9A 8B 35C 24Misc 7Journal 40Unranked 31

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Inferring Incorrectness Specifications for Object-Oriented Programs. TACAS (1) Wenhua Li, Quang Loc Le, Yahui Song, Wei-Ngan Chin
2025	B	`conf`	Specifying and Verifying Future Conditions. SAS Yahui Song, Darius Foo, Wei-Ngan Chin
2024	J	`jnl`	ProveNFix: Temporal Property-Guided Program Repair. Proc. ACM Softw. Eng. Yahui Song, Xiang Gao, Wenhua Li, Wei-Ngan Chin, Abhik Roychoudhury
2024	J	`jnl`	Specification and Verification for Unrestricted Algebraic Effects and Handling. Proc. ACM Program. Lang. Yahui Song, Darius Foo, Wei-Ngan Chin
2024	—	`conf`	Staged Specification Logic for Verifying Higher-Order Imperative Programs. FM (1) Darius Foo, Yahui Song, Wei-Ngan Chin
2024	Misc	`ed.`	Theoretical Aspects of Software Engineering - 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings TASE Wei-Ngan Chin, Zhiwu Xu
2023	—	`conf`	Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm. TACAS (1) Yahui Song, Wei-Ngan Chin
2023	B	`conf`	Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection. APLAS Wenhua Li, Quang Loc Le, Yahui Song, Wei-Ngan Chin
2023	Misc	`conf`	Protocol Conformance with Choreographic PlusCal. TASE Darius Foo, Andreea Costea, Wei-Ngan Chin
2023	J	`jnl`	Staged Specifications for Automated Verification of Higher-Order Imperative Programs. CoRR Darius Foo, Yahui Song, Wei-Ngan Chin
2023	J	`jnl`	Tracing OCaml Programs. CoRR Darius Foo, Wei-Ngan Chin
2022	B	`conf`	Automated Temporal Verification for Algebraic Effects. APLAS Yahui Song, Darius Foo, Wei-Ngan Chin
2022	—	`conf`	Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm. SPLASH Companion Yahui Song, Wei-Ngan Chin
2021	B	`conf`	A Synchronous Effects Logic for Temporal Verification of Pure Esterel. VMCAI Yahui Song, Wei-Ngan Chin
2021	J	`jnl`	Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization. CoRR Andreea Costea, Wei-Ngan Chin, Florin Craciun, Shengchao Qin
2021	B	`conf`	Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis. VMCAI Thanh-Toan Nguyen, Quang-Trung Ta, Ilya Sergey, Wei-Ngan Chin
2020	C	`conf`	Automated Temporal Verification of Integrated Dependent Effects. ICFEM Yahui Song, Wei-Ngan Chin
2019	J	`jnl`	Automated Verification of CountDownLatch. CoRR Wei-Ngan Chin, Ton Chanh Le, Shengchao Qin
2019	J	`jnl`	Automated mutual induction proof in separation logic. Formal Aspects Comput. Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
2019	B	`conf`	Automatic Program Repair Using Formal Verification and Expression Templates. VMCAI Thanh-Toan Nguyen, Quang-Trung Ta, Wei-Ngan Chin
2019	J	`jnl`	Completeness and expressiveness of pointer program verification by separation logic. Inf. Comput. Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen
2019	—	`ed.`	IFL '19: Implementation and Application of Functional Languages, Singapore, September 25-27, 2019. IFL Jurriën Stutterheim, Wei-Ngan Chin
2019	—	`conf`	SL-COMP: Competition of Solvers for Separation Logic. TACAS (3) 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
2018	B	`conf`	A Logical System for Modular Information Flow Verification. VMCAI Adi Prabawa, Mahmudul Faisal Al Ameen, Benedict Lee, Wei-Ngan Chin
2018	B	`conf`	Automated Modular Verification for Relaxed Communication Protocols. APLAS Andreea Costea, Wei-Ngan Chin, Shengchao Qin, Florin Craciun
2018	J	`jnl`	Automated lemma synthesis in symbolic-heap separation logic. Proc. ACM Program. Lang. Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
2018	B	`conf`	Variant Region Types. ICECCS Florin Craciun, Wei-Ngan Chin, Shengchao Qin
2018	—	`conf`	Verification of C Buffer Overflows in C Programs. RoEduNet Andreea Bican, Razvan Deaconescu, Wei-Ngan Chin, Quang-Trung Ta
2017	C	`conf`	A Certified Decision Procedure for Tree Shares. ICFEM Xuan Bach Le, Thanh-Toan Nguyen, Wei-Ngan Chin, Aquinas Hobor
2017	—	`conf`	A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic. CAV (2) Quang Loc Le, Makoto Tatsuta, Jun Sun, Wei-Ngan Chin
2017	J	`jnl`	Automated Lemma Synthesis in Symbolic-Heap Separation Logic. CoRR Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
2017	J	`jnl`	Automated specification inference in a combined domain via user-defined predicates. Sci. Comput. Program. Shengchao Qin, Guanhua He, Wei-Ngan Chin, Florin Craciun, Mengda He, Zhong Ming
2017	—	`conf`	HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction - (Competition Contribution). TACAS (2) Ton Chanh Le, Quang-Trung Ta, Wei-Ngan Chin
2017	J	`jnl`	UStore: A Distributed Storage With Rich Semantics. CoRR Tien Tuan 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
2016	B	`conf`	Automated Mutual Explicit Induction Proof in Separation Logic. FM Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
2016	J	`jnl`	Automated Mutual Explicit Induction Proof in Separation Logic. CoRR Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
2016	B	`conf`	Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic. APLAS Makoto Tatsuta, Quang Loc Le, Wei-Ngan Chin
2016	—	`conf`	Satisfiability Modulo Heap-Based Programs. CAV (1) Quang Loc Le, Jun Sun, Wei-Ngan Chin
2015	B	`conf`	Certified Reasoning with Infinity. FM Asankhaya Sharma, Shengyi Wang, Andreea Costea, Aquinas Hobor, Wei-Ngan Chin
2015	J	`jnl`	Selected and extended papers from Partial Evaluation and Program Manipulation 2014. Sci. Comput. Program. Wei-Ngan Chin, Jurriaan Hage
2015	C	`conf`	Specifying Compatible Sharing in Data Structures. ICFEM Asankhaya Sharma, Aquinas Hobor, Wei-Ngan Chin
2015	A*	`conf`	Termination and non-termination specification inference. PLDI Ton Chanh Le, Shengchao Qin, Wei-Ngan Chin
2015	C	`conf`	Threads as Resource for Concurrency Verification. PEPM Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo
2014	C	`conf`	A Resource-Based Logic for Termination and Non-termination Proofs. ICFEM Ton Chanh Le, Cristian Gherghina, Aquinas Hobor, Wei-Ngan Chin
2014	J	`jnl`	Automated verification of the FreeRTOS scheduler in Hip/Sleek. Int. J. Softw. Tools Technol. Transf. João F. Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin, Wei-Ngan Chin
2014	J	`jnl`	Automatically refining partial specifications for heap-manipulating programs. Sci. Comput. Program. Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Hongli Yang
2014	B	`conf`	Completeness of Separation Logic with Inductive Definitions for Program Verification. SEFM Makoto Tatsuta, Wei-Ngan Chin
2014	J	`jnl`	Expressive program verification via structured specifications. Int. J. Softw. Tools Technol. Transf. Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin
2014	C	`ed.`	Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA PEPM Wei-Ngan Chin, Jurriaan Hage
2014	A*	`conf`	Shape Analysis via Second-Order Bi-Abduction. CAV Quang Loc Le, Cristian Gherghina, Shengchao Qin, Wei-Ngan Chin
2013	C	`conf`	A Proof Slicing Framework for Program Verification. ICFEM Ton Chanh Le, Cristian Gherghina, Razvan Voicu, Wei-Ngan Chin
2013	B	`conf`	An Expressive Framework for Verifying Deadlock Freedom. ATVA Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo
2013	C	`conf`	Automated Specification Discovery via User-Defined Predicates. ICFEM Guanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun
2013	B	`conf`	Bi-Abduction with Pure Properties for Specification Inference. APLAS Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin
2013	J	`jnl`	Dual analysis for proving safety and finding bugs. Sci. Comput. Program. Corneliu Popeea, Wei-Ngan Chin
2013	—	`conf`	Invariants Synthesis over a Combined Domain for Automated Program Verification. Theories of Programming and Formal Methods Shengchao Qin, Guanhua He, Wei-Ngan Chin, Hongli Yang
2013	J	`jnl`	Loop invariant synthesis in a combined abstract domain. J. Symb. Comput. Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Xin Chen
2013	—	`conf`	Specification, Verification and Inference (Invited Talk). FSFMA Wei-Ngan Chin
2013	—	`conf`	Towards Complete Specifications with an Error Calculus. NASA Formal Methods Quang Loc Le, Asankhaya Sharma, Florin Craciun, Wei-Ngan Chin
2013	C	`conf`	Verification of Static and Dynamic Barrier Synchronization Using Bounded Permissions. ICFEM Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo
2012	J	`jnl`	Automated verification of shape, size and bag properties via user-defined predicates in separation logic. Sci. Comput. Program. Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin
2012	Misc	`conf`	From Verification to Specification Inference. TASE Wei-Ngan Chin, Cristina David
2012	—	`ed.`	Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, FTfJP 2012, Beijing, China, June 12, 2012 FTfJP@ECOOP Wei-Ngan Chin, Aquinas Hobor
2012	—	`conf`	Structured specification for program verification. KSE Wei-Ngan Chin
2012	C	`conf`	Variable Permissions for Concurrency Verification. ICFEM Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo
2011	—	`conf`	A HIP and SLEEK verification system. OOPSLA Companion Wei-Ngan Chin, Cristina David, Cristian Gherghina
2011	A*	`conf`	A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. CAV Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin
2011	B	`conf`	Automatically Refining Partial Specifications for Program Verification. FM Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He
2011	A*	`conf`	FixBag: A Fixpoint Calculator for Quantified Bag Constraints. CAV Tuan-Hung Pham, Minh-Thai Trinh, Anh-Hoang Truong, Wei-Ngan Chin
2011	A	`conf`	Immutable specifications for more concise and precise verification. OOPSLA Cristina David, Wei-Ngan Chin
2011	B	`conf`	Structured Specifications for Better Verification of Heap-Manipulating Programs. FM Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin
2010	B	`ed.`	Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings ATVA Ahmed Bouajjani, Wei-Ngan Chin
2010	—	`conf`	Discovering Specifications for Unknown Procedures - Work in Progress. WING@ETAPS/IJCAR Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin
2010	Misc	`conf`	Dual analysis for proving safety and finding bugs. SAC Corneliu Popeea, Wei-Ngan Chin
2010	C	`conf`	Loop Invariant Synthesis in a Combined Domain. ICFEM Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin
2010	Misc	`conf`	Stack Bound Inference for Abstract Java Bytecode. TASE Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin
2010	C	`conf`	Verifying Heap-Manipulating Programs with Unknown Procedure Calls. ICFEM Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin
2010	J	`jnl`	Verifying pointer safety for programs with unknown calls. J. Symb. Comput. Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin
2009	J	`jnl`	A rigorous methodology for specification and verification of business processes. Formal Aspects Comput. Cristian Masalagiu, Wei-Ngan Chin, Stefan Andrei, Vasile Alaiba
2009	A	`conf`	An Interval-Based Inference of Variant Parametric Types. ESOP Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin
2009	B	`conf`	Completeness of Pointer Program Verification by Separation Logic. SEFM Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen
2009	B	`conf`	Memory Usage Verification Using Hip/Sleek. ATVA Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin
2009	J	`jnl`	Optimizing the parallel computation of linear recurrences using compact matrix representations. J. Parallel Distributed Comput. Adrian Nistor, Wei-Ngan Chin, Tiow Seng Tan, Nicolae Tapus
2009	Misc	`ed.`	TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China TASE Wei-Ngan Chin, Shengchao Qin
2009	—	`conf`	Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion. TTSS Tuan-Hung Pham, Anh-Hoang Truong, Wei-Ngan Chin, Takenobu Aoshima
2009	C	`conf`	Translation and optimization for a core calculus with exceptions. PEPM Cristina David, Cristian Gherghina, Wei-Ngan Chin
2008	B	`conf`	A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets. SEFM Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin
2008	B	`conf`	A Flow-Sensitive Region Inference for CLI. APLAS Alexandru Stefan, Florin Craciun, Wei-Ngan Chin
2008	C	`conf`	A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. ICFEM Florin Craciun, Shengchao Qin, Wei-Ngan Chin
2008	C	`conf`	A practical and precise inference and specializer for array bound checks elimination. PEPM Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin
2008	C	`conf`	Analysing memory resource bounds for low-level programs. ISMM Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin
2008	A*	`conf`	Enhancing Program Verification with Lemmas. CAV Huu Hai Nguyen, Wei-Ngan Chin
2008	A*	`conf`	Enhancing modular OO verification with separation logic. POPL Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin
2008	B	`conf`	Runtime Checking for Separation Logic. VMCAI Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin
2007	B	`conf`	Automated Verification of Shape and Size Properties Via Separation Logic. VMCAI Huu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin
2007	B	`conf`	Automated Verification of Shape, Size and Bag Properties. ICECCS Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin
2007	—	`conf`	Multiple Pre/Post Specifications for Heap-Manipulating Methods. HASE Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin
2006	A	`conf`	A flow-based approach for variant parametric types. OOPSLA Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea
2006	J	`jnl`	Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting. IEEE Trans. Computers Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Mihai Lupu
2006	—	`conf`	Core-java: an expression-oriented java. OOPSLA Companion Florin Craciun, Hong Yaw Goh, Corneliu Popeea, Wei-Ngan Chin
2006	J	`jnl`	From Statecharts to Verilog: a formal approach to hardware/software co-specification. Innov. Syst. Softw. Eng. Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu
2006	Misc	`conf`	Incremental Deterministic Planning. SYNASC Stefan Andrei, Wei-Ngan Chin, Martin C. Rinard
2006	—	`conf`	Inferring Disjunctive Postconditions. ASIAN Corneliu Popeea, Wei-Ngan Chin
2006	J	`jnl`	Redundant Call Elimination via Tupling. Fundam. Informaticae Wei-Ngan Chin, Siau-Cheng Khoo, Neil D. Jones
2005	B	`conf`	Memory Usage Verification for OO Programs. SAS Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard
2005	B	`conf`	Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits. RTCSA Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Yongxin Zhu
2005	A	`conf`	Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting. IEEE Real-Time and Embedded Technology and Applications Symposium Stefan Andrei, Albert Mo Kim Cheng, Wei-Ngan Chin, Mihai Lupu
2005	A*	`conf`	Verifying safety policies with size properties and alias controls. ICSE Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen
2004	C	`conf`	A type system for resource protocol verification and its correctness proof. PEPM Corneliu Popeea, Wei-Ngan Chin
2004	C	`conf`	An Automatic Mapping from Statecharts to Verilog. ICTAC Viet-Anh Vu Tran, Shengchao Qin, Wei-Ngan Chin
2004	J	`jnl`	Co-determinism and unambiguity of automata accepting finite or infinite words. Sci. Ann. Cuza Univ. Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras
2004	J	`jnl`	Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation. High. Order Symb. Comput. Wei-Ngan Chin, Olivier Danvy, Peter Thiemann
2004	A	`conf`	Incremental Satisfiability Counting for Real-Time Systems. IEEE Real-Time and Embedded Technology and Applications Symposium Stefan Andrei, Wei-Ngan Chin
2004	B	`ed.`	Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings APLAS Wei-Ngan Chin
2004	A*	`conf`	Region inference for an object-oriented language. PLDI Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard
2004	J	`jnl`	Self-embedded context-free grammars with regular counterparts. Acta Informatica Stefan Andrei, Wei-Ngan Chin, Salvador Valerio Cavadini
2004	J	`jnl`	Solving a class of higher-order equations over a group structure. J. Symb. Comput. Stefan Andrei, Wei-Ngan Chin
2003	—	`conf`	A Semantic Foundation for TCOZ in Unifying Theories of Programming. FME Shengchao Qin, Jin Song Dong, Wei-Ngan Chin
2003	J	`jnl`	A new algorithm for regularizing one-letter context-free grammars. Theor. Comput. Sci. Stefan Andrei, Salvador Valerio Cavadini, Wei-Ngan Chin
2003	C	`conf`	Extending sized type with collection analysis. PEPM Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
2003	—	`conf`	Mapping Statecharts to Verilog for Hardware/Software Co-specification. FME Shengchao Qin, Wei-Ngan Chin
2002	B	`conf`	A Lazy Divide and Conquer Approach to Constraint Solving. ICTAI Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo
2002	J	`jnl`	A Tutorial on a Monadic Approach for Expressions Evaluation. Sci. Ann. Cuza Univ. Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras
2002	B	`conf`	A Type-Based Approach to Parallelization (preliminary report). APLAS Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu
2002	J	`jnl`	An Efficient Distributed Deadlock Avoidance Algorithm for the AND Model. IEEE Trans. Software Eng. Hui Wu, Wei-Ngan Chin, Joxan Jaffar
2002	B	`conf`	Extending Sized Type with Collection Analysis. APLAS Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
2002	—	`ed.`	Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan, September 12-14, 2002 ASIA-PEPM Kenichi Asai, Wei-Ngan Chin
2002	B	`conf`	Towards a Modular Program Derivation via Fusion and Tupling. GPCE Wei-Ngan Chin, Zhenjiang Hu
2001	J	`jnl`	Calculating Sized Types. High. Order Symb. Comput. Wei-Ngan Chin, Siau-Cheng Khoo
2001	J	`jnl`	Calculating a New Data Mining Algorithm for Market Basket Analysis. J. Funct. Log. Program. Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi
2001	A	`conf`	Charting Patterns on Price History. ICFP Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo
2001	—	`conf`	Deriving Pre-conditions for Array Bound Check Elimination. PADO Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
2001	B	`conf`	Higher-Order Polymorphic Sized Types for Safety Checks. APLAS Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
2000	C	`conf`	Calculating Sized Types. PEPM Wei-Ngan Chin, Siau-Cheng Khoo
2000	C	`conf`	Calculating a New Data Mining Algorithm for Market Basket Analysis. PADL Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi
2000	B	`conf`	Deriving Parallel Codes via Invariants. SAS Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi
2000	B	`conf`	Deriving Pre-Conditions for Array Bound Check Elimination. APLAS Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
1999	C	`conf`	Effective Optimization of Multiple Traversals in Lazy Languages. PEPM Wei-Ngan Chin, Aik-Hui Goh, Siau-Cheng Khoo
1998	A*	`conf`	Parallelization in Calculational Forms. POPL Zhenjiang Hu, Masato Takeichi, Wei-Ngan Chin
1998	—	`conf`	Parallelization via Context Preservation. ICCL Wei-Ngan Chin, Akihiko Takano, Zhenjiang Hu
1998	A	`conf`	Synchronisation Analysis to Stop Tulping. ESOP Wei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee
1997	A	`conf`	A Bounds Inference Method for Vector-Based Memoisation. ICFP Wei-Ngan Chin, Masami Hagiya
1997	—	`conf`	Deriving efficient parallel programs for complex recurrences. PASCO Yong Meng Teo, Wei-Ngan Chin, Soon Huat Tan
1996	J	`jnl`	A Higher-Order Removal Method. LISP Symb. Comput. Wei-Ngan Chin, John Darlington
1996	J	`jnl`	Better Consumers for Program Specializations. J. Funct. Log. Program. Wei-Ngan Chin, Siau-Cheng Khoo
1996	—	`conf`	Parallelizing Conditional Recurrences. Euro-Par, Vol. I Wei-Ngan Chin, John Darlington, Yike Guo
1996	—	`conf`	Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract). Dagstuhl Seminar on Partial Evaluation Wei-Ngan Chin, Siau-Cheng Khoo, Peter Thiemann
1996	—	`conf`	Variable Timestamp-Based Distributed Deadlock Detection and Resolution. ASIAN Hui Wu, Wei-Ngan Chin
1995	J	`jnl`	A Transformation Method for Dynamic-Sized Tabulation. Acta Informatica Wei-Ngan Chin, Masami Hagiya
1995	—	`conf`	Better Consumers for Deforestation (Extended Abstract) PLILP Wei-Ngan Chin, Siau-Cheng Khoo
1995	J	`jnl`	Load Balancing and Scheduling in a Neighbourhood-Based Multiprocessor. Comput. Artif. Intell. Gary S. H. Tan, Wei-Ngan Chin
1994	J	`jnl`	Safe Fusion of Functional Expressions II: Further Improvements. J. Funct. Program. Wei-Ngan Chin
1993	C	`conf`	Towards an Automated Tupling Strategy. PEPM Wei-Ngan Chin
1993	—	`conf`	Tupling Functions with Multiple Recursion Parameters. WSA Wei-Ngan Chin, Siau-Cheng Khoo
1992	C	`conf`	Fully Lazy Higher-Order Removal. PEPM Wei-Ngan Chin
1992	—	`conf`	Load Balancing in a Neighbourhood-Based Multiprocessor. CONPAR Gary S. H. Tan, Wei-Ngan Chin
1992	—	`conf`	Safe Fusion of Functional Expressions. LISP and Functional Programming Wei-Ngan Chin
1990	—	`—`	Automatic methods for program transformation. Wei-Ngan Chin