Skip to content

Deriving linearizable fine-grained concurrent objects.

Martin T. Vechev, Eran Yahav

VenueA*PLDI
Year2008
ProceedingsPLDI

Browse the full PLDI paper archive.