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
Towards a Modular Program Derivation via Fusion and Tupling
Wei-Ngan Chin,Zhenjiang Hu +1 more
TL;DR: This work shows how programming pearls can be systematically derived via fusion, followed by tupling transformations, and relies on modular techniques to systematically reuse both code and transformation in the derivation.
Book ChapterDOI
An automatic mapping from statecharts to verilog
TL;DR: This paper implements a semantics-preserving mapping from Graphical Statecharts to Verilog programs, which, to the best of the authors' knowledge, is the first algorithm to bridge the gap between State charts and Verilogs.
Proceedings ArticleDOI
Completeness of Pointer Program Verification by Separation Logic
TL;DR: The completeness theorem as well as the expressiveness theorem that states the weakest precondition of every program and every assertion can be expressed by some assertion are proved.
Proceedings ArticleDOI
Multiple Pre/Post Specifications for Heap-Manipulating Methods
TL;DR: This paper advocates for multiple pairs of pre/post conditions to be associated with each method which provides a way for such specification to be used in more scenarios, and a methodology to capture them via set of states during proof search.
Book ChapterDOI
Variable permissions for concurrency verification
TL;DR: This paper proposes a new permission system to ensure safe accesses to shared variables and presents an algorithm to automatically infer variable permissions from procedure specifications, and implements this new scheme inside a tool to automatically verify the correctness of concurrent programs based on given pre/post-specifications.