Siddharth Krishna

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 14

Top Topics

Mutual Exclusion

Intermediate Representation

Top Venues

Proc. ACM Program. Lang.

Publications

Nisarg Patel, Siddharth Krishna, Dennis E. Shasha, Thomas Wies
Verifying concurrent multicopy search structures. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Nisarg Patel, Siddharth Krishna, Dennis E. Shasha, Thomas Wies
Verifying Concurrent Multicopy Search Structures. CoRR (2021)
Keshav Santhanam, Siddharth Krishna, Ryota Tomioka, Tim Harris, Matei Zaharia
DistIR: An Intermediate Representation and Simulator for Efficient Neural Network Distribution. CoRR (2021)
Keshav Santhanam, Siddharth Krishna, Ryota Tomioka, Andrew W. Fitzgibbon, Tim Harris
DistIR: An Intermediate Representation for Optimizing Distributed Neural Networks. EuroMLSys@EuroSys (2021)
Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanovic
Verifying Visibility-Based Weak Consistency. ESOP (2020)
Siddharth Krishna, Alexander J. Summers, Thomas Wies
Local Reasoning for Global Graph Properties. ESOP (2020)
Siddharth Krishna, Nisarg Patel, Dennis E. Shasha, Thomas Wies
Verifying concurrent search structure templates. PLDI (2020)
Siddharth Krishna, Alexander J. Summers, Thomas Wies
Local Reasoning for Global Graph Properties. CoRR (2019)
Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanovic
Verifying Visibility-Based Weak Consistency. CoRR (2019)
Siddharth Krishna, Dennis E. Shasha, Thomas Wies
Go with the flow: compositional abstractions for concurrent data structures. Proc. ACM Program. Lang. 2 (POPL) (2018)
Siddharth Krishna, Visu Makam
On the tensor rank of 3s×3 permanent and determinant. CoRR (2018)
Marc Brockschmidt, Yuxin Chen, Pushmeet Kohli, Siddharth Krishna, Daniel Tarlow
Learning Shape Analysis. SAS (2017)
Siddharth Krishna, Dennis E. Shasha, Thomas Wies
Go with the Flow: Compositional Abstractions for Concurrent Data Structures (Extended Version). CoRR (2017)
Siddharth Krishna, Christian Puhrsch, Thomas Wies
Learning Invariants using Decision Trees. CoRR (2015)
Siddharth Krishna, Anca Muscholl
A quadratic construction for Zielonka automata with acyclic communication structure. Theor. Comput. Sci. 503 (2013)