Dan Plyukhin
where else to find them
bluesky:dplyukhin.bsky.social
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Fabrizio Montesi2×
- Gul Aghaonce
- Xueying Qinonce
who talks about the same things
- Fabrizio Montesi7 talks
- Aleksandar Prokopec6 talks
- Andrew K. Hirsch6 talks
- Lindsey Kuper15 talks
- Xueying Qin3 talks
- Shun Kashiwa3 talks
| title | conference | date |
|---|---|---|
| Relax! The Semilenient Core of Choreographic Programming (Functional Pearl) | ICFP 2025 | 2025-10-12 |
Presents a trimmed formal core called λχ with just ten operational rules and a new semilenient evaluation strategy that mixes lenient (evaluate under binders)… | ||
| CRGC: Fault-Recovering Actor Garbage Collection in Pekko | PLDI 2025 | 2025-06-16 |
CRGC implements the first fault-recovering cyclic actor GC for distributed actor systems and ships a Java prototype in Apache Pekko. It records local actor… | ||
| nothing matches | ||