Jiasi Shen

According to our database, Jiasi Shen authored at least 16 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Dynamic Graph-based Fingerprinting of In-browser Cryptomining.

Tanapoom Sermchaiwong, Jiasi Shen

CoRR, May, 2025

OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification.

Shangyu Li, Juyong Jiang, Tiancheng Zhao, Jiasi Shen

CoRR, April, 2025

When LLMs Meet API Documentation: Can Retrieval Augmentation Aid Code Generation Just as It Helps Developers?

Jingyi Chen, Songqiang Chen, Jialun Cao, Jiasi Shen, Shing-Chi Cheung

CoRR, March, 2025

2024

A Survey on Large Language Models for Code Generation.

Juyong Jiang, Fan Wang, Jiasi Shen, Sungju Kim, Sunghun Kim

CoRR, 2024

2022

Program Inference and Regeneration via Active Learning

Jiasi Shen

PhD thesis, 2022

Automatic synthesis of parallel unix commands and pipelines with KumQuat.

Jiasi Shen, Martin C. Rinard, Nikos Vasilakis

Proceedings of the PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2, 2022

2021

Active Learning for Inference and Regeneration of Applications that Access Databases.

Jiasi Shen, Martin C. Rinard

ACM Trans. Program. Lang. Syst., 2021

Supply-Chain Vulnerability Elimination via Active Learning and Regeneration.

Nikos Vasilakis, Achilles Benetopoulos, Shivam Handa, Alizee Schoen, Jiasi Shen, Martin C. Rinard

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

Automatic Synthesis of Parallel and Distributed Unix Commands with KumQuat.

Nikos Vasilakis, Jiasi Shen, Martin C. Rinard

CoRR, 2020

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

Jürgen Cito, Jiasi Shen, Martin C. Rinard

Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020

2019

Characterizing Developer Use of Automatically Generated Patches.

José Pablo Cambronero, Jiasi Shen, Jürgen Cito, Elena L. Glassman, Martin C. Rinard

Proceedings of the 2019 IEEE Symposium on Visual Languages and Human-Centric Computing, 2019

Using active learning to synthesize models of applications that access databases.

Jiasi Shen, Martin C. Rinard

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Active learning for software engineering.

José Pablo Cambronero, Thurston H. Y. Dang, Nikos Vasilakis, Jiasi Shen, Jerry Wu, Martin C. Rinard

Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, 2019

2018

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

Martin C. Rinard, Jiasi Shen, Varun Mangalick

Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, 2018

2017

Robust programs with filtered iterators.

Jiasi Shen, Martin C. Rinard

Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, 2017

2015

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

Jun Sun, Yizhou Duan, Qi Zhang, Jiasi Shen, Zongming Guo

Proceedings of the 17th IEEE International Workshop on Multimedia Signal Processing, 2015