Perceus: garbage free reference counting with reuse.

Alex Reinking, Ningning Xie, Leonardo de Moura, Daan Leijen

Browse the full PLDI paper archive.