Quang-Trung Ta

24 papers A* 2B 5Journal 12Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	NL2SQLBench: A Modular Benchmarking Framework for LLM-Enabled NL2SQL Solutions. Proc. VLDB Endow. Shizheng Hou, Wenqi Pei, Nuo Chen, Quang-Trung Ta, Peng Lu, Beng Chin Ooi
2024	A*	`conf`	FC: Adaptive Atomic Commit via Failure Detection. ICDE Hexiang Pan, Quang-Trung Ta, Meihui Zhang, Zhanhao Zhao, Yeow Meng Chee, Gang Chen, Beng Chin Ooi
2023	B	`conf`	ARENA: Enhancing Abstract Refinement for Neural Network Verification. VMCAI Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo
2023	J	`jnl`	FLAC: Practical Failure-Aware Atomic Commit Protocol for Distributed Transactions. CoRR Hexiang Pan, Quang-Trung Ta, Meihui Zhang, Yeow Meng Chee, Gang Chen, Beng Chin Ooi
2023	J	`jnl`	Interoperability in Blockchain: A Survey. IEEE Trans. Knowl. Data Eng. Kunpeng Ren, Nhut-Minh Ho, Dumitrel Loghin, Thanh-Toan Nguyen, Beng Chin Ooi, Quang-Trung Ta, Feida Zhu
2022	—	`conf`	ARENA: Enhancing Abstract Refinement for Neural Network Verification. SPLASH Companion Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo
2021	B	`conf`	Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis. VMCAI Thanh-Toan Nguyen, Quang-Trung Ta, Ilya Sergey, Wei-Ngan Chin
2021	B	`conf`	Scalable and Modular Robustness Analysis of Deep Neural Networks. APLAS Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo, Fanlong Zhang, Siau-Cheng Khoo
2021	J	`jnl`	Scalable and Modular Robustness Analysis of Deep Neural Networks. CoRR Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo, Fanlong Zhang, Siau-Cheng Khoo
2021	A*	`conf`	Towards Systematic and Dynamic Task Allocation for Collaborative Parallel Fuzzing. ASE Van-Thuan Pham, Manh-Dung Nguyen, Quang-Trung Ta, Toby Murray, Benjamin I. P. Rubinstein
2020	—	`conf`	A Transactional Perspective on Execute-order-validate Blockchains. SIGMOD Conference Pingcheng Ruan, Dumitrel Loghin, Quang-Trung Ta, Meihui Zhang, Gang Chen, Beng Chin Ooi
2020	J	`jnl`	A Transactional Perspective on Execute-order-validate Blockchains. CoRR Pingcheng Ruan, Dumitrel Loghin, Quang-Trung Ta, Meihui Zhang, Gang Chen, Beng Chin Ooi
2020	J	`jnl`	The Disruptions of 5G on Data-Driven Technologies and Applications. IEEE Trans. Knowl. Data Eng. Dumitrel Loghin, Shaofeng Cai, Gang Chen, Tien Tuan Anh Dinh, Feiyi Fan, Qian Lin, Janice Ng, Beng Chin Ooi, Xutao Sun, Quang-Trung Ta, Wei Wang, Xiaokui Xiao, Yang Yang, Meihui Zhang, Zhonghua Zhang
2019	J	`jnl`	Automated mutual induction proof in separation logic. Formal Aspects Comput. Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
2019	B	`conf`	Automatic Program Repair Using Formal Verification and Expression Templates. VMCAI Thanh-Toan Nguyen, Quang-Trung Ta, Wei-Ngan Chin
2019	—	`conf`	SL-COMP: Competition of Solvers for Separation Logic. TACAS (3) Mihaela Sighireanu, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu
2019	J	`jnl`	The Disruptions of 5G on Data-driven Technologies and Applications. CoRR Dumitrel Loghin, Shaofeng Cai, Gang Chen, Tien Tuan Anh Dinh, Feiyi Fan, Qian Lin, Janice Ng, Beng Chin Ooi, Xutao Sun, Quang-Trung Ta, Wei Wang, Xiaokui Xiao, Yang Yang, Meihui Zhang, Zhonghua Zhang
2018	J	`jnl`	Automated lemma synthesis in symbolic-heap separation logic. Proc. ACM Program. Lang. Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
2018	—	`conf`	Verification of C Buffer Overflows in C Programs. RoEduNet Andreea Bican, Razvan Deaconescu, Wei-Ngan Chin, Quang-Trung Ta
2017	J	`jnl`	Automated Lemma Synthesis in Symbolic-Heap Separation Logic. CoRR Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
2017	—	`conf`	HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction - (Competition Contribution). TACAS (2) Ton Chanh Le, Quang-Trung Ta, Wei-Ngan Chin
2016	B	`conf`	Automated Mutual Explicit Induction Proof in Separation Logic. FM Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
2016	J	`jnl`	Automated Mutual Explicit Induction Proof in Separation Logic. CoRR Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
2013	J	`jnl`	SMELS: Satisfiability Modulo Equality with Lazy Superposition. J. Autom. Reason. Christopher Lynch, Quang-Trung Ta, Duc-Khanh Tran