Shangyin Tan

15 papers A* 2A 1Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Terminal-Bench: Benchmarking Agents on Hard, Realistic Tasks in Command Line Interfaces.
CoRR
Mike A. Merrill, Alexander Glenn Shaw, Nicholas Carlini, Boxuan Li, Harsh Raj, Ivan Bercovich, Lin Shi, Jeong Yeon Shin, Thomas Walshe, Estefany Kelly Buchanan, Junhong Shen, Guanghao Ye, Haowei Lin, Jason Poulos, Maoyu Wang, Marianna Nezhurina, Jenia Jitsev, Di Lu, Orfeas Menis-Mastromichalakis, Zhiwei Xu, Zizhao Chen, Yue Liu, Robert Zhang, Leon Liangyu Chen, Anurag Kashyap, Jan-Lucas Uslu, Jeffrey Li, Jianbo Wu, Minghao Yan, Song Bian, Vedang Sharma, Ke Sun, Steven Dillmann, Akshay Anand, Andrew Lanpouthakoun, Bardia Koopah, Changran Hu, Etash Kumar Guha, Gabriel H. S. Dreiman, Jiacheng Zhu, Karl Krauth, Li Zhong, Niklas Muennighoff, Robert Amanfu, Shangyin Tan, Shreyas Pimpalgaonkar, Tushar Aggarwal, Xiangning Lin, Xin Lan, Xuandong Zhao, Yiqing Liang, Yuanli Wang, Zilong Wang, Changzhi Zhou, David Heineman, Hange Liu, Harsh Trivedi, John Yang, Junhong Lin, Manish Shetty, Michael Yang, Nabil Omi, Negin Raoof, Shanda Li, Terry Yue Zhuo, Wuwei Lin, Yiwei Dai, Yuxin Wang, Wenhao Chai, Shang Zhou, Dariush Wahdany, Ziyu She, Jiaming Hu, Zhikang Dong, Yuxuan Zhu, Sasha Cui, Ahson Saiyed, Arinbjörn Kolbeinsson, Jesse Hu, Christopher Michael Rytting, Ryan Marten, Yixin Wang, Alex Dimakis, Andy Konwinski, Ludwig Schmidt
2025 J jnl
GEPA: Reflective Prompt Evolution Can Outperform Reinforcement Learning.
CoRR
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, Alexandros G. Dimakis, Ion Stoica, Daniel Klein, Matei Zaharia, Omar Khattab
2025 — conf
LangProBe: a Language Program Benchmark.
EMNLP (Findings)
Shangyin Tan, Lakshya A. Agrawal, Arnav Singhvi, Liheng Lai, Michael J. Ryan, Daniel Klein, Omar Khattab, Koushik Sen, Matei Zaharia
2025 J jnl
LangProBe: a Language Programs Benchmark.
CoRR
Shangyin Tan, Lakshya A. Agrawal, Arnav Singhvi, Liheng Lai, Michael J. Ryan, Dan Klein, Omar Khattab, Koushik Sen, Matei Zaharia
2025 — conf
S*: Test Time Scaling for Code Generation.
EMNLP (Findings)
Dacheng Li, Shiyi Cao, Chengkun Cao, Xiuyu Li, Shangyin Tan, Kurt Keutzer, Jiarong Xing, Joseph E. Gonzalez, Ion Stoica
2025 J jnl
S*: Test Time Scaling for Code Generation.
CoRR
Dacheng Li, Shiyi Cao, Chengkun Cao, Xiuyu Li, Shangyin Tan, Kurt Keutzer, Jiarong Xing, Joseph E. Gonzalez, Ion Stoica
2024 — conf
SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics.
NAACL-HLT
Arash Ardakani, Altan Haan, Shangyin Tan, Doru-Thom Popovici, Alvin Cheung, Costin Iancu, Koushik Sen
2023 A* conf
Compiling Parallel Symbolic Execution with Continuations.
ICSE
Guannan Wei, Songlin Jia, Ruiqi Gao, Haotian Deng, Shangyin Tan, Oliver Bracevac, Tiark Rompf
2023 J jnl
DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines.
CoRR
Arnav Singhvi, Manish Shetty, Shangyin Tan, Christopher Potts, Koushik Sen, Matei Zaharia, Omar Khattab
2023 A conf
ItyFuzz: Snapshot-Based Fuzzer for Smart Contract.
ISSTA
Chaofan Shou, Shangyin Tan, Koushik Sen
2023 J jnl
ItyFuzz: Snapshot-Based Fuzzer for Smart Contract.
CoRR
Chaofan Shou, Shangyin Tan, Koushik Sen
2023 J jnl
SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics.
CoRR
Arash Ardakani, Altan Haan, Shangyin Tan, Doru-Thom Popovici, Alvin Cheung, Costin Iancu, Koushik Sen
2022 A* conf
INTENT: Interactive Tensor Transformation Synthesis.
UIST
Zhanhui Zhou, Man To Tang, Qiping Pan, Shangyin Tan, Xinyu Wang, Tianyi Zhang
2021 — conf
LLSC: a parallel symbolic execution compiler for LLVM IR.
ESEC/SIGSOFT FSE
Guannan Wei, Shangyin Tan, Oliver Bracevac, Tiark Rompf
2020 J jnl
Compiling symbolic execution with staging and algebraic effects.
Proc. ACM Program. Lang.
Guannan Wei, Oliver Bracevac, Shangyin Tan, Tiark Rompf