Shangyin Tan

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 9

Top Topics

Symbolic Execution

Specification Language

Test Generation

Top Venues

Proc. ACM Program. Lang.

ESEC/SIGSOFT FSE

Publications

Arash Ardakani, Altan Haan, Shangyin Tan, Doru-Thom Popovici, Alvin Cheung, Costin Iancu, Koushik Sen
SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics. NAACL-HLT (2024)
Arash Ardakani, Altan Haan, Shangyin Tan, Doru-Thom Popovici, Alvin Cheung, Costin Iancu, Koushik Sen
SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics. CoRR (2023)
Chaofan Shou, Shangyin Tan, Koushik Sen
ItyFuzz: Snapshot-Based Fuzzer for Smart Contract. ISSTA (2023)
Chaofan Shou, Shangyin Tan, Koushik Sen
ItyFuzz: Snapshot-Based Fuzzer for Smart Contract. CoRR (2023)
Guannan Wei, Songlin Jia, Ruiqi Gao, Haotian Deng, Shangyin Tan, Oliver Bracevac, Tiark Rompf
Compiling Parallel Symbolic Execution with Continuations. ICSE (2023)
Arnav Singhvi, Manish Shetty, Shangyin Tan, Christopher Potts, Koushik Sen, Matei Zaharia, Omar Khattab
DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines. CoRR (2023)
Zhanhui Zhou, Man To Tang, Qiping Pan, Shangyin Tan, Xinyu Wang, Tianyi Zhang
INTENT: Interactive Tensor Transformation Synthesis. UIST (2022)
Guannan Wei, Shangyin Tan, Oliver Bracevac, Tiark Rompf
LLSC: a parallel symbolic execution compiler for LLVM IR. ESEC/SIGSOFT FSE (2021)
Guannan Wei, Oliver Bracevac, Shangyin Tan, Tiark Rompf
Compiling symbolic execution with staging and algebraic effects. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)