Krishna Siddharth

• Automated Verification of Concurrent Search Structures