Compiling symbolic execution with staging and algebraic effects. - Guannan Wei 001; Oliver Bracevac; Shangyin Tan; Tiark Rompf (Proc. ACM Program. Lang., 2020)

LLSC: a parallel symbolic execution compiler for LLVM IR. - Guannan Wei 001; Shangyin Tan; Oliver Bracevac; Tiark Rompf (ESEC/SIGSOFT FSE, 2021)

INTENT: Interactive Tensor Transformation Synthesis. - Zhanhui Zhou; Man To Tang; Qiping Pan; Shangyin Tan; Xinyu Wang 006; Tianyi Zhang 001 (UIST, 2022)

Compiling Parallel Symbolic Execution with Continuations. - Guannan Wei 001; Songlin Jia; Ruiqi Gao; Haotian Deng 001; Shangyin Tan; Oliver Bracevac; Tiark Rompf (ICSE, 2023)

ItyFuzz: Snapshot-Based Fuzzer for Smart Contract. - Chaofan Shou; Shangyin Tan; Koushik Sen (ISSTA, 2023)

DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines. - Arnav Singhvi; Manish Shetty; Shangyin Tan; Christopher Potts; Koushik Sen; Matei Zaharia; Omar Khattab (CoRR, 2023)

SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics. - Arash Ardakani; Altan Haan; Shangyin Tan; Doru-Thom Popovici; Alvin Cheung; Costin Iancu; Koushik Sen (NAACL-HLT, 2024)

S*: Test Time Scaling for Code Generation. - Dacheng Li; Shiyi Cao; Chengkun Cao; Xiuyu Li; Shangyin Tan; Kurt Keutzer; Jiarong Xing; Joseph E. Gonzalez; Ion Stoica (CoRR, 2025)

LangProBe: a Language Programs Benchmark. - Shangyin Tan; Lakshya A. Agrawal; Arnav Singhvi; Liheng Lai; Michael J. Ryan; Dan Klein 001; Omar Khattab; Koushik Sen; Matei Zaharia (CoRR, 2025)

GEPA: Reflective Prompt Evolution Can Outperform Reinforcement Learning. - Lakshya A. Agrawal; Shangyin Tan; Dilara Soylu; Noah Ziems; Rishi Khare; Krista Opsahl-Ong; Arnav Singhvi; Herumb Shandilya; Michael J. Ryan; Meng Jiang; Christopher Potts; Koushik Sen; et al. (CoRR, 2025)