Siau-Cheng Khoo -

Registered user since Thu 26 Jun 2014

Name:Siau-Cheng Khoo

Country:Singapore

Affiliation:National University of Singapore

Personal website:http://www.comp.nus.edu.sg/~khoosc/

Contributions

VMCAI 2023	Author of ARENA: Enhancing Abstract Refinement for Neural Network Verification within the VMCAI 2023-track
SPLASH 2022	Author of ARENA: Enhancing Abstract Refinement for Neural Network Verification within the Student Research Competition-track
APLAS 2021	Author of Scalable and Modular Robustness Analysis of Deep Neural Networks within the Research Papers-track
POPL 2018	Author of Automated Lemma Synthesis in Symbolic-Heap Separation Logic within the Research Papers-track Author of Automated Lemma Synthesis in Symbolic-Heap Separation Logic within the Artifact Evaluation-track
SPLASH 2016	Author of Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement within the OOPSLA-track