Siddharth Krishna

Automated Verification of Concurrent Search Structures