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
Proceedings Article
Effective Optimization of Multiple Traversals in Lazy Languages.
TL;DR: This paper investigates the pragmatic issues behind elimination of multiple data traversal in the context of lazy languages and proposes a framework of tupling tactic called strictness guided tupling, capable of exploiting specialised strictness contexts where possible.
Journal ArticleDOI
Self-embedded context-free grammars with regular counterparts
TL;DR: Using systems of equations, a number of subclasses of grammars, with self-embeddedness terms, such as $X \alpha X$ and $\gamma X \gamma$, that can still have regular languages as solutions are highlighted.
Proceedings ArticleDOI
Deriving efficient parallel programs for complex recurrences
TL;DR: This work proposes a method to synthesize parallel divideand-conquer programs from non-trivial sequential recurrences based on techniques built using elementary transformation rules, and requires an induction to recover parallelism from sequential programs.
Proceedings Article
Automated Lemma Synthesis in Symbolic-Heap Separation Logic
TL;DR: The symbolic-heap fragment of separation logic has been actively developed and applied in verifying the memory-safety of imperative programs in recent years as mentioned in this paper, and one of its biggest challenges is how to effectively prove entailments containing inductive heap predicates.