Shangyin Tan
where else to find them
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Programming Large Language Models with Algebraic Effect Handlers and the Selection Monad | LMPL 2025 | 2025-10-12 |
Pangolin models LLM calls as algebraic effects and uses a selection monad to search and score nondeterministic outputs; handlers expose a multi‑shot… | ||
| Nerv: Probabilistic Dynamic Partial Order Reduction for Hardware | PLARCH 2023 | 2023-06-17 |
Proposes probabilistic dynamic partial order reduction that records state transitions from warm-up runs, builds a probability table over transaction pairs, and… | ||
| Partially Evaluating Symbolic Interpreters for All | PEPM 2022 | 2022-01-17 |
Builds staged symbolic interpreters with Lightweight Modular Staging (LMS) to compile concolic and call‑chain backward symbolic execution for an LLVM‑style IR… | ||
| Compiling Symbolic Execution with Staging and Algebraic Effects | OOPSLA 2020 | 2020-11-15 |
Claims a first Futamura projection for symbolic interpreters and shows a pipeline that stages a definitional interpreter (Scala + Freer monads + LMS) to… | ||
| nothing matches | ||