Jiasi Shen

25 papers A* 3A 1B 3C 1Journal 13Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Survey on Large Language Models for Code Generation.
ACM Trans. Softw. Eng. Methodol.
Juyong Jiang, Fan Wang, Jiasi Shen, Sungju Kim, Sung Hun Kim
2026 A* conf
OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification.
AAAI
Shangyu Li, Juyong Jiang, Tiancheng Zhao, Jiasi Shen
2026 J jnl
ReflexiCoder: Teaching Large Language Models to Self-Reflect on Generated Code and Self-Correct It via Reinforcement Learning.
CoRR
Juyong Jiang, Jiasi Shen, Sung Hun Kim, Kang Min Yoo, Jeonghoon Kim, Sungju Kim
2026 J jnl
TAROT: Test-driven and Capability-adaptive Curriculum Reinforcement Fine-tuning for Code Generation with Large Language Models.
CoRR
Chansung Park, Juyong Jiang, Fan Wang, Sayak Paul, Jiasi Shen, Jing Tang, Jianguo Li
2025 J jnl
A Sound Static Analysis Approach to I/O API Migration.
Proc. ACM Program. Lang.
Shangyu Li, Zhaoyang Zhang, Sizhe Zhong, Diyu Zhou, Jiasi Shen
2025 J jnl
Dynamic Graph-based Fingerprinting of In-browser Cryptomining.
CoRR
Tanapoom Sermchaiwong, Jiasi Shen
2025 J jnl
Multi-Agent Systems for Dataset Adaptation in Software Engineering: Capabilities, Limitations, and Future Directions.
CoRR
Jingyi Chen, Xiaoyan Guo, Songqiang Chen, Shing-Chi Cheung, Jiasi Shen
2025 J jnl
OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification.
CoRR
Shangyu Li, Juyong Jiang, Tiancheng Zhao, Jiasi Shen
2025 J jnl
When LLMs Meet API Documentation: Can Retrieval Augmentation Aid Code Generation Just as It Helps Developers?
CoRR
Jingyi Chen, Songqiang Chen, Jialun Cao, Jiasi Shen, Shing-Chi Cheung
2025 — conf
pdGRASS: A Fast Parallel Density-Aware Algorithm for Graph Spectral Sparsification.
HPEC
Tiancheng Zhao, Zekun Yin, Huihai An, Xiaoyu Yang, Zhou Jin, Jiasi Shen, Helen Xu
2025 J jnl
pdGRASS: A Fast Parallel Density-Aware Algorithm for Graph Spectral Sparsification.
CoRR
Tiancheng Zhao, Zekun Yin, Huihai An, Xiaoyu Yang, Zhou Jin, Jiasi Shen, Helen Xu
2024 J jnl
A Survey on Large Language Models for Code Generation.
CoRR
Juyong Jiang, Fan Wang, Jiasi Shen, Sungju Kim, Sunghun Kim
2022 B conf
Automatic synthesis of parallel unix commands and pipelines with KumQuat.
PPoPP
Jiasi Shen, Martin C. Rinard, Nikos Vasilakis
2022 — —
Program Inference and Regeneration via Active Learning
Jiasi Shen
2021 J jnl
Active Learning for Inference and Regeneration of Applications that Access Databases.
ACM Trans. Program. Lang. Syst.
Jiasi Shen, Martin C. Rinard
2021 A* conf
Supply-Chain Vulnerability Elimination via Active Learning and Regeneration.
CCS
Nikos Vasilakis, Achilles Benetopoulos, Shivam Handa, Alizee Schoen, Jiasi Shen, Martin C. Rinard
2020 A conf
An Empirical Study on the Impact of Deimplicitization on Comprehension in Programs Using Application Frameworks.
MSR
Jürgen Cito, Jiasi Shen, Martin C. Rinard
2020 J jnl
Automatic Synthesis of Parallel and Distributed Unix Commands with KumQuat.
CoRR
Nikos Vasilakis, Jiasi Shen, Martin C. Rinard
2019 — conf
Active learning for software engineering.
Onward!
José Pablo Cambronero, Thurston H. Y. Dang, Nikos Vasilakis, Jiasi Shen, Jerry Wu, Martin C. Rinard
2019 B conf
Characterizing Developer Use of Automatically Generated Patches.
VL/HCC
José Pablo Cambronero, Jiasi Shen, Jürgen Cito, Elena L. Glassman, Martin C. Rinard
2019 J jnl
Characterizing Developer Use of Automatically Generated Patches.
CoRR
José Pablo Cambronero, Jiasi Shen, Jürgen Cito, Elena L. Glassman, Martin C. Rinard
2019 A* conf
Using active learning to synthesize models of applications that access databases.
PLDI
Jiasi Shen, Martin C. Rinard
2018 — conf
Active learning for inference and regeneration of computer programs that store and retrieve data.
Onward!
Martin C. Rinard, Jiasi Shen, Varun Mangalick
2017 B conf
Robust programs with filtered iterators.
SLE
Jiasi Shen, Martin C. Rinard
2015 C conf
Towards Rate-Distortion analysis of general source distributions: Property and principles.
MMSP
Jun Sun, Yizhou Duan, Qi Zhang, Jiasi Shen, Zongming Guo