ItyFuzz: Snapshot-Based Fuzzer for Smart Contract C Shou, S Tan, K Sen Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | 18 | 2023 |
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 | 16 | 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 …, 2023 | 12 | 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 …, 2021 | 6 | 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 | 5 | 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 …, 2022 | 2 | 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 | | 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 | | |