Shangyin Tan -

Registered user since Thu 28 May 2020

Name:Shangyin Tan

Country:United States

Affiliation:UC Berkeley

Personal website:https://shangyit.me

Research interests:Programming Languages, Software Engineering

Contributions

ISSTA 2023	Author of ItyFuzz: Snapshot-Based Fuzzer for Smart Contract within the Technical Papers-track
PLDI 2023	Author in Artifact Evaluation Committee within the Research Artifacts-track
PLARCH 2023	Author of Nerv: Probabilistic Dynamic Partial Order Reduction for Hardware within the PLARCH 2023-track
ICSE 2023	Author of Compiling Parallel Symbolic Execution with Continuations within the Technical Track-track Author of Compiling Parallel Symbolic Execution with Continuations within the Artifact Evaluation-track
PLDI 2022	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
PEPM 2022	Author of Partially Evaluating Symbolic Interpreters for All within the PEPM 2022-track
SPLASH 2021	Author of Compiling Symbolic Execution with Staging and Algebraic Effects within the SIGPLAN Papers-track
ESEC/FSE 2021	Author of LLSC: A Parallel Symbolic Execution Compiler for LLVM IR within the Demonstrations-track
SPLASH 2020	Author of Compiling Symbolic Execution with Staging and Algebraic Effects within the OOPSLA-track