Projects per year
Personal profile
Research interests
Computer Science / Information Technology - Programming languages
Computer Science / Information Technology - Program analysis
Computer Science / Information Technology - Program transformation
Computer Science / Information Technology - Software engineering
Computer Science / Information Technology - Program analysis
Computer Science / Information Technology - Program transformation
Computer Science / Information Technology - Software engineering
Related documents
Education/Academic qualification
PhD in Computer Science and Engineering, PhD, Massachusetts Institute of Technology
2022
Fingerprint
Dive into the research topics where Jiasi SHEN is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 1 Active
-
Flexible and Comprehensive Dynamic Analysis for Extracting and Migrating Software Functionality
SHEN, J. (PI)
1/07/25 → 30/06/28
Project: Research
-
A Sound Static Analysis Approach to I/O API Migration
Li, S., Zhang, Z., Zhong, S., Zhou, D. & Shen, J., 9 Oct 2025, In: Proceedings of the ACM on Programming Languages. 9, OOPSLA2, p. 584-614 31 p.Research output: Contribution to journal › Journal Article › peer-review
Open Access -
Dynamic Graph-based Fingerprinting of In-browser Cryptomining
Sermchaiwong, T. & Shen, J., 5 May 2025.Research output: Working paper › Preprint
-
OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification
Li, S., Jiang, J., Zhao, T. & Shen, J., 7 Dec 2025.Research output: Working paper › Preprint
-
pdGRASS: A Fast Parallel Density-Aware Algorithm for Graph Spectral Sparsification
Zhao, T., Yin, Z., An, H., Yang, X., Jin, Z., Shen, J. & Xu, H., 28 Aug 2025.Research output: Working paper › Preprint
Open Access -
PdGRASS: A Fast Parallel Density-Aware Algorithm for Graph Spectral Sparsification
Zhao, T., Yin, Z., An, H., Yang, X., Jin, Z., Shen, J. & Xu, H., 16 Oct 2025, 2025 IEEE High Performance Extreme Computing Conference, HPEC 2025. Institute of Electrical and Electronics Engineers Inc., 11196449. (2025 IEEE High Performance Extreme Computing Conference, HPEC 2025).Research output: Chapter in Book/Conference Proceeding/Report › Conference Paper published in a book › peer-review
Activities
- 1 Invited
-
Automated Approaches for Software Migration and Evolution
SHEN, J. (Contributor)
18 Oct 2025Activity: Talk or presentation › Invited