Wei-Ngan Chin
7 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Wei-Ngan Chin
Wei-Ngan Chin: completeness of separation-logic proof systems for pointer programs (three papers with Tatsuta), plus a decidable fragment with inductive predicates and arithmetic, and SL-COMP.
SL-COMP: Competition of Solvers for Separation Logic
Mihaela Sighireanu and others (2019) · International Conference on Tools and Algorithms for the Construction and Analysis of Systems · Springer
Completeness and expressiveness of pointer program verification by separation logic
Makoto Tatsuta and others (2019) · Information and Computation · Elsevier
A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic
Quang Loc Le and others (2017) · Computer Aided Verification · Springer
Completeness of separation logic with inductive definitions for program verification
Makoto Tatsuta and others (2014) · International Conference on Software Engineering and Formal Methods · Springer
Completeness of Pointer Program Verification by Separation Logic
Makoto Tatsuta and others (2009) · 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods · IEEE
Enhancing Program Verification with Lemmas
Huu Hai Nguyen and others (2008) · Lecture notes in computer science · Springer Science+Business Media
Automated Verification of Shape and Size Properties Via Separation Logic
Huu Hai Nguyen and others (2007) · Springer Berlin Heidelberg