• Sign in
  • Sign up
conf.researchr.org / Siau-Cheng Khoo
  • PEPM 2015 profile
  • POPL 2018 profile
  • POPL 2023 profile
  • SPLASH 2016 profile
  • SPLASH 2021 profile
  • SPLASH 2022 profile

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

Share
xFri 2 Jun 06:19
using conf.researchr.org (v1.60.0)
Support page
Sign Up