Quang-Trung Ta
Title
Cited by
Cited by
Year
Automated mutual explicit induction proof in separation logic
QT Ta, TC Le, SC Khoo, WN Chin
International Symposium on Formal Methods, 659-676, 2016
192016
Automated lemma synthesis in symbolic-heap separation logic
QT Ta, TC Le, SC Khoo, WN Chin
Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017
142017
SL-COMP: Competition of solvers for separation logic
M Sighireanu, JAN Pérez, A Rybalchenko, N Gorogiannis, R Iosif, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
42019
Automatic Program Repair Using Formal Verification and Expression Templates
TT Nguyen, QT Ta, WN Chin
International Conference on Verification, Model Checking, and Abstract …, 2019
32019
Constructing inverse mappings of hedges
TĐ Khang, TQ Trung
Journal of Computer Science and Cybernetics 26 (2), 119-130, 2010
32010
The Disruptions of 5G on Data-driven Technologies and Applications
D Loghin, S Cai, G Chen, TTA Dinh, F Fan, Q Lin, J Ng, BC Ooi, X Sun, ...
arXiv preprint arXiv:1909.08096, 2019
22019
HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction
TC Le, QT Ta, WN Chin
International Conference on Tools and Algorithms for the Construction and …, 2017
22017
A Transactional Perspective on Execute-order-validate Blockchains
P Ruan, D Loghin, QT Ta, M Zhang, G Chen, BC Ooi
Proceedings of the 2020 ACM SIGMOD International Conference on Management of …, 2020
2020
Buffer overflow detection based on a synthesis of assertions from templates and k-induction
F Gauthier, N Keynes, P Krishnan, C Cifuentes, TQ Ta
US Patent App. 16/050,828, 2020
2020
The Disruptions of 5G on Data-Driven Technologies and Applications
D Loghin, S Cai, G Chen, TTA Dinh, F Fan, Q Lin, J Ng, BC Ooi, X Sun, ...
IEEE Transactions on Knowledge and Data Engineering 32 (6), 1179-1198, 2020
2020
Automated mutual induction proof in separation logic
QT Ta, TC Le, SC Khoo, WN Chin
Formal Aspects of Computing 31 (2), 207-230, 2019
2019
Verification of C Buffer Overflows in C Programs
A Bican, R Deaconescu, WN Chin, QT Ta
2018 17th RoEduNet Conference: Networking in Education and Research …, 2018
2018
Automated Entailment Proving in Separation Logic
QT Ta
PhD Thesis - National University of Singapore, 2018
2018
SMELS: Satisfiability Modulo Equality with Lazy Superposition
C Lynch, QT Ta, DK Tran
Journal of automated reasoning 51 (3), 325-356, 2013
2013
Xây dựng ánh xạ ngược của gia tử
TĐ Khang, TQ Trung, LA Phương
Tạp chí Tin học và Điều khiển học 26 (2), 119-130, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–15