Siddharth KrishnaBooksAutomated Verification of Concurrent Search StructuresAuthor data: Open Library