Quang-Trung Ta

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 22

Top Topics

Formal Verification

Intuitionistic Logic

Top Venues

IEEE Trans. Knowl. Data Eng.

Publications

Hexiang Pan, Quang-Trung Ta, Meihui Zhang, Zhanhao Zhao, Yeow Meng Chee, Gang Chen, Beng Chin Ooi
FC: Adaptive Atomic Commit via Failure Detection. ICDE (2024)
Kunpeng Ren, Nhut-Minh Ho, Dumitrel Loghin, Thanh-Toan Nguyen, Beng Chin Ooi, Quang-Trung Ta, Feida Zhu
Interoperability in Blockchain: A Survey. IEEE Trans. Knowl. Data Eng. 35 (12) (2023)
Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo
ARENA: Enhancing Abstract Refinement for Neural Network Verification. VMCAI (2023)
Hexiang Pan, Quang-Trung Ta, Meihui Zhang, Yeow Meng Chee, Gang Chen, Beng Chin Ooi
FLAC: Practical Failure-Aware Atomic Commit Protocol for Distributed Transactions. CoRR (2023)
Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo
ARENA: Enhancing Abstract Refinement for Neural Network Verification. SPLASH Companion (2022)
Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo, Fanlong Zhang, Siau-Cheng Khoo
Scalable and Modular Robustness Analysis of Deep Neural Networks. APLAS (2021)
Thanh-Toan Nguyen, Quang-Trung Ta, Ilya Sergey, Wei-Ngan Chin
Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis. VMCAI (2021)
Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo, Fanlong Zhang, Siau-Cheng Khoo
Scalable and Modular Robustness Analysis of Deep Neural Networks. CoRR (2021)
Van-Thuan Pham, Manh-Dung Nguyen, Quang-Trung Ta, Toby Murray, Benjamin I. P. Rubinstein
Towards Systematic and Dynamic Task Allocation for Collaborative Parallel Fuzzing. ASE (2021)
Pingcheng Ruan, Dumitrel Loghin, Quang-Trung Ta, Meihui Zhang, Gang Chen, Beng Chin Ooi
A Transactional Perspective on Execute-order-validate Blockchains. CoRR (2020)
Dumitrel Loghin, Shaofeng Cai, Gang Chen, Tien Tuan Anh Dinh, Feiyi Fan, Qian Lin, Janice Ng, Beng Chin Ooi, Xutao Sun, Quang-Trung Ta, Wei Wang, Xiaokui Xiao, Yang Yang, Meihui Zhang, Zhonghua Zhang
The Disruptions of 5G on Data-Driven Technologies and Applications. IEEE Trans. Knowl. Data Eng. 32 (6) (2020)
Pingcheng Ruan, Dumitrel Loghin, Quang-Trung Ta, Meihui Zhang, Gang Chen, Beng Chin Ooi
A Transactional Perspective on Execute-order-validate Blockchains. SIGMOD Conference (2020)
Thanh-Toan Nguyen, Quang-Trung Ta, Wei-Ngan Chin
Automatic Program Repair Using Formal Verification and Expression Templates. VMCAI (2019)
Dumitrel Loghin, Shaofeng Cai, Gang Chen, Tien Tuan Anh Dinh, Feiyi Fan, Qian Lin, Janice Ng, Beng Chin Ooi, Xutao Sun, Quang-Trung Ta, Wei Wang, Xiaokui Xiao, Yang Yang, Meihui Zhang, Zhonghua Zhang
The Disruptions of 5G on Data-driven Technologies and Applications. CoRR (2019)
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
Automated mutual induction proof in separation logic. Formal Aspects Comput. 31 (2) (2019)
Mihaela Sighireanu, Juan Antonio Navarro Pérez, 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, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu
SL-COMP: Competition of Solvers for Separation Logic. TACAS (3) (2019)
Andreea Bican, Razvan Deaconescu, Wei-Ngan Chin, Quang-Trung Ta
Verification of C Buffer Overflows in C Programs. RoEduNet (2018)
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
Automated lemma synthesis in symbolic-heap separation logic. Proc. ACM Program. Lang. 2 (POPL) (2018)
Ton Chanh Le, Quang-Trung Ta, Wei-Ngan Chin
HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction - (Competition Contribution). TACAS (2) (2017)
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
Automated Lemma Synthesis in Symbolic-Heap Separation Logic. CoRR (2017)
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
Automated Mutual Explicit Induction Proof in Separation Logic. CoRR (2016)
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
Automated Mutual Explicit Induction Proof in Separation Logic. FM (2016)
Christopher Lynch, Quang-Trung Ta, Duc-Khanh Tran
SMELS: Satisfiability Modulo Equality with Lazy Superposition. J. Autom. Reason. 51 (3) (2013)