ChinWei-Ngan

发表

Automated lemma synthesis in symbolic-heap separation logic

TaQuang-Trung, LeTon Chanh, KhooSiau-Cheng, 2017 .

Safe fusion of functional expressions

ChinWei-Ngan, 1992 .

Immutable specifications for more concise and precise verification

ChinWei-Ngan, DavidCristina, 2011 .

Enhancing modular OO verification with separation logic

ChinWei-Ngan, QinShengchao, DavidCristina, 2008 .

Charting patterns on price history

KhooSiau-Cheng, ChinWei-Ngan, AnandSaswat, 2001 .

Optimizing the parallel computation of linear recurrences using compact matrix representations

ChinWei-Ngan, NistorAdrian, TanTiow-Seng, 2009 .

Region inference for an object-oriented language

ChinWei-Ngan, QinShengchao, RinardMartin, 2004 .

A reexamination of Optimization of array subscript range checks

ChinWei-Ngan, GohEak-Khoon, 1995 .

Self-embedded context-free grammars with regular counterparts

ChinWei-Ngan, AndreiStefan, CavadiniValerio, 2004 .

Automated verification of shape, size and bag properties via user-defined predicates in separation logic

ChinWei-Ngan, QinShengchao, DavidCristina, 2012 .