CV

Education

• Ph.D in Computer Science, Syracuse University, 2026 (expected)
• M.S. in Computer Science, Syracuse University, 2020
• B.S. in Electrical Engineering, Hangzhou Dianzi University, 2017

Work experience

• 2017 – 2018: Technical support engineer
  • Dahua Technology in China/India
• 2020 – now: Research Assistant
  • Syracuse University
• Summer 2025: Research Intern
  • Bloomberg L.P, CTO Infrastructure and Security.
  • Duties included: GPU accelerated SAT/SMT Solving.

Skills

• Programming Languages: Rust, Racket, Haskell, C++/CUDA, Python, Java, etc.
• HPC cluter experience : Theta, Polaris, etc.
• SAT/SMT Solving
• Database : PostgreSQL, DuckDB, etc.

Publications

Datalog with First-Class Facts

G. Thomas, S. Arash, S. Yihao, K. Sowmith, K. Sidharth, and M. Kristopher, “Datalog with First-Class Facts,” in Proceedings of the VLDB Endowment, Volume 18, London, United Kingdom, 2025.

Column-Oriented Datalog on the GPU

G. Thomas, S. Arash, S. Yihao, K. Sowmith, K. Sidharth, and M. Kristopher, “Datalog with First-Class Facts,” in Proceedings of the VLDB Endowment, Volume 18, London, United Kingdom, 2025.

Optimizing Datalog for the GPU

Y. Sun, S. Ahmedur, G. Thomas, M. Kristopher, and K. Sidharth, “Optimizing Datalog for the GPU,” in International Conference on Architectural Support for Programming Languages and Operating Systems(ASPLOS), Rotterdam, The Netherlands, 2025.

Assemblage: Automatic Binary Dataset Construction for Machine Learning

C. Liu, R. Saul, Y. Sun, et al., “Assemblage: Automatic Binary Dataset Construction for Machine Learning,” in NeurIPS 2024 Datasets and Benchmarks Track, 2024.

Communication-Avoiding Recursive Aggregation

Y. Sun, K. Sidharth, G. Thomas, and K. Micinski, “Communication-Avoiding Recursive Aggregation,” in IEEE International Conference on Cluster Computing (CLUSTER), Santa Fe, USA, 2023.

So You Want to Analyze Scheme Programs With Datalog?

Y. Sun, K. Sidharth, G. Thomas, and K. Micinski, “So You Want To Analyze Scheme Programs With Datalog?” In International Conference on Functional Programming(ICFP) Scheme Workshop, Online, 2021.

Declarative Demand-Driven Reverse Engineering

Y. Sun, J. Ching, and K. Micinski, “Declarative Demand-Driven Reverse Engineering,” in NDSS Workshop on Binary Analysis Research (BAR), Online, 2021

Teaching

• CIS 352 : Principle of programming Language Theory, Syracuse University, 2020
• CIS 500 : Compiler Construction, Syracuse University, 2025

Reviewer

• The AAAI-25 Workshop on Artificial Intelligence for Cyber Security (AICS) , 2025, Philadelphia, USA