Faculty Profiles - SHEN Jiasi | The Hong Kong University of Science and Technology

Jiasi SHEN
沈嘉思

PhD in Computer Science and Engineering
Massachusetts Institute of Technology, 2022

Assistant Professor
Department of Computer Science and Engineering

Google Scholar

pyLCHy0AAAAJ

ORCID

0000-0002-5904-3641

ResearcherID

HKO-5262-2023

Scopus ID

57198787434

Research Interest

Programming languages
Program analysis
Program transformation
Software engineering

Publications

2025 1

A Sound Static Analysis Approach to I/O API Migration

Proceedings of the ACM on Programming Languages, v. 9, (OOPSLA2), p. 584-614
Li, Shangyu; Zhang, Zhaoyang; Zhong, Sizhe; Zhou, Diyu; Shen, Jiasi
Article

2022 1

POSTER: Automatic Synthesis of Parallel Unix Commands and Pipelines with KumQuat

PPoPP 2022 - Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2022, p. 431-432
Shen, Jiasi; Rinard, Martin; Vasilakis, Nikos
Conference paper

2021 2

Active Learning for Inference and Regeneration of Applications that Access Databases

ACM Transactions on Programming Languages and Systems, v. 42, (4), article number 18
Shen, Jiasi; Rinard, Martin C.
Article

Supply-Chain Vulnerability Elimination via Active Learning and Regeneration

CCS 2021 - Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2021, p. 1755-1770
Vasilakis, Nikos; Benetopoulos, Achilles; Handa, Shivam; Schoen, Alizee; Shen, Jiasi; Rinard, Martin C.
Conference paper

2020 1

An Empirical Study on the Impact of Deimplicitization on Comprehension in Programs Using Application Frameworks

Proceedings - 2020 IEEE/ACM 17th International Conference on Mining Software Repositories, MSR 2020, Association for Computing Machinery, Inc, 2020, p. 598-601
Cito, Jürgen; Shen, Jiasi; Rinard, Martin
Conference paper

2019 3

Active learning for software engineering

Onward! 2019 - Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2019 / edited by Masuhara Hidehiko; Petricek Tomas. Association for Computing Machinery, Inc, 2019, p. 62-78
Cambronero, José P.; Dang, Thurston H.Y.; Vasilakis, Nikos; Shen, Jiasi; Wu, Jerry; Rinard, Martin C.
Conference paper

Characterizing Developer Use of Automatically Generated Patches

Proceedings - 2019 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2019 / edited by Smith Justin; Bogart Christopher A.; Good Judith; Fleming Scott D.. IEEE Computer Society, 2019, p. 181-185article number 8818884
Cambronero, José Pablo; Shen, Jiasi; Cito, Jürgen; Glassman, Elena; Rinard, Martin
Conference paper

Using active learning to synthesize models of applications that access databases

PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation / edited by McKinley Kathryn S.; Fisher Kathleen. Association for Computing Machinery, 2019, p. 269-285
Shen, Jiasi; Rinard, Martin C.
Conference paper

2018 1

Active learning for inference and regeneration of computer programs that store and retrieve data

Onward! 2018 - Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2018 / edited by Boix Elisa Gonzalez; Gabriel Richard P.. Association for Computing Machinery, Inc, 2018, p. 12-28
Rinard, Martin C.; Shen, Jiasi; Mangalick, Varun
Conference paper

2017 1

Robust programs with filtered iterators

SLE 2017 - Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2017 / edited by Rumpe Bernhard; Mernik Marjan; Combemale Benoit. Association for Computing Machinery, Inc, 2017, p. 244-255
Shen, Jiasi; Rinard, Martin
Conference paper

2015 1

Towards Rate-Distortion analysis of general source distributions: Property and principles

2015 IEEE 17th International Workshop on Multimedia Signal Processing, MMSP 2015, Institute of Electrical and Electronics Engineers Inc., 2015, article number 7340873
Sun, Jun; Duan, Yizhou; Zhang, Qi; Shen, Jiasi; Guo, Zongming
Conference paper

Article 1

A Sound Static Analysis Approach to I/O API Migration

Proceedings of the ACM on Programming Languages, v. 9, (OOPSLA2), p. 584-614
Li, Shangyu; Zhang, Zhaoyang; Zhong, Sizhe; Zhou, Diyu; Shen, Jiasi

Conference paper 1

POSTER: Automatic Synthesis of Parallel Unix Commands and Pipelines with KumQuat

PPoPP 2022 - Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2022, p. 431-432
Shen, Jiasi; Rinard, Martin; Vasilakis, Nikos

Article 1

Active Learning for Inference and Regeneration of Applications that Access Databases

ACM Transactions on Programming Languages and Systems, v. 42, (4), article number 18
Shen, Jiasi; Rinard, Martin C.

Conference paper 1

Supply-Chain Vulnerability Elimination via Active Learning and Regeneration

CCS 2021 - Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2021, p. 1755-1770
Vasilakis, Nikos; Benetopoulos, Achilles; Handa, Shivam; Schoen, Alizee; Shen, Jiasi; Rinard, Martin C.

Conference paper 1

An Empirical Study on the Impact of Deimplicitization on Comprehension in Programs Using Application Frameworks

Proceedings - 2020 IEEE/ACM 17th International Conference on Mining Software Repositories, MSR 2020, Association for Computing Machinery, Inc, 2020, p. 598-601
Cito, Jürgen; Shen, Jiasi; Rinard, Martin

Conference paper 3

Active learning for software engineering

Onward! 2019 - Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2019 / edited by Masuhara Hidehiko; Petricek Tomas. Association for Computing Machinery, Inc, 2019, p. 62-78
Cambronero, José P.; Dang, Thurston H.Y.; Vasilakis, Nikos; Shen, Jiasi; Wu, Jerry; Rinard, Martin C.

Characterizing Developer Use of Automatically Generated Patches

Proceedings - 2019 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2019 / edited by Smith Justin; Bogart Christopher A.; Good Judith; Fleming Scott D.. IEEE Computer Society, 2019, p. 181-185article number 8818884
Cambronero, José Pablo; Shen, Jiasi; Cito, Jürgen; Glassman, Elena; Rinard, Martin

Using active learning to synthesize models of applications that access databases

PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation / edited by McKinley Kathryn S.; Fisher Kathleen. Association for Computing Machinery, 2019, p. 269-285
Shen, Jiasi; Rinard, Martin C.

Conference paper 1

Active learning for inference and regeneration of computer programs that store and retrieve data

Onward! 2018 - Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2018 / edited by Boix Elisa Gonzalez; Gabriel Richard P.. Association for Computing Machinery, Inc, 2018, p. 12-28
Rinard, Martin C.; Shen, Jiasi; Mangalick, Varun

Conference paper 1

Robust programs with filtered iterators

SLE 2017 - Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2017 / edited by Rumpe Bernhard; Mernik Marjan; Combemale Benoit. Association for Computing Machinery, Inc, 2017, p. 244-255
Shen, Jiasi; Rinard, Martin

Conference paper 1

Towards Rate-Distortion analysis of general source distributions: Property and principles

2015 IEEE 17th International Workshop on Multimedia Signal Processing, MMSP 2015, Institute of Electrical and Electronics Engineers Inc., 2015, article number 7340873
Sun, Jun; Duan, Yizhou; Zhang, Qi; Shen, Jiasi; Guo, Zongming

2020 1

An Empirical Study on the Impact of Deimplicitization on Comprehension in Programs Using Application Frameworks

Proceedings - 2020 IEEE/ACM 17th International Conference on Mining Software Repositories, MSR 2020, Association for Computing Machinery, Inc, 2020, p. 598-601
Cito, Jürgen; Shen, Jiasi; Rinard, Martin
Conference paper

2019 3

Active learning for software engineering

Onward! 2019 - Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2019 / edited by Masuhara Hidehiko; Petricek Tomas. Association for Computing Machinery, Inc, 2019, p. 62-78
Cambronero, José P.; Dang, Thurston H.Y.; Vasilakis, Nikos; Shen, Jiasi; Wu, Jerry; Rinard, Martin C.
Conference paper

Characterizing Developer Use of Automatically Generated Patches

Proceedings - 2019 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2019 / edited by Smith Justin; Bogart Christopher A.; Good Judith; Fleming Scott D.. IEEE Computer Society, 2019, p. 181-185article number 8818884
Cambronero, José Pablo; Shen, Jiasi; Cito, Jürgen; Glassman, Elena; Rinard, Martin
Conference paper

Using active learning to synthesize models of applications that access databases

PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation / edited by McKinley Kathryn S.; Fisher Kathleen. Association for Computing Machinery, 2019, p. 269-285
Shen, Jiasi; Rinard, Martin C.
Conference paper

2018 1

Active learning for inference and regeneration of computer programs that store and retrieve data

Onward! 2018 - Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2018 / edited by Boix Elisa Gonzalez; Gabriel Richard P.. Association for Computing Machinery, Inc, 2018, p. 12-28
Rinard, Martin C.; Shen, Jiasi; Mangalick, Varun
Conference paper

2017 1

Robust programs with filtered iterators

SLE 2017 - Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2017 / edited by Rumpe Bernhard; Mernik Marjan; Combemale Benoit. Association for Computing Machinery, Inc, 2017, p. 244-255
Shen, Jiasi; Rinard, Martin
Conference paper

2015 1

Towards Rate-Distortion analysis of general source distributions: Property and principles

2015 IEEE 17th International Workshop on Multimedia Signal Processing, MMSP 2015, Institute of Electrical and Electronics Engineers Inc., 2015, article number 7340873
Sun, Jun; Duan, Yizhou; Zhang, Qi; Shen, Jiasi; Guo, Zongming
Conference paper

No Publications

Teaching Assignment

COMP2711

Discrete Mathematical Tools for Computer Science

COMP6922J	Research Project
UROP1100Q	Undergraduate Research Opportunities Series 1
UROP2100Q	Undergraduate Research Opportunities Series 2

COMP4971A	Independent Work
COMP6922J	Research Project
UROP1000	Undergraduate Research Opportunities
UROP1100P	Undergraduate Research Opportunities Series 1
UROP2100P	Undergraduate Research Opportunities Series 2

COMP4910	Co-op Program
COMP6922J	Research Project

No Teaching Assignments

Research Postgraduate (RPG) Supervision

From January 2023 to December 2026 (As of 03 March 2026)

Current RPGs

Doctor of Philosophy

ZAHER, Ahmed Khaled Abdelfattah
Computer Science and Engineering
ZHANG, Zhaoyang
Computer Science and Engineering
CHEN, Jingyi (co-supervision)
Computer Science and Engineering
FAROKHNIA, Soroush
Computer Science and Engineering
TAN, Huiri
Computer Science and Engineering
YANG, Jialu
Computer Science and Engineering
LI, Shangyu
Computer Science and Engineering
ZHONG, Sizhe
Computer Science and Engineering

Master of Philosophy

SERMCHAIWONG, Tanapoom
Computer Science and Engineering

Graduated RPGs

Master of Philosophy

CAI, Xuran
Computer Science and Engineering( Completed in 2025 )
LIN, Zhaorun
Computer Science and Engineering( Completed in 2025 )

Projects

From January 2024 to December 2026

No Projects.
Flexible and Comprehensive Dynamic Analysis for Extracting and Migrating Software Functionality

靈活且全面的動態分析技術，用於提取和遷移軟體功能 Leading

RGC - Early Career Scheme
Project Team (HKUST)
SHEN Jiasi (Lead)
2025 -

Research Interest

Publications

2025 1

2022 1

2021 2

2020 1

2019 3

2018 1

2017 1

2015 1

Article 1

Conference paper 1

Article 1

Conference paper 1

Conference paper 1

Conference paper 3

Conference paper 1

Conference paper 1

Conference paper 1

2020 1

2019 3

2018 1

2017 1

2015 1

Teaching Assignment

Research Postgraduate (RPG) Supervision

From January 2023 to December 2026 (As of 03 March 2026)

Current RPGs

Graduated RPGs

Projects

From January 2024 to December 2026

Your browser is out of date!