Wei-Ngan Chin - POPL 2018

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