Wei-Ngan Chin - POPL 2018

Registered user since Mon 18 Oct 2021

Name:Wei-Ngan Chin

Affiliation:National University of Singapore

Contributions

POPL 2018	Automated Lemma Synthesis in Symbolic-Heap Separation Logic Automated Lemma Synthesis in Symbolic-Heap Separation Logic
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)
Show activities from other conferences