Siddharth Krishna

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