Towards Rate-Distortion analysis of general source distributions: Property and principles. - Jun Sun 012; Yizhou Duan; Qi Zhang; Jiasi Shen 001; Zongming Guo (MMSP, 2015)

Robust programs with filtered iterators. - Jiasi Shen 001; Martin C. Rinard (SLE, 2017)

Active learning for inference and regeneration of computer programs that store and retrieve data. - Martin C. Rinard; Jiasi Shen 001; Varun Mangalick (Onward!, 2018)

Active learning for software engineering. - José Pablo Cambronero; Thurston H. Y. Dang; Nikos Vasilakis; Jiasi Shen 001; Jerry Wu; Martin C. Rinard (Onward!, 2019)

Using active learning to synthesize models of applications that access databases. - Jiasi Shen 001; Martin C. Rinard (PLDI, 2019)

Characterizing Developer Use of Automatically Generated Patches. - José Pablo Cambronero; Jiasi Shen 001; Jürgen Cito; Elena L. Glassman; Martin C. Rinard (VL/HCC, 2019)

An Empirical Study on the Impact of Deimplicitization on Comprehension in Programs Using Application Frameworks. - Jürgen Cito; Jiasi Shen 001; Martin C. Rinard (MSR, 2020)

Automatic Synthesis of Parallel and Distributed Unix Commands with KumQuat. - Nikos Vasilakis; Jiasi Shen 001; Martin C. Rinard (CoRR, 2020)

Supply-Chain Vulnerability Elimination via Active Learning and Regeneration. - Nikos Vasilakis; Achilles Benetopoulos; Shivam Handa; Alizee Schoen; Jiasi Shen 001; Martin C. Rinard (CCS, 2021)

Active Learning for Inference and Regeneration of Applications that Access Databases. - Jiasi Shen 001; Martin C. Rinard (ACM Trans. Program. Lang. Syst., 2021)

Automatic synthesis of parallel unix commands and pipelines with KumQuat. - Jiasi Shen 001; Martin C. Rinard; Nikos Vasilakis (PPoPP, 2022)

Program Inference and Regeneration via Active Learning - Jiasi Shen 001 (2022)

A Survey on Large Language Models for Code Generation. - Juyong Jiang; Fan Wang; Jiasi Shen 001; Sungju Kim; Sunghun Kim (CoRR, 2024)

When LLMs Meet API Documentation: Can Retrieval Augmentation Aid Code Generation Just as It Helps Developers? - Jingyi Chen; Songqiang Chen; Jialun Cao; Jiasi Shen 001; Shing-Chi Cheung (CoRR, 2025)

OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification. - Shangyu Li; Juyong Jiang; Tiancheng Zhao; Jiasi Shen 001 (CoRR, 2025)

Dynamic Graph-based Fingerprinting of In-browser Cryptomining. - Tanapoom Sermchaiwong; Jiasi Shen 001 (CoRR, 2025)