Ziyi Guan, Jason Chun Lok Li, Zhijian Hou, Pingping Zhang, Donglai Xu, Yuzhi Zhao, Mengyang Wu, Jinpeng Chen, Thanh-Toan Nguyen, Pengfei Xian, Wenao Ma, Shengchao Qin, Graziano Chesi, Ngai Wong.
Published in Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing, 2025
Kunpeng Ren, Nhut-Minh Ho, Dumitrel Loghin, Thanh-Toan Nguyen, Beng Chin Ooi, Quang-Trung Ta, Feida Zhu.
Published in IEEE Transactions on Knowledge and Data Engineering, 2023
Thanh-Toan Nguyen, Quang-Trung Ta, Ilya Sergey, Wei-Ngan Chin.
Published in International Conference on Verification, Model Checking, and Abstract Interpretation, 2021
Thanh-Toan Nguyen, Pavle Subotic, Bor-Yuh Evan Chang.
Published in Practitioners@PLDI, 2020
Mihaela Sighireanu, Juan A 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, Tomas Vojnar, Constantin Enea, Ondrej Lengal, Chong Gao, Zhilin Wu.
Published in International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2019
Thanh-Toan Nguyen, Quang-Trung Ta, Wei-Ngan Chin.
Published in International Conference on Verification, Model Checking, and Abstract Interpretation, 2019
Xuan-Bach Le, Thanh-Toan Nguyen, Wei-Ngan Chin, Aquinas Hobor.
Published in International Conference on Formal Engineering Methods, 2017