Siau-Cheng Khoo -

Registered user since Thu 26 Jun 2014

Name:Siau-Cheng Khoo

Affiliation:National University of Singapore

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

Contributions

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