Write a Blog >>
PLDI 2020
Mon 15 - Sat 20 June 2020
Siddharth Krishna

Registered user since Wed 1 Nov 2017

Name: Siddharth Krishna

Affiliation: Microsoft Research, USA

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

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

Contributions

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

Using general profile