Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Siddharth Krishna

Registered user since Wed 1 Nov 2017

Name: Siddharth Krishna

Country: United Kingdom

Affiliation: Microsoft Research, Cambridge

Personal website: http://www.cs.nyu.edu/~siddharth/

Research interests: Compiers for Machine Learning, Concurrency, Separation Logic

Contributions

PLDI 2020Author of Verifying Concurrent Search Structure Templates within the PLDI Research Papers-track
Show activities from other conferences

PLDI 2020-profile
View general profile