Wei-Ngan Chin - POPL 2018

Not registered as user yet

Name: Wei-Ngan Chin

Affiliation: National University of Singapore

Contributions

VMCAI 2018	Author 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 2018	Author 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