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 2018 A Logical System for Modular Information Flow Verification
Committee Member in Program Committee within the VMCAI 2018-track
Session Chair of Potpourri (part of VMCAI 2018)
POPL 2018 Automated Lemma Synthesis in Symbolic-Heap Separation Logic
Automated Lemma Synthesis in Symbolic-Heap Separation Logic
Show activities from other conferences

POPL 2018-profile
View general profile