7 citations · 16 across the 5 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2021★ 5 cited
A Scalable Algorithm for Decentralized Actor Termination Detection
Dan Plyukhin, Gul Agha
Automatic garbage collection (GC) prevents certain kinds of bugs and reduces programming overhead. GC techniques for sequential programs are based on reachability analysis. However…
cs.LO2020
Scalable Termination Detection for Distributed Actor Systems
Dan Plyukhin, Gul Agha
Automatic garbage collection (GC) prevents certain kinds of bugs and reduces programming overhead. GC techniques for sequential programs are based on reachability analysis. However…