Siddharth Krishna

DistIR: An Intermediate Representation for Optimizing Distributed Neural Networks
Keshav Santhanam, Siddharth Krishna, Ryota Tomioka, Andrew Fitzgibbon, and Tim Harris

Workshop on Machine Learning and Systems (EuroMLSys 2021)

Automated Verification of Concurrent Search Structures
Siddharth Krishna, Nisarg Patel, Dennis Shasha, and Thomas Wies

Morgan & Claypool (June, 2021)

Verifying Concurrent Multicopy Search Structures
Nisarg Patel, Siddharth Krishna, Dennis Shasha, and Thomas Wies

Proceedings of the ACM on Programming Languages (OOPSLA 2021)

Verifying Concurrent Search Structure Templates
Siddharth Krishna, Nisarg Patel, Dennis Shasha, and Thomas Wies

Programming Language Design and Implementation (PLDI 2020)

[1-minute talk] [15-minute talk] [Paper] [Artifact]

Local Reasoning for Global Graph Properties
Siddharth Krishna, Alexander J. Summers, and Thomas Wies

European Symposium on Programming (ESOP 2020)

Verifying Visibility-Based Weak Consistency
Siddharth Krishna, Michael Emmi, Constantin Enea, and Dejan Jovanovic

European Symposium on Programming (ESOP 2020)

Compositional Abstractions for Verifying Concurrent Data Structures
Siddharth Krishna

PhD Thesis, NYU (September, 2019)

Janet Fabri Prize for Outstanding Dissertation

Go with the Flow: Compositional Abstractions for Concurrent Data Structures
Siddharth Krishna, Dennis Shasha, and Thomas Wies

Proceedings of the ACM on Programming Languages (POPL 2018)

Learning Shape Analysis
Marc Brockschmidt, Yuxin Chen, Pushmeet Kohli, Siddharth Krishna, and Daniel Tarlow

Static Analysis Symposium (SAS 2017)

Earlier version: Learning to Verify the Heap (Microsoft Tech Report)

Learning Invariants using Decision Trees
Siddharth Krishna, Christian Puhrsch, and Thomas Wies

Technical report, arXiv. January, 2015

I have presented this work at FMCAD's student forum (October 2014). Here is my poster.

My poster on this work also won second place at POPL's student poster competition (January 2015).

A quadratic construction for Zielonka automata with acyclic communication structure
Siddharth Krishna and Anca Muscholl

Theoretical Computer Science September 9, 2013

Janet Fabri Prize for Outstanding Dissertation 2020

NYU Computer Science department.

Dean's Dissertation Fellowship 2018

A 1 year fellowship given to 30 PhD students from across NYU's Graduate School of Arts and Science.

Henning Biermann Award 2015

An award from NYU CS department for exceptional contributions to education and service.

Dr S Parthasarathy Award for Undergraduate Research 2013

An award from CMI for original research during undergraduate studies.

ACM Inter Collegiate Programming Contest 2011, 2012

Was part of a three member team that qualified twice for the World Finals. We came 1st in 2011 and 2nd in 2012 in the regionals.

International Olympiad in Informatics Aug ’10

Represented India in the international round (was one of 4 member team), and won an individual Bronze medal.

"Automating the Flow Framework" at ADSL 2018

"Go with the Flow: Compositional Abstractions for Concurrent Data Structures" at POPL 2018

"Flow Interfaces" at IBM PL Day Dec 2017

"Flow Interfaces" at Leicester Univeristy (Slides) and Imperial College (Slides) Nov 2017

"Learning to Verify the Heap" at EPFL, Lausanne and UCL, London Jun 2016 (Slides)

"Learning to Verify the Heap" at Yale PL Day, Yale University Nov 2015

"Implementing distributed control on star architectures" at GAMES 2012 Sep 2012

Program Committee member VMCAI 2022

Organizer VerifyThis Competition 2021

Program Committee member FTfJP 2018

External reviewer OOPSLA 2018

Reviewer ESOP 2021, PLDI 2020, LMCS, TACAS 2018, VMCAI 2018, SAS 2017, CONCUR 2017, ESOP 2017, ESOP 2016, FMCAD 2015, CADE-25, TACAS 2015

Fundamental Algorithms (graduate) NYU, Fall 2017

I was the Teaching Assistant (Recitation Leader). Recitation homepage.

Data Structures (undergraduate) NYU, Spring 2016

I was the Teaching Assistant (Recitation Leader). Recitation homepage.