Verifying concurrent search structure templates.

Siddharth Krishna, Nisarg Patel, Dennis E. Shasha, Thomas Wies

Browse the full PLDI paper archive.