SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Siddharth Krishna

Registered user since Wed 1 Nov 2017

Name:Siddharth Krishna
Country:United Kingdom
Affiliation:Microsoft Research, Cambridge
Research interests:Compiers for Machine Learning, Concurrency, Separation Logic

Contributions

SPLASH 2021 Verifying Concurrent Multicopy Search Structures
Verifying Concurrent Search Structure Templates
Show activities from other conferences

Using general profile