Quang-Trung Ta
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
2016–2024
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICDE | FC: Adaptive Atomic Commit via Failure Detection. | Hexiang Pan, Quang-Trung Ta, Meihui Zhang, Zhanhao Zhao, Yeow Meng Chee, Gang Chen, Beng Chin Ooi |
| 2023 | VMCAI | ARENA: Enhancing Abstract Refinement for Neural Network Verification. | Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo |
| 2021 | APLAS | Scalable and Modular Robustness Analysis of Deep Neural Networks. | Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo, Fanlong Zhang, Siau-Cheng Khoo |
| 2021 | VMCAI | Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis. | Thanh-Toan Nguyen, Quang-Trung Ta, Ilya Sergey, Wei-Ngan Chin |
| 2020 | SIGMOD | A Transactional Perspective on Execute-order-validate Blockchains. | Pingcheng Ruan, Dumitrel Loghin, Quang-Trung Ta, Meihui Zhang, Gang Chen, Beng Chin Ooi |
| 2019 | TACAS | SL-COMP: Competition of Solvers for Separation Logic. | Mihaela Sighireanu, Juan Antonio Navarro Prez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Toms Vojnar, Constantin Enea, Ondrej Lengl, Chong Gao, Zhilin Wu |
| 2019 | VMCAI | Automatic Program Repair Using Formal Verification and Expression Templates. | Thanh-Toan Nguyen, Quang-Trung Ta, Wei-Ngan Chin |
| 2017 | TACAS | HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction - (Competition Contribution). | Ton Chanh Le, Quang-Trung Ta, Wei-Ngan Chin |
| 2016 | FM | Automated Mutual Explicit Induction Proof in Separation Logic. | Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin |