Jiasi Shen 沈嘉思
Assistant Professor
Department of Computer Science and Engineering
The Hong Kong University of Science and Technology
Clear Water Bay, Kowloon, Hong Kong
- s[full][at]cse.ust.hk
- (+852) 2358 8835
- CYT Room 3002B (Lift 35-36)
- HKUST SEPL Seminar
- Blog Google Scholar More links...
News
- Survey to appear in TOSEM
- Serving on the OOPSLA'25 PC
- Our research has received support from industry sponsors
- Serving as the SPLASH'24 SRC co-chair
I am an Assistant Professor in the Department of Computer Science and Engineering at the Hong Kong University of Science and Technology where I lead the HKUST Automated Reasoning and Transformation of Software research group.
My main research interests are in programming languages and software engineering. I aim to improve software development by automating tasks that currently require substantial manual engineering effort. My research focuses on developing automatic techniques that analyze, manipulate, and transform software. My broader interests include computer systems and security.
Before joining HKUST in 2023, I received a PhD degree from Massachusetts Institute of Technology, where I worked with Professor Martin Rinard. I have also received a master's degree from MIT and a bachelor's degree from Peking University.
Teaching
- COMP3021: Java Programming (Fall 2024, Fall 2023)
- COMP2711: Discrete Mathematical Tools for Computer Science (Spring 2024)
Research
Software plays a central role in numerous aspects of human society. Current software development practices involve significant developer effort in all phases of the software life cycle, including the development of new software, detection and elimination of defects and security vulnerabilities in existing software, maintenance of legacy software, and integration of existing software into more contexts. My group aims to automate software development tasks and enhance how people create, understand, and improve software. Towards this goal, we have developed automatic techniques that analyze, manipulate, and transform programs.
Service
- Program Committee: OOPSLA 2025,
OOPSLA 2024,
‹Programming› 2024,
Onward! 2023,
OOPSLA 2023 (ERC),
ECOOP 2023 (ERC),
Onward! 2022,
OOPSLA 2022 (ERC),
AISTA 2022,
APLAS 2021,
AISTA 2021
- Journal Reviewer: TOSEM 2023
- Organizing Committee: SPLASH 2024 (Student Research Competition Co-Chair and Posters Co-Chair),
SPLASH 2023 (Student Research Competition Co-Chair and Posters Co-Chair),
CCF ChinaSoft 2023 (Forum for Women in Software Engineering Co-Chair)
- Artifact Evaluation Committee: OOPSLA 2023,
ECOOP 2023,
OOPSLA 2022,
PLDI 2021,
CAV 2020,
SAS 2019,
SLE 2016,
OOPSLA 2016
- Judges: SPLASH 2021 SRC