| 2026 | AAAI | OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification. | Shangyu Li, Juyong Jiang, Tiancheng Zhao, Jiasi Shen |
| 2026 | ACL | ReflexiCoder: Teaching Large Language Models to Self-Reflect on Generated Code and Self-Correct It via Reinforcement Learning. | Juyong Jiang, Jiasi Shen, Sunghun Kim, Kang Min Yoo, Jeonghoon Kim, Sungju Kim |
| 2026 | ECOOP | Proof-of-Theft: Dynamic Graph-Based Fingerprinting of In-Browser Cryptomining. | Tanapoom Sermchaiwong, Jiasi Shen |
| 2022 | PPoPP | Automatic synthesis of parallel unix commands and pipelines with KumQuat. | Jiasi Shen, Martin C. Rinard, Nikos Vasilakis |
| 2021 | CCS | Supply-Chain Vulnerability Elimination via Active Learning and Regeneration. | Nikos Vasilakis, Achilles Benetopoulos, Shivam Handa, Alizee Schoen, Jiasi Shen, Martin C. Rinard |
| 2020 | MSR | An Empirical Study on the Impact of Deimplicitization on Comprehension in Programs Using Application Frameworks. | Jrgen Cito, Jiasi Shen, Martin C. Rinard |
| 2019 | OOPSLA | Active learning for software engineering. | Jos Pablo Cambronero, Thurston H. Y. Dang, Nikos Vasilakis, Jiasi Shen, Jerry Wu, Martin C. Rinard |
| 2019 | PLDI | Using active learning to synthesize models of applications that access databases. | Jiasi Shen, Martin C. Rinard |
| 2018 | OOPSLA | Active learning for inference and regeneration of computer programs that store and retrieve data. | Martin C. Rinard, Jiasi Shen, Varun Mangalick |
| 2017 | SLE | Robust programs with filtered iterators. | Jiasi Shen, Martin C. Rinard |
| 2015 | MMSP | Towards Rate-Distortion analysis of general source distributions: Property and principles. | Jun Sun, Yizhou Duan, Qi Zhang, Jiasi Shen, Zongming Guo |