Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Wei-Ngan Chin
conf.researchr.org general profile
APLAS 2019 profile
APLAS 2023 profile
APLAS 2024 profile
FSE 2024 profile
ICFP 2022 profile
ICFP 2024 profile
PEPM 2015 profile
PLDI 2015 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
POPL 2021 profile
POPL 2022 profile
SPLASH 2010 profile
SPLASH 2011 profile
SPLASH 2016 profile
SPLASH 2021 profile
SPLASH 2022 profile
Registered user since Mon 18 Oct 2021
Name:
Wei-Ngan Chin
Country:
Singapore
Affiliation:
National University of Singapore
Contributions
2024
APLAS
Author of Specification and Verification for Higher-Order Imperative Programs within the APLAS NIER-track
ICFP
Author of Specification and Verification for Unrestricted Algebraic Effects and Handling within the Artifact Evaluation-track
Author of Specification and Verification for Unrestricted Algebraic Effects and Handling within the ICFP Papers and Events-track
ESEC/FSE
Author of ProveNFix: Temporal Property guided Program Repair within the Posters-track
Author of ProveNFix: Temporal Property guided Program Repair within the Research Papers-track
2023
APLAS
Author of Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection within the APLAS 2023-track
2022
APLAS
Author of Automated Temporal Verification for Algebraic Effects within the APLAS-track
SPLASH
Author of Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm within the Student Research Competition-track
OCaml
Author of Tracing OCaml Programs within the OCaml 2022-track
POPL
Committee Member in Program Committee within the POPL-track
2021
SPLASH
Session Chair of Types - mirror (part of OOPSLA)
APLAS
General Chair in Organising Committee within the Research Papers-track
VMCAI
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
2019
APLAS
Committee Member in Organizing Committee within the APLAS NIER-track
Co-chair in Steering Committee
VMCAI
Author of Automatic Program Repair using Formal Verification and Expression Templates within the VMCAI 2019-track
2018
POPL
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
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)
2017
VMCAI
Committee Member in Program committee
2016
SPLASH
Committee Member in Program Committee within the OOPSLA-track
2015
PLDI
Author of Termination and Non-Termination Specification Inference within the Research Papers-track
PEPM
Committee Member in Steering Committee within the PEPM 2015-track
Author of Threads as Resource for Concurrency Verification within the PEPM 2015-track
2011
SPLASH
Author of Immutable Specifications for More Concise and Precise Verification within the OOPSLA-track
Share
x
Tue 22 Oct 21:37