POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / Wei-Ngan Chin

Not registered as user yet

Name: Wei-Ngan Chin

Affiliation: National University of Singapore

Contributions

VMCAI 2018Author of A Logical System for Modular Information Flow Verification within the VMCAI 2018-track
Committee Member in Program Committee within the VMCAI 2018-track
Session Chair of Potpourri (part of VMCAI 2018)
POPL 2018Author of Automated Lemma Synthesis in Symbolic-Heap Separation Logic within the Artifact Evaluation-track
Author of Automated Lemma Synthesis in Symbolic-Heap Separation Logic within the Research Papers-track
Show activities from other conferences

POPL 2018-profile
View general profile