Siddharth Krishna

Registered user since Wed 1 Nov 2017

Name: Siddharth Krishna

Country: United Kingdom

Affiliation: Microsoft Research, Cambridge

Personal website:

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


PLDI 2020Author of Verifying Concurrent Search Structure Templates within the PLDI Research Papers-track
FTfJP 2018Committee Member in Program Committee within the FTfJP-track
POPL 2018Author of Go with the Flow: Compositional Abstractions for Concurrent Data Structures within the Research Papers-track