MGQL: An Executable, Small-Step Semantics of GQL Permalink
Aditya Thimmaiah, Tong-Nong Lin, Milos Gligoric, "MGQL: An Executable, Small-Step Semantics of GQL" Proceedings of the ACM on Programming Languages (OOPSLA).
CV
Education
- Ph.D in The University of Texas at Austin
- M.S. in National Taiwan University
- B.S. in National Taiwan University
Work experience
- Software Engineer
- Mediatek
- Research Assistant
- Academia Sinica
Skills
======
* Skill 1
* Skill 2
* Sub-skill 2.1
* Sub-skill 2.2
* Sub-skill 2.3
* Skill 3
Publications
Efficient Algorithms for Decomposing Integers as Sums of Few Tetrahedral Numbers
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.
Paper Title Number 3
Your Name, You. (2015). "Paper Title Number 3." Journal 1. 1(3).
Paper Title Number 2
Your Name, You. (2010). "Paper Title Number 2." Journal 1. 1(2).
Paper Title Number 1
Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1).
Talks
Conference Proceeding talk 3 on Relevant Topic in Your Field
Conference proceedings talk at Testing Institute of America 2014 Annual Conference, Los Angeles, CA
Talk 2 on Relevant Topic in Your Field
Talk at London School of Testing, London, UK
Tutorial 1 on Relevant Topic in Your Field
Tutorial at UC-Berkeley Institute for Testing Science, Berkeley CA, USA
Talk 1 on Relevant Topic in Your Field
Talk at UC San Francisco, Department of Testing, San Francisco, California
Teaching
Service and leadership
- Currently signed in to 43 different slack teams