Not registered as user yet

Name:Wei-Ngan Chin
Affiliation:National University of Singapore

Contributions

POPL 2022 Committee Member in Program Committee within the POPL-track
APLAS 2021 General Chair in Organising Committee within the Research Papers-track
SPLASH 2021 Session Chair of Types - mirror (part of OOPSLA)
SPLASH 2010
VMCAI 2021 Author of Automated Repair of Heap-Manipulating Programs using Deductive Synthesis within the VMCAI-track
Author of A Synchronous Effects Logic for Temporal Verification of Pure Esterel within the VMCAI-track
APLAS 2019 Committee Member in Organizing Committee within the APLAS NIER-track
Co-chair in Steering Committee
VMCAI 2019 Author of Automatic Program Repair using Formal Verification and Expression Templates within the VMCAI 2019-track
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
VMCAI 2017 Committee Member in Program committee
SPLASH 2016 Committee Member in Program Committee within the OOPSLA-track
PEPM 2015 Committee Member in Steering Committee within the PEPM 2015-track
Author of Threads as Resource for Concurrency Verification within the PEPM 2015-track
PLDI 2015 Author of Termination and Non-Termination Specification Inference within the Research Papers-track
SPLASH 2011 Author of Immutable Specifications for More Concise and Precise Verification within the OOPSLA-track