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
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
Share
x
Thu 2 Feb 03:13