conf.researchr.org / Quang-Trung Ta

Registered user since Wed 1 Nov 2017

Name: Quang-Trung Ta

Affiliation: National University of Singapore

Contributions

VMCAI 2019Author of Automatic Program Repair using Formal Verification and Expression Templates within the VMCAI 2019-track
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