Shangyu Li (李尚禹)

PhD Student Department of Computer Science and Engineering The Hong Kong University of Science and Technology Contact: Email: lishangyu.zard@outlook.com Address: Clear Water Bay, Kowloon, Hong Kong

About me

I am a PhD student advised by Prof. Jiasi SHEN in the Department of Computer Science and Engineering at The Hong Kong University of Science and Technology. Previously, I earned a master's degree from HKUST and a bachelor's degree from UESTC.

My main research area is programming languages and software engineering, with a particular interest in program synthesis and code generation. Specifically, I focus on exploring both symbolic and neural approaches and their synergy to advance the correctness, scalability, and generality of program synthesis. If you have any questions, feel free to contact me!

Publications

• A Sound Static Analysis Approach to I/O API Migration
  Shangyu Li, Zhaoyang Zhang, Sizhe Zhong, Diyu Zhou, Jiasi Shen

  OOPSLA, 2025.

• OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification
  Shangyu Li, Juyong Jiang, Tiancheng Zhao, Jiasi Shen

  AAAI, 2026.

Teaching

COMP 3021: Java Programming, HKUST, Fall 2024

COMP 4321: Search Engines for Web and Enterprise Data, HKUST, Spring 2024