Thanh-Toan Nguyen

OPTIMIZE STOCHASTIC NEURAL NETWORKS

Jaesik Choi, Thanh-Toan Nguyen, 2018 .

Automatic Program Repair Using Formal Verification and Expression Templates

Wei-Ngan Chin, Quang-Trung Ta, Thanh-Toan Nguyen, 2019, VMCAI.

Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis

Wei-Ngan Chin, Quang-Trung Ta, Ilya Sergey, 2021, VMCAI.

A Certified Decision Procedure for Tree Shares

Wei-Ngan Chin, Xuan Bach Le, Aquinas Hobor, 2017, ICFEM.