conf.researchr.org / 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

POPL 2018Author 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 2016Author of Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement within the OOPSLA-track