Skip to content

Sketching concurrent data structures.

Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodk

VenueA*PLDI
Year2008
ProceedingsPLDI

Browse the full PLDI paper archive.