Registered user since Fri 27 Feb 2015

Name: Ton Chanh Le

Country: Singapore

Affiliation: National University of Singapore

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

Research interests: Software Verification, Termination, Non-Termination

Contributions

POPL 2018Author of Automated Lemma Synthesis in Symbolic-Heap Separation Logic within the Artifact Evaluation-track
Author of Automated Lemma Synthesis in Symbolic-Heap Separation Logic within the Research Papers-track
Show activities from other conferences

POPL 2018-profile
View general profile