About me
I am a third year PhD student at the University of Texas at Austin, Department of Electrical and Computer Engineering (Software Engineering and System track), advised by Dr. Milos Gligoric. My current research focuses on formal methods and automated reasoning, including mechanized semantics and LLM-assisted verification. I have also worked on GPU performance optimization and parallel computing.
Find my most recent resume here.
Publications
MGQL: An Executable, Small-Step Semantics of GQL Permalink
Published in OOPSLA, 2026
Aditya Thimmaiah, Tong-Nong Lin, Milos Gligoric, "MGQL: An Executable, Small-Step Semantics of GQL" Proceedings of the ACM on Programming Languages (OOPSLA).
Download Paper
Efficient Algorithms for Decomposing Integers as Sums of Few Tetrahedral Numbers Permalink
Published in IWOCA, 2024
Tong-Nong Lin, Yu-Cheng Lin, Cheng-Chen Tsai, Meng-Tsung Tsai, and Shih-Yu Tsai, "Efficient Algorithms for Decomposing Integers as Sums of Few Tetrahedral Numbers," the 35th International Workshop on Combinatorial Algorithms (IWOCA), pages 259-272, July 2024.
Download Paper