Siyuan He
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
all 6 in the filters
who talks about the same things
- Songlin Jia6 talks
- Yuyan Bao8 talks
- Guannan Wei21 talks
- Tiark Rompf24 talks
- Oliver Bračevac9 talks
- Wenjia Ye5 talks
| title | conference | date |
|---|---|---|
| Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for(…) | PLDI 2026 | 2026-06-15 |
Presents an algorithmic design for reachability types that proves sound and decidable bidirectional typing and avoidance, mechanized in Lean 4 and accompanied… | ||
| Typestate via Revocable Capabilities | PLDI 2026 | 2026-06-15 |
Presents a Scala 3 compiler extension (prototype in Stella) that implements flow-sensitive revocation, ties capabilities to objects via path-dependent… | ||
| nothing matches | ||