-
Relax! The Lenient Core of Choreographic Programming (Pearl)
Dan Plyukhin, Xueying Qin, and Fabrizio Montesi. IFCP 2025.
Preprint (Extended Version) |
Cite
@article{plyukhin2025relax,
author = {Dan Plyukhin and Xueying Qin and Fabrizio Montesi},
title = {Relax! The Semilenient Core of Choreographic Programming (Functional Pearl)},
journal = {Proc. {ACM} Program. Lang.},
volume = {9},
number = {{ICFP}},
article = {269},
year = {2025},
month = {aug},
pages = {269:1--269:27},
doi = {10.1145/3747538},
url = {https://doi.org/10.1145/3747538},
publisher = {{ACM}}
}
-
CRGC: Fault-Recovering Actor Garbage Collection in Pekko
Dan Plyukhin, Gul Agha, and Fabrizio Montesi. PLDI 2025.
PDF |
Video |
Slides |
Cite
@article{plyukhin2025crgc,
author = {Plyukhin, Dan and Agha, Gul and Montesi, Fabrizio},
title = {CRGC: Fault-Recovering Actor Garbage Collection in Pekko},
year = {2025},
issue_date = {June 2025},
publisher = {{ACM}},
address = {New York, NY, USA},
volume = {9},
number = {{PLDI}},
url = {https://doi.org/10.1145/3729288},
doi = {10.1145/3729288},
journal = {Proc. ACM Program. Lang.},
month = jun,
articleno = {185},
numpages = {25},
keywords = {actor model, actors, distributed systems, fault tolerance, garbage collection}
}
-
Ozone: Fully Out-of-Order Choreographies
Dan Plyukhin, Marco Peressotti, and Fabrizio Montesi. ECOOP 2024.
PDF |
Video |
Slides |
Cite
@inproceedings{DBLP:conf/ecoop/PlyukhinPM24,
author = {Dan Plyukhin and
Marco Peressotti and
Fabrizio Montesi},
editor = {Jonathan Aldrich and
Guido Salvaneschi},
title = {Ozone: Fully Out-of-Order Choreographies},
booktitle = {38th European Conference on Object-Oriented Programming, {ECOOP} 2024,
September 16-20, 2024, Vienna, Austria},
series = {LIPIcs},
volume = {313},
pages = {31:1--31:28},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2024.31},
doi = {10.4230/LIPICS.ECOOP.2024.31},
timestamp = {Mon, 03 Mar 2025 21:02:51 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/PlyukhinPM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
-
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}
}