GPCE 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
co-located with SPLASH 2021
Siddharth Krishna

Registered user since Wed 1 Nov 2017

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

Contributions

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

Using general profile