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).
Publications
Conference Papers
Efficient Algorithms for Decomposing Integers as Sums of Few Tetrahedral Numbers
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