Not registered as user yet

Name: Wei-Ngan Chin

Affiliation: National University of Singapore

POPL 2018 Activities

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