Shangyin Tan
Shangyin Tan
PhD Student, UC Berkeley
Verified email at - Homepage
Cited by
Cited by
Compiling symbolic execution with staging and algebraic effects
G Wei, O Bračevac, S Tan, T Rompf
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-33, 2020
Compiling Parallel Symbolic Execution with Continuations
G Wei, S Jia, R Gao, H Deng, S Tan, O Bračevac, T Rompf
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE íK, 2023
ItyFuzz: Snapshot-Based Fuzzer for Smart Contract
C Shou, S Tan, K Sen
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software íK, 2023
LLSC: a parallel symbolic execution compiler for LLVM IR
G Wei, S Tan, O Bračevac, T Rompf
Proceedings of the 29th ACM Joint Meeting on European Software Engineering íK, 2021
DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines
A Singhvi, M Shetty, S Tan, C Potts, K Sen, M Zaharia, O Khattab
arXiv preprint arXiv:2312.13382, 2023
INTENT: Interactive Tensor Transformation Synthesis
Z Zhou, MT Tang, Q Pan, S Tan, X Wang, T Zhang
Proceedings of the 35th Annual ACM Symposium on User Interface Software and íK, 2022
SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics
A Ardakani, A Haan, S Tan, DT Popovici, A Cheung, C Iancu, K Sen
arXiv preprint arXiv:2305.18513, 2023
Choice-Based Learning in JAX
S Tan, DZG Plotkin, N Xie
Towards Partially Evaluating Symbolic Interpreters for All (Short Paper)
S Tan, G Wei, T Rompf
The system can't perform the operation now. Try again later.
Articles 1–9