Quang-Trung Ta -

Registered user since Wed 1 Nov 2017

Name:Quang-Trung Ta

Country:Singapore

Affiliation:National University of Singapore

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
PLDI 2022	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
POPL 2022	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ASE 2021	Author of Towards Systematic and Dynamic Task Allocation for Collaborative Parallel Fuzzing within the NIER track-track
APLAS 2021	Author of Scalable and Modular Robustness Analysis of Deep Neural Networks within the Research Papers-track
VMCAI 2021	Author of Automated Repair of Heap-Manipulating Programs using Deductive Synthesis within the VMCAI-track
VMCAI 2019	Author of Automatic Program Repair using Formal Verification and Expression Templates within the VMCAI 2019-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