Dan Plyukhin

I'm a postdoc at the University of Southern Denmark. My research is about combining insights from programming languages and distributed algorithms to make better tooling for distributed systems.

I'm on the job market! Here's my CV.

Email (click to unscramble): pyulkhdin@aadim.uds.dk

DBLP | Google Scholar | Github | Bluesky

Recent Publications

CRGC: Fault-Recovering Actor Garbage Collection in Pekko
Dan Plyukhin, Gul Agha, and Fabrizio Montesi. To appear at PLDI 2025.
Preprint coming soon!
Ozone: Fully Out-of-Order Choreographies
Dan Plyukhin, Marco Peressotti, and Fabrizio Montesi. ECOOP 2024.
PDF | Video | Slides | Cite

Fault-Tolerant and Fault-Recovering Garbage Collection for the Actor Model: A Collage-Based Approach
Dan Plyukhin. Ph.D. thesis, University of Illinois Urbana-Champaign, 2024.
PDF (director's cut) | Cite

@phdthesis{plyukhin2024,
  author = {Dan Plyukhin},
  title  = {Fault-Tolerant and Fault-Recovering Garbage Collection 
            for the Actor Model: A Collage-Based Approach},
  school = {University of Illinois Urbana-Champaign, {USA}},
  year   = {2024}
}

Under Review

One-Click Decentralisation: Automated Synthesis of Microservice Choreographies
Viktor Strate Kløvedal, Dan Plyukhin, Marco Peressotti, and Fabrizio Montesi. Submitted to HotOS 2025.
Preprint coming soon!
Relax! The Lenient Core of Choreographic Programming (Pearl)
Dan Plyukhin, Xueying Qin, and Fabrizio Montesi. Submitted to IFCP 2025.
Preprint coming soon!

Mentorship

During the Spring 2020 semester, I had the pleasure of mentoring Jerry Wu and Charles Kuch for the Undergraduate Research Apprentice Program. Their project was to implement and evaluate the reference tracking scheme from my AGERE 2018 paper, as a first step towards distributed actor garbage collection for the Akka framework. Click below to see their poster with the preliminary results.