| 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 | 112 | 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 | 85 | 2020 |
| 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 | 44 | 2017 |
| 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 | 38 | 2016 |
| Automatic program repair using formal verification and expression templates TT Nguyen, QT Ta, WN Chin Verification, Model Checking, and Abstract Interpretation: 20th …, 2019 | 27 | 2019 |
| 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 | 24 | 2019 |
| 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 | 16 | 2023 |
| 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 | 14 | 2021 |
| 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 | 7 | 2021 |
| Automated mutual induction proof in separation logic QT Ta, TC Le, SC Khoo, WN Chin Formal Aspects of Computing 31, 207-230, 2019 | 7 | 2019 |
| 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 | 5 | 2017 |
| 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 | 3 | 2021 |
| 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 | 2 | 2022 |
| 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 | 2 | 2021 |
| 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 | 2 | 2018 |
| SMELS: satisfiability modulo equality with lazy superposition C Lynch, QT Ta, DK Tran Journal of automated reasoning 51, 325-356, 2013 | 1 | 2013 |
| 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 |
| 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 |
Wei Ngan ChinNational University of Singapore在 comp.nus.edu.sg 的电子邮件经过验证
