Dan Plyukhin

11 papers A 1B 1Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Accompanist: A Runtime for Resilient Choreographic Programming.
CoRR
Viktor Strate Kløvedal, Dan Plyukhin, Marco Peressotti, Fabrizio Montesi
2025 J jnl
CRGC: Fault-Recovering Actor Garbage Collection in Pekko.
Proc. ACM Program. Lang.
Dan Plyukhin, Gul Agha, Fabrizio Montesi
2025 J jnl
Relax! The Semilenient Core of Choreographic Programming (Functional Pearl).
Proc. ACM Program. Lang.
Dan Plyukhin, Xueying Qin, Fabrizio Montesi
2024 J jnl
Ozone: Fully Out-of-Order Choreographies (Artifact).
Dagstuhl Artifacts Ser.
Dan Plyukhin, Marco Peressotti, Fabrizio Montesi
2024 A conf
Ozone: Fully Out-of-Order Choreographies.
ECOOP
Dan Plyukhin, Marco Peressotti, Fabrizio Montesi
2024 J jnl
Ozone: Fully Out-of-Order Choreographies.
CoRR
Dan Plyukhin, Marco Peressotti, Fabrizio Montesi
2022 J jnl
A Scalable Algorithm for Decentralized Actor Termination Detection.
Log. Methods Comput. Sci.
Dan Plyukhin, Gul Agha
2021 J jnl
A Scalable Algorithm for Decentralized Actor Termination Detection.
CoRR
Dan Plyukhin, Gul Agha
2020 B conf
Scalable Termination Detection for Distributed Actor Systems.
CONCUR
Dan Plyukhin, Gul Agha
2020 J jnl
Scalable Termination Detection for Distributed Actor Systems.
CoRR
Dan Plyukhin, Gul Agha
2018 — conf
Concurrent garbage collection in the actor model.
AGERE!@SPLASH
Dan Plyukhin, Gul Agha