3
Publications
91
Citations
3
H-Index
2020
Active since
Affiliations
Shangyin Tan is an author at University of California, Berkeley specializing in software engineering, formal methods, and formal verification.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer EngineeringSoftware EngineeringFuzzing
Publications per year
2020–2023
3
3
ItyFuzz: Snapshot-Based Fuzzer for Smart Contract
Chaofan Shou, Shangyin Tan, Koushik Sen · 2023 · 71 citations · Full text
Compiling Parallel Symbolic Execution with Continuations
Guannan Wei, Songlin Jia, Ruiqi Gao et al. · 2023 · 10 citations
Rows per page
1–3 of 3