Siddharth Krishna

According to our database, Siddharth Krishna authored at least 14 papers between 2013 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Automated Verification of Concurrent Search Structures

Siddharth Krishna, Nisarg Patel, Dennis E. Shasha, Thomas Wies

Synthesis Lectures on Computer Science, Morgan & Claypool Publishers, ISBN: 978-3-031-01806-0, 2021

Verifying concurrent multicopy search structures.

Nisarg Patel, Siddharth Krishna, Dennis E. Shasha, Thomas Wies

Proc. ACM Program. Lang., 2021

DistIR: An Intermediate Representation and Simulator for Efficient Neural Network Distribution.

Keshav Santhanam, Siddharth Krishna, Ryota Tomioka, Tim Harris, Matei Zaharia

CoRR, 2021

DistIR: An Intermediate Representation for Optimizing Distributed Neural Networks.

Keshav Santhanam, Siddharth Krishna, Ryota Tomioka, Andrew W. Fitzgibbon, Tim Harris

Proceedings of the EuroMLSys@EuroSys 2021, 2021

2020

Verifying concurrent search structure templates.

Siddharth Krishna, Nisarg Patel, Dennis E. Shasha, Thomas Wies

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Local Reasoning for Global Graph Properties.

Siddharth Krishna, Alexander J. Summers, Thomas Wies

Proceedings of the Programming Languages and Systems, 2020

Verifying Visibility-Based Weak Consistency.

Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanovic

Proceedings of the Programming Languages and Systems, 2020

2019

Compositional Abstractions for Verifying Concurrent Data Structures.

Siddharth Krishna

PhD thesis, 2019

2018

Go with the flow: compositional abstractions for concurrent data structures.

Siddharth Krishna, Dennis E. Shasha, Thomas Wies

Proc. ACM Program. Lang., 2018

On the tensor rank of 3s×3 permanent and determinant.

Siddharth Krishna, Visu Makam

CoRR, 2018

2017

Go with the Flow: Compositional Abstractions for Concurrent Data Structures (Extended Version).

Siddharth Krishna, Dennis E. Shasha, Thomas Wies

CoRR, 2017

Learning Shape Analysis.

Marc Brockschmidt, Yuxin Chen, Pushmeet Kohli, Siddharth Krishna, Daniel Tarlow

Proceedings of the Static Analysis - 24th International Symposium, 2017

2015

Learning Invariants using Decision Trees.

Siddharth Krishna, Christian Puhrsch, Thomas Wies

CoRR, 2015

2013

A quadratic construction for Zielonka automata with acyclic communication structure.

Siddharth Krishna, Anca Muscholl

Theor. Comput. Sci., 2013