• Sign in
  • Sign up
conf.researchr.org / Quang-Trung Ta
  • 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
No Photo

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
xTue 20 May 06:26
using conf.researchr.org (v1.69.0)
Support page
Sign Up