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

2023

ASE

Author of Expediting Neural Network Verification via Network Reduction within the Research Papers-track

VMCAI

Author of ARENA: Enhancing Abstract Refinement for Neural Network Verification within the VMCAI 2023-track

2022

SPLASH

Author of ARENA: Enhancing Abstract Refinement for Neural Network Verification within the Student Research Competition-track

2021

APLAS

Author of Scalable and Modular Robustness Analysis of Deep Neural Networks within the Research Papers-track

2018

POPL

2016

SPLASH

Author of Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement within the OOPSLA-track