Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Quang-Trung Ta
conf.researchr.org general profile
ASE 2021 profile
PLDI 2022 profile
POPL 2018 profile
POPL 2019 profile
POPL 2021 profile
POPL 2022 profile
POPL 2023 profile
SPLASH 2021 profile
SPLASH 2022 profile
Registered user since Wed 1 Nov 2017
Name:
Quang-Trung Ta
Country:
Singapore
Affiliation:
National University of Singapore
Contributions
2023
VMCAI
Author of ARENA: Enhancing Abstract Refinement for Neural Network Verification within the VMCAI 2023-track
2022
SPLASH
Author of ARENA: Enhancing Abstract Refinement for Neural Network Verification within the Student Research Competition-track
PLDI
Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
POPL
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2021
ASE
Author of Towards Systematic and Dynamic Task Allocation for Collaborative Parallel Fuzzing within the NIER track-track
APLAS
Author of Scalable and Modular Robustness Analysis of Deep Neural Networks within the Research Papers-track
VMCAI
Author of Automated Repair of Heap-Manipulating Programs using Deductive Synthesis within the VMCAI-track
2019
VMCAI
Author of Automatic Program Repair using Formal Verification and Expression Templates within the VMCAI 2019-track
2018
POPL
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
Share
x
Tue 3 Dec 18:02