معرفی
Jiasi Shen is an Assistant Professor in the Department of Computer Science and Engineering at The Hong Kong University of Science and Technology. She leads the HKUST Automated Reasoning and Transformation of Software research group.
- PhD and Master's from Massachusetts Institute of Technology
- Bachelor's from Peking University
Her research focuses on automating software development through program analysis, program transformation, and active learning. She explores how to systematically introduce safety checks, optimize performance, and enable cross-platform adaptation while maintaining core functionality.
Recent work includes:
- Dynamic graph-based fingerprinting for cryptomining detection
- Benchmarking LLMs for operating system verification tasks
- Improving program comprehension via deimplicitization techniques
She has received the Distinguished Artifact Award at SLE 2017 and serves on program committees for OOPSLA, Onward!, and SPLASH conferences.
Her group supervises multiple PhD and MPhil students while developing systems like Konure (database application modeling) and KumQuat (parallel Unix command synthesis).
