W
Wei-Ngan Chin
Researcher at National University of Singapore
Publications - 150
Citations - 2633
Wei-Ngan Chin is an academic researcher from National University of Singapore. The author has contributed to research in topics: Separation logic & Correctness. The author has an hindex of 26, co-authored 146 publications receiving 2528 citations. Previous affiliations of Wei-Ngan Chin include Singapore–MIT alliance & Imperial College London.
Papers
More filters
Book ChapterDOI
Automated verification of shape and size properties via separation logic
TL;DR: An automated verification system that is concise, precise and expressive for ensuring the safety of pointer-based programs, and uses user-definable shape predicates to allow programmers to describe a wide range of data structures with their associated size properties.
Journal ArticleDOI
Automated verification of shape, size and bag properties via user-defined predicates in separation logic
TL;DR: A prover that can automatically handle user-defined predicates is proposed that provides support for a new type of constraints, namely bag (multi-set) constraints, and is able to prove properties about the actual values stored inside a data structure.
Proceedings ArticleDOI
Automated Verification of Shape, Size and Bag Properties
TL;DR: A prover that can automatically handle user-defined predicates is proposed that provides support for a new type of constraints, namely bag (multi-set) constraints, and is able to prove properties about the actual values stored inside a data structure.
Proceedings ArticleDOI
Towards an automated tupling strategy
TL;DR: This work extends that of a number of past techniques which have used dependency graphs of function calls for analysing redundancy patterns by using the use of appropriate call orderings based on recursion parameters to systematically search for eureka tuples in dependency graphs.
Proceedings ArticleDOI
Safe fusion of functional expressions
TL;DR: The deforestation technique is generalised to make it applicable to all first-order and higher-order functional programs, made possible by the adoption of a model for safe fusion which views each function as a producer and its parameters as consumers.