Shangyin Tan

机构：University of California, Berkeley

发表论文 13 篇 · 总被引 126 次 · h-index 4

代表论文

• ItyFuzz: Snapshot-Based Fuzzer for Smart Contract (2023 · 被引 89)
• Compiling Parallel Symbolic Execution with Continuations (2023 · 被引 12)
• Compiling symbolic execution with staging and algebraic effects (2020 · Proceedings of the ACM on Programming Languages · 被引 11)
• INTENT: Interactive Tensor Transformation Synthesis (2022 · 被引 8)
• S*: Test Time Scaling for Code Generation (2025 · 被引 2)
• DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines (2023 · arXiv (Cornell University) · 被引 2)