Seuraa
Quang Trung Ta
Quang Trung Ta
National University of Singapore
Vahvistettu sähköpostiosoite verkkotunnuksessa comp.nus.edu.sg
Nimike
Viittaukset
Viittaukset
Vuosi
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
1342020
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
1072020
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 35 (12), 12750-12769, 2023
522023
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
512017
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
452016
Automatic program repair using formal verification and expression templates
TT Nguyen, QT Ta, WN Chin
Verification, Model Checking, and Abstract Interpretation: 20th …, 2019
322019
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
252019
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
182021
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
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
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
42022
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
42018
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
32021
SMELS: satisfiability modulo equality with lazy superposition
C Lynch, QT Ta, DK Tran
Journal of automated reasoning 51, 325-356, 2013
12013
FC: Adaptive Atomic Commit via Failure Detection
H Pan, QT Ta, M Zhang, Z Zhao, YM Chee, G Chen, BC Ooi
2024 IEEE 40th International Conference on Data Engineering (ICDE), 2026-2039, 2024
2024
Vulnerability detection for smart contracts in blockchain platforms
QT Ta, NM Ho, BC Ooi
WO Patent WO2024096822A1, 2024
2024
Correction to: ARENA: Enhancing Abstract Refinement for Neural Network Verification
Y Zhong, QT Ta, SC Khoo
International Conference on Verification, Model Checking, and Abstract …, 2023
2023
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–19