Rastislav Bodík. Sketching Concurrent Data Structures (2008)

by Armando Solar-Lezama, Christopher Grant Jones
Venue:In PLDI