8 citations · 17 across the 3 of their papers we have counts for
1 paper · 2 filters
Chris Hawblitzel, Erez Petrank
Garbage collectors are notoriously hard to verify, due to their low-level interaction with the underlying system and the general difficulty in reasoning about reachability in graph…