Quang-Trung Ta

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

2020
The Disruptions of 5G on Data-Driven Technologies and Applications.
IEEE Trans. Knowl. Data Eng., 2020

A Transactional Perspective on Execute-order-validate Blockchains.
Proceedings of the 2020 International Conference on Management of Data, 2020

2019
Automated mutual induction proof in separation logic.
Formal Aspects Comput., 2019

Automatic Program Repair Using Formal Verification and Expression Templates.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019


2018
Automated lemma synthesis in symbolic-heap separation logic.
Proc. ACM Program. Lang., 2018

2017
HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016
Automated Mutual Explicit Induction Proof in Separation Logic.
Proceedings of the FM 2016: Formal Methods, 2016

2013
SMELS: Satisfiability Modulo Equality with Lazy Superposition.
J. Autom. Reason., 2013


  Loading...