output
20082026
most citedEthereum's Recursive Length Prefix in ACL2

9 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2010 · cs.DCShow all

1 paper · 2 filters

cs.DC2010★ 4 cited

Formal Derivation of Concurrent Garbage Collectors

Dusko Pavlovic, Peter Pepper, Douglas R. Smith

Concurrent garbage collectors are notoriously difficult to implement correctly. Previous approaches to the issue of producing correct collectors have mainly been based on posit-and…