Shangyin Tan

According to our database, Shangyin Tan authored at least 7 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

CoRR, 2023

ItyFuzz: Snapshot-Based Fuzzer for Smart Contract.

Chaofan Shou, Shangyin Tan, Koushik Sen

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Compiling Parallel Symbolic Execution with Continuations.

Guannan Wei, Songlin Jia, Ruiqi Gao, Haotian Deng, Shangyin Tan, Oliver Bracevac, Tiark Rompf

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

INTENT: Interactive Tensor Transformation Synthesis.

Zhanhui Zhou, Man To Tang, Qiping Pan, Shangyin Tan, Xinyu Wang, Tianyi Zhang

Proceedings of the 35th Annual ACM Symposium on User Interface Software and Technology, 2022

2021

LLSC: a parallel symbolic execution compiler for LLVM IR.

Guannan Wei, Shangyin Tan, Oliver Bracevac, Tiark Rompf

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

2020

Compiling symbolic execution with staging and algebraic effects.

Guannan Wei, Oliver Bracevac, Shangyin Tan, Tiark Rompf

Proc. ACM Program. Lang., 2020