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

2022 1

Automatic Synthesis of Parallel Unix Commands and Pipelines with KumQuat

PPoPP '22: Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming / Association for Computing Machinery. New York, USA : 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), December 2020, article number 18, p. 1-119
Shen, Jiasi; Rinard, Martin C.
Article

Supply-Chain Vulnerability Elimination via Active Learning and Regeneration

CCS '21: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security / Association for Computing Machinery. New York, USA : 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

MSR '20: Proceedings of the 17th International Conference on Mining Software Repositories / Association for Computing Machinery. New York, USA : Association for Computing Machinery, 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 / Association for Computing Machinery. New York, USA : Association for Computing Machinery, 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 of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC, v. 2019-October, October 2019, article number 8818884, p. 181-185
Cambronero, José P.; 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 / Association for Computing Machinery. New York, USA : Association for Computing Machinery, 2019, p. 269-285, Code 148581
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 / Association for Computing Machinery. New York, USA : Association for Computing Machinery, 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 / Association for Computing Machinery. New York, USA : Association for Computing Machinery, 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 / IEEE. Piscataway, NJ : IEEE, 2015, Article number 7340873
Sun, Jun; Duan, Yizhou; Zhang, Qi; Shen, Jiasi; Guo, Zongming
Conference paper

Conference paper 1

Automatic Synthesis of Parallel Unix Commands and Pipelines with KumQuat

PPoPP '22: Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming / Association for Computing Machinery. New York, USA : 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), December 2020, article number 18, p. 1-119
Shen, Jiasi; Rinard, Martin C.

Conference paper 1

Supply-Chain Vulnerability Elimination via Active Learning and Regeneration

CCS '21: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security / Association for Computing Machinery. New York, USA : 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

MSR '20: Proceedings of the 17th International Conference on Mining Software Repositories / Association for Computing Machinery. New York, USA : Association for Computing Machinery, 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 / Association for Computing Machinery. New York, USA : Association for Computing Machinery, 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 of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC, v. 2019-October, October 2019, article number 8818884, p. 181-185
Cambronero, José P.; 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 / Association for Computing Machinery. New York, USA : Association for Computing Machinery, 2019, p. 269-285, Code 148581
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 / Association for Computing Machinery. New York, USA : Association for Computing Machinery, 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 / Association for Computing Machinery. New York, USA : Association for Computing Machinery, 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 / IEEE. Piscataway, NJ : IEEE, 2015, Article number 7340873
Sun, Jun; Duan, Yizhou; Zhang, Qi; Shen, Jiasi; Guo, Zongming

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 / Association for Computing Machinery. New York, USA : Association for Computing Machinery, 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 / Association for Computing Machinery. New York, USA : Association for Computing Machinery, 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 / IEEE. Piscataway, NJ : IEEE, 2015, Article number 7340873
Sun, Jun; Duan, Yizhou; Zhang, Qi; Shen, Jiasi; Guo, Zongming
Conference paper

No Publications

Teaching Assignment

COMP3021	Java Programming
UROP1100N	Undergraduate Research Opportunities Series 1
UROP3100N	Undergraduate Research Opportunities Series 3

COMP4971A	Independent Work
UROP1000	Undergraduate Research Opportunities
UROP2100M	Undergraduate Research Opportunities Series 2

COMP2711	Discrete Mathematical Tools for Computer Science
COMP4910	Co-op Program

COMP3021	Java Programming
COMP4971A	Independent Work
UROP1100K	Undergraduate Research Opportunities Series 1

COMP4971A	Independent Work
UROP1000	Undergraduate Research Opportunities

No Teaching Assignments

Research Postgraduate (RPG) Supervision

From January 2021 to December 2024 (As of 21 November 2024)

Current RPGs

Doctor of Philosophy

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

CAI, Xuran
Computer Science and Engineering
LIN, Zhaorun
Computer Science and Engineering
SERMCHAIWONG, Tanapoom
Computer Science and Engineering

Research Interest

Publications

2022 1

2021 2

2020 1

2019 3

2018 1

2017 1

2015 1

Conference paper 1

Article 1

Conference paper 1

Conference paper 1

Conference paper 3

Conference paper 1

Conference paper 1

Conference paper 1

2018 1

2017 1

2015 1

Teaching Assignment

Research Postgraduate (RPG) Supervision

From January 2021 to December 2024 (As of 21 November 2024)

Current RPGs

Projects

From January 2022 to December 2024

Your browser is out of date!