Dan Plyukhin

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 6

Top Topics

Automatic Detection

False Positives

Garbage Collection

Top Venues

Log. Methods Comput. Sci.

Publications

Dan Plyukhin, Marco Peressotti, Fabrizio Montesi
Ozone: Fully Out-of-Order Choreographies. CoRR (2024)
Dan Plyukhin, Gul Agha
A Scalable Algorithm for Decentralized Actor Termination Detection. Log. Methods Comput. Sci. 18 (1) (2022)
Dan Plyukhin, Gul Agha
A Scalable Algorithm for Decentralized Actor Termination Detection. CoRR (2021)
Dan Plyukhin, Gul Agha
Scalable Termination Detection for Distributed Actor Systems. CoRR (2020)
Dan Plyukhin, Gul Agha
Scalable Termination Detection for Distributed Actor Systems. CONCUR (2020)
Dan Plyukhin, Gul Agha
Concurrent garbage collection in the actor model. AGERE!@SPLASH (2018)