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

VMCAI 2022 PC Member in Program Committee within the VMCAI 2022-track
Show activities from other conferences

POPL 2022-profile
View general profile