Follow
Quang-Trung Ta
Title
Cited by
Cited by
Year
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
902020
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
822020
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
422017
Automated mutual explicit induction proof in separation logic
QT Ta, TC Le, SC Khoo, WN Chin
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
382016
SL-COMP: competition of solvers for separation logic
M Sighireanu, JA Navarro Pérez, A Rybalchenko, N Gorogiannis, R Iosif, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
232019
Automatic program repair using formal verification and expression templates
TT Nguyen, QT Ta, WN Chin
Verification, Model Checking, and Abstract Interpretation: 20th …, 2019
232019
Towards systematic and dynamic task allocation for collaborative parallel fuzzing
VT Pham, MD Nguyen, QT Ta, T Murray, BIP Rubinstein
2021 36th IEEE/ACM International Conference on Automated Software …, 2021
112021
Automated repair of heap-manipulating programs using deductive synthesis
TT Nguyen, QT Ta, I Sergey, WN Chin
International Conference on Verification, Model Checking, and Abstract …, 2021
72021
Automated mutual induction proof in separation logic
QT Ta, TC Le, SC Khoo, WN Chin
Formal Aspects of Computing 31, 207-230, 2019
72019
Interoperability in blockchain: A survey
K Ren, NM Ho, D Loghin, TT Nguyen, BC Ooi, QT Ta, F Zhu
IEEE Transactions on Knowledge and Data Engineering, 2023
52023
HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction: (Competition Contribution)
TC Le, QT Ta, WN Chin
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
52017
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 11,030,304, 2021
32021
Scalable and modular robustness analysis of deep neural networks
Y Zhong, QT Ta, T Luo, F Zhang, SC Khoo
Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago …, 2021
22021
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
22018
ARENA: enhancing abstract refinement for neural network verification
Y Zhong, QT Ta, SC Khoo
Companion Proceedings of the 2022 ACM SIGPLAN International Conference on …, 2022
12022
Report on the systematic field survey of the population distribution, abundance and stocking of Dalbergia cochinchinensis and Dalbergia oliveri in four key protected areas of …
TKV Dinh, QT La, QT Ta, TS Hoang, MH Nguyen
Center for Nature Conservation and Development, 2021
12021
SMELS: satisfiability modulo equality with lazy superposition
C Lynch, QT Ta, DK Tran
Journal of automated reasoning 51, 325-356, 2013
12013
FLAC: A Robust Failure-Aware Atomic Commit Protocol for Distributed Transactions
H Pan, QT Ta, M Zhang, YM Chee, G Chen, BC Ooi
arXiv preprint arXiv:2302.04500, 2023
2023
FLAC: Practical Failure-Aware Atomic Commit Protocol for Distributed Transactions
H Pan, QT Ta, M Zhang, Y Meng Chee, G Chen, BC Ooi
arXiv e-prints, arXiv: 2302.04500, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–19