Quang-Trung Ta

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

Collaborative distances:

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

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

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

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