Quang-Trung Ta

According to our database, Quang-Trung Ta authored at least 16 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Interoperability in Blockchain: A Survey.

Kunpeng Ren, Nhut-Minh Ho, Dumitrel Loghin, Thanh-Toan Nguyen, Beng Chin Ooi, Quang-Trung Ta, Feida Zhu

IEEE Trans. Knowl. Data Eng., December, 2023

FLAC: Practical Failure-Aware Atomic Commit Protocol for Distributed Transactions.

Hexiang Pan, Quang-Trung Ta, Meihui Zhang, Yeow Meng Chee, Gang Chen, Beng Chin Ooi

CoRR, 2023

ARENA: Enhancing Abstract Refinement for Neural Network Verification.

Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

2021

Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis.

Thanh-Toan Nguyen, Quang-Trung Ta, Ilya Sergey, Wei-Ngan Chin

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

Towards Systematic and Dynamic Task Allocation for Collaborative Parallel Fuzzing.

Van-Thuan Pham, Manh-Dung Nguyen, Quang-Trung Ta, Toby Murray, Benjamin I. P. Rubinstein

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Scalable and Modular Robustness Analysis of Deep Neural Networks.

Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo, Fanlong Zhang, Siau-Cheng Khoo

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020

The Disruptions of 5G on Data-Driven Technologies and Applications.

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

IEEE Trans. Knowl. Data Eng., 2020

A Transactional Perspective on Execute-order-validate Blockchains.

Pingcheng Ruan, Dumitrel Loghin, Quang-Trung Ta, Meihui Zhang, Gang Chen, Beng Chin Ooi

Proceedings of the 2020 International Conference on Management of Data, 2020

2019

Automated mutual induction proof in separation logic.

Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin

Formal Aspects Comput., 2019

Automatic Program Repair Using Formal Verification and Expression Templates.

Thanh-Toan Nguyen, Quang-Trung Ta, Wei-Ngan Chin

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

SL-COMP: Competition of Solvers for Separation Logic.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

Automated lemma synthesis in symbolic-heap separation logic.

Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin

Proc. ACM Program. Lang., 2018

Verification of C Buffer Overflows in C Programs.

Andreea Bican, Razvan Deaconescu, Wei-Ngan Chin, Quang-Trung Ta

Proceedings of the 2018 17th RoEduNet Conference: Networking in Education and Research (RoEduNet), 2018

2017

HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction - (Competition Contribution).

Ton Chanh Le, Quang-Trung Ta, Wei-Ngan Chin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016

Automated Mutual Explicit Induction Proof in Separation Logic.

Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin

Proceedings of the FM 2016: Formal Methods, 2016

2013

SMELS: Satisfiability Modulo Equality with Lazy Superposition.

Christopher Lynch, Quang-Trung Ta, Duc-Khanh Tran

J. Autom. Reason., 2013