Haoyi Zeng
where else to find them
bluesky:haoyizeng.bsky.social
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2025–2026
on a stage with
- Andrea Lattuadaonce
- Arthur Corrensononce
- Derek Dreyeronce
all 8 in the filters
who talks about the same things
- Arthur Correnson5 talks
- Simon Spies8 talks
- Michael Sammler16 talks
- Thibault Dardinier9 talks
- Lennard Gäher7 talks
- Niklas Mück3 talks
| title | conference | date |
|---|---|---|
| A Deductive System for Contract Satisfaction Proofs | PLDI 2026 | 2026-06-15 |
Claims a sound-and-complete deductive system for relative bisimulation that characterizes relative trace equality via a nested coinductive–inductive fixpoint… | ||
| Destabilizing Iris | PLDI 2025 | 2025-06-16 |
Adds Daenerys to Iris: a reworked resource layer that introduces unstable resources and an explicit frame modality, plus an unstable points-to and a… | ||
| nothing matches | ||