Wei-Ngan Chin

ORCID

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 36

Top Venues

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Darius Foo, Wei-Ngan Chin
Tracing OCaml Programs. CoRR (2023)
Yahui Song, Wei-Ngan Chin
Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm. TACAS (1) (2023)
Darius Foo, Andreea Costea, Wei-Ngan Chin
Protocol Conformance with Choreographic PlusCal. TASE (2023)
Darius Foo, Yahui Song, Wei-Ngan Chin
Staged Specifications for Automated Verification of Higher-Order Imperative Programs. CoRR (2023)
Wenhua Li, Quang Loc Le, Yahui Song, Wei-Ngan Chin
Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection. APLAS (2023)
Yahui Song, Wei-Ngan Chin
Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm. SPLASH Companion (2022)
Yahui Song, Darius Foo, Wei-Ngan Chin
Automated Temporal Verification for Algebraic Effects. APLAS (2022)
Thanh-Toan Nguyen, Quang-Trung Ta, Ilya Sergey, Wei-Ngan Chin
Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis. VMCAI (2021)
Yahui Song, Wei-Ngan Chin
A Synchronous Effects Logic for Temporal Verification of Pure Esterel. VMCAI (2021)
Andreea Costea, Wei-Ngan Chin, Florin Craciun, Shengchao Qin
Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization. CoRR (2021)
Yahui Song, Wei-Ngan Chin
Automated Temporal Verification of Integrated Dependent Effects. ICFEM (2020)
Thanh-Toan Nguyen, Quang-Trung Ta, Wei-Ngan Chin
Automatic Program Repair Using Formal Verification and Expression Templates. VMCAI (2019)
Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen
Completeness and expressiveness of pointer program verification by separation logic. Inf. Comput. 267 (2019)
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
Automated mutual induction proof in separation logic. Formal Aspects Comput. 31 (2) (2019)
Wei-Ngan Chin, Ton Chanh Le, Shengchao Qin
Automated Verification of CountDownLatch. CoRR (2019)
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
SL-COMP: Competition of Solvers for Separation Logic. TACAS (3) (2019)
Andreea Bican, Razvan Deaconescu, Wei-Ngan Chin, Quang-Trung Ta
Verification of C Buffer Overflows in C Programs. RoEduNet (2018)
Adi Prabawa, Mahmudul Faisal Al Ameen, Benedict Lee, Wei-Ngan Chin
A Logical System for Modular Information Flow Verification. VMCAI (2018)
Andreea Costea, Wei-Ngan Chin, Shengchao Qin, Florin Craciun
Automated Modular Verification for Relaxed Communication Protocols. APLAS (2018)
Florin Craciun, Wei-Ngan Chin, Shengchao Qin
Variant Region Types. ICECCS (2018)
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
Automated lemma synthesis in symbolic-heap separation logic. Proc. ACM Program. Lang. 2 (POPL) (2018)
Ton Chanh Le, Quang-Trung Ta, Wei-Ngan Chin
HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction - (Competition Contribution). TACAS (2) (2017)
Xuan Bach Le, Thanh-Toan Nguyen, Wei-Ngan Chin, Aquinas Hobor
A Certified Decision Procedure for Tree Shares. ICFEM (2017)
Shengchao Qin, Guanhua He, Wei-Ngan Chin, Florin Craciun, Mengda He, Zhong Ming
Automated specification inference in a combined domain via user-defined predicates. Sci. Comput. Program. 148 (2017)
Quang Loc Le, Makoto Tatsuta, Jun Sun, Wei-Ngan Chin
A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic. CAV (2) (2017)
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
Automated Lemma Synthesis in Symbolic-Heap Separation Logic. CoRR (2017)
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
UStore: A Distributed Storage With Rich Semantics. CoRR (2017)
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
Automated Mutual Explicit Induction Proof in Separation Logic. CoRR (2016)
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
Automated Mutual Explicit Induction Proof in Separation Logic. FM (2016)
Makoto Tatsuta, Quang Loc Le, Wei-Ngan Chin
Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic. APLAS (2016)
Quang Loc Le, Jun Sun, Wei-Ngan Chin
Satisfiability Modulo Heap-Based Programs. CAV (1) (2016)
Asankhaya Sharma, Aquinas Hobor, Wei-Ngan Chin
Specifying Compatible Sharing in Data Structures. ICFEM (2015)
Ton Chanh Le, Shengchao Qin, Wei-Ngan Chin
Termination and non-termination specification inference. PLDI (2015)
Asankhaya Sharma, Shengyi Wang, Andreea Costea, Aquinas Hobor, Wei-Ngan Chin
Certified Reasoning with Infinity. FM (2015)
Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo
Threads as Resource for Concurrency Verification. PEPM (2015)
Wei-Ngan Chin, Jurriaan Hage
Selected and extended papers from Partial Evaluation and Program Manipulation 2014. Sci. Comput. Program. 112 (2015)
Ton Chanh Le, Cristian Gherghina, Aquinas Hobor, Wei-Ngan Chin
A Resource-Based Logic for Termination and Non-termination Proofs. ICFEM (2014)
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Hongli Yang
Automatically refining partial specifications for heap-manipulating programs. Sci. Comput. Program. 82 (2014)
João F. Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin, Wei-Ngan Chin
Automated verification of the FreeRTOS scheduler in Hip/Sleek. Int. J. Softw. Tools Technol. Transf. 16 (4) (2014)
Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin
Expressive program verification via structured specifications. Int. J. Softw. Tools Technol. Transf. 16 (4) (2014)
Quang Loc Le, Cristian Gherghina, Shengchao Qin, Wei-Ngan Chin
Shape Analysis via Second-Order Bi-Abduction. CAV (2014)
Makoto Tatsuta, Wei-Ngan Chin
Completeness of Separation Logic with Inductive Definitions for Program Verification. SEFM (2014)
Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo
An Expressive Framework for Verifying Deadlock Freedom. ATVA (2013)
Ton Chanh Le, Cristian Gherghina, Razvan Voicu, Wei-Ngan Chin
A Proof Slicing Framework for Program Verification. ICFEM (2013)
Guanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun
Automated Specification Discovery via User-Defined Predicates. ICFEM (2013)
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)
Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo
Verification of Static and Dynamic Barrier Synchronization Using Bounded Permissions. ICFEM (2013)
Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin
Bi-Abduction with Pure Properties for Specification Inference. APLAS (2013)
Quang Loc Le, Asankhaya Sharma, Florin Craciun, Wei-Ngan Chin
Towards Complete Specifications with an Error Calculus. NASA Formal Methods (2013)
Corneliu Popeea, Wei-Ngan Chin
Dual analysis for proving safety and finding bugs. Sci. Comput. Program. 78 (4) (2013)
Wei-Ngan Chin
Specification, Verification and Inference (Invited Talk). FSFMA (2013)
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Xin Chen
Loop invariant synthesis in a combined abstract domain. J. Symb. Comput. 50 (2013)
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. Sci. Comput. Program. 77 (9) (2012)
Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo
Variable Permissions for Concurrency Verification. ICFEM (2012)
Wei-Ngan Chin
Structured specification for program verification. KSE (2012)
Wei-Ngan Chin, Cristina David
From Verification to Specification Inference. TASE (2012)
Tuan-Hung Pham, Minh-Thai Trinh, Anh-Hoang Truong, Wei-Ngan Chin
FixBag: A Fixpoint Calculator for Quantified Bag Constraints. CAV (2011)
Wei-Ngan Chin, Cristina David, Cristian Gherghina
A HIP and SLEEK verification system. OOPSLA Companion (2011)
Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin
Structured Specifications for Better Verification of Heap-Manipulating Programs. FM (2011)
Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He
Automatically Refining Partial Specifications for Program Verification. FM (2011)
Cristina David, Wei-Ngan Chin
Immutable specifications for more concise and precise verification. OOPSLA (2011)
Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin
A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. CAV (2011)
Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin
Stack Bound Inference for Abstract Java Bytecode. TASE (2010)
Tuan-Hung Pham, Anh-Hoang Truong, Wei-Ngan Chin, Takenobu Aoshima
Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion. Electron. Notes Theor. Comput. Sci. 266 (2010)
Corneliu Popeea, Wei-Ngan Chin
Dual analysis for proving safety and finding bugs. SAC (2010)
Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin
Verifying Heap-Manipulating Programs with Unknown Procedure Calls. ICFEM (2010)
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin
Loop Invariant Synthesis in a Combined Domain. ICFEM (2010)
Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin
Discovering Specifications for Unknown Procedures - Work in Progress. WING@ETAPS/IJCAR (2010)
Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin
Verifying pointer safety for programs with unknown calls. J. Symb. Comput. 45 (11) (2010)
Cristina David, Cristian Gherghina, Wei-Ngan Chin
Translation and optimization for a core calculus with exceptions. PEPM (2009)
Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen
Completeness of Pointer Program Verification by Separation Logic. SEFM (2009)
Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin
An Interval-Based Inference of Variant Parametric Types. ESOP (2009)
Adrian Nistor, Wei-Ngan Chin, Tiow Seng Tan, Nicolae Tapus
Optimizing the parallel computation of linear recurrences using compact matrix representations. J. Parallel Distributed Comput. 69 (4) (2009)
Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin
Memory Usage Verification Using Hip/Sleek. ATVA (2009)
Cristian Masalagiu, Wei-Ngan Chin, Stefan Andrei, Vasile Alaiba
A rigorous methodology for specification and verification of business processes. Formal Aspects Comput. 21 (5) (2009)
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin
Enhancing modular OO verification with separation logic. POPL (2008)
Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin
Runtime Checking for Separation Logic. VMCAI (2008)
Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin
A practical and precise inference and specializer for array bound checks elimination. PEPM (2008)
Huu Hai Nguyen, Wei-Ngan Chin
Enhancing Program Verification with Lemmas. CAV (2008)
Florin Craciun, Shengchao Qin, Wei-Ngan Chin
A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. ICFEM (2008)
Alexandru Stefan, Florin Craciun, Wei-Ngan Chin
A Flow-Sensitive Region Inference for CLI. APLAS (2008)
Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin
Analysing memory resource bounds for low-level programs. ISMM (2008)
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)
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin
Multiple Pre/Post Specifications for Heap-Manipulating Methods. HASE (2007)
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin
Automated Verification of Shape, Size and Bag Properties. ICECCS (2007)
Huu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin
Automated Verification of Shape and Size Properties Via Separation Logic. VMCAI (2007)
Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea
A flow-based approach for variant parametric types. OOPSLA (2006)
Stefan Andrei, Wei-Ngan Chin, Martin C. Rinard
Incremental Deterministic Planning. SYNASC (2006)
Corneliu Popeea, Wei-Ngan Chin
Inferring Disjunctive Postconditions. ASIAN (2006)
Florin Craciun, Hong Yaw Goh, Corneliu Popeea, Wei-Ngan Chin
Core-java: an expression-oriented java. OOPSLA Companion (2006)
Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Mihai Lupu
Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting. IEEE Trans. Computers 55 (7) (2006)
Wei-Ngan Chin, Siau-Cheng Khoo, Neil D. Jones
Redundant Call Elimination via Tupling. Fundam. Informaticae 69 (1-2) (2006)
Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu
From Statecharts to Verilog: a formal approach to hardware/software co-specification. Innov. Syst. Softw. Eng. 2 (1) (2006)
Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard
Memory Usage Verification for OO Programs. SAS (2005)
Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen
Verifying safety policies with size properties and alias controls. ICSE (2005)
Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Yongxin Zhu
Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits. RTCSA (2005)
Stefan Andrei, Albert Mo Kim Cheng, Wei-Ngan Chin, Mihai Lupu
Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting. IEEE Real-Time and Embedded Technology and Applications Symposium (2005)
Stefan Andrei, Wei-Ngan Chin
Solving a class of higher-order equations over a group structure. J. Symb. Comput. 37 (3) (2004)
Stefan Andrei, Wei-Ngan Chin, Salvador Valerio Cavadini
Self-embedded context-free grammars with regular counterparts. Acta Informatica 40 (5) (2004)
Viet-Anh Vu Tran, Shengchao Qin, Wei-Ngan Chin
An Automatic Mapping from Statecharts to Verilog. ICTAC (2004)

Wei-Ngan Chin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Wei-Ngan Chin