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

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

Share
xWed 6 Jul 11:25
using conf.researchr.org (v1.56.1)
Support page
Sign Up