Siddharth Krishna
Siddharth Krishna
Microsoft Research
Verified email at cs.nyu.edu - Homepage
Title
Cited by
Cited by
Year
Learning invariants using decision trees
S Krishna, C Puhrsch, T Wies
arXiv preprint arXiv:1501.04725, 2015
262015
Learning shape analysis
M Brockschmidt, Y Chen, P Kohli, S Krishna, D Tarlow
International Static Analysis Symposium, 66-87, 2017
142017
Go with the flow: compositional abstractions for concurrent data structures
S Krishna, D Shasha, T Wies
Proceedings of the ACM on Programming Languages 2 (POPL), 1-31, 2017
132017
Local reasoning for global graph properties
S Krishna, AJ Summers, T Wies
European Symposium on Programming, 308-335, 2020
72020
Learning invariants using decision trees. CoRR abs/1501.04725 (2015)
S Krishna, C Puhrsch, T Wies
arXiv preprint arXiv:1501.04725, 2015
72015
A quadratic construction for Zielonka automata with acyclic communication structure
S Krishna, A Muscholl
Theoretical Computer Science 503, 109-114, 2013
72013
Go with the flow: compositional abstractions for concurrent data structures. PACMPL 2, POPL (2018), 37: 1–37: 31
S Krishna, DE Shasha, T Wies
42018
Verifying concurrent search structure templates
S Krishna, N Patel, D Shasha, T Wies
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
32020
Verifying visibility-based weak consistency
S Krishna, M Emmi, C Enea, D Jovanović
European Symposium on Programming, 280-307, 2020
32020
Learning to verify the heap
M Brockschmidt, Y Chen, B Cook, P Kohli, S Krishna, D Tarlow, H Zhu
Technical Report, 2016
32016
On the tensor rank of the 3 x 3 permanent and determinant
S Krishna, V Makam
The Electronic Journal of Linear Algebra 37, 425-433, 2021
22021
Compositional abstractions for verifying concurrent data structures
S Krishna
New York University, 2019
22019
Automated Verification of Concurrent Search Structures
S Krishna, N Patel, D Shasha, T Wies
Synthesis Lectures on Computer Science 9 (1), 1-188, 2021
12021
DistIR: An Intermediate Representation for Optimizing Distributed Neural Networks
K Santhanam, S Krishna, R Tomioka, A Fitzgibbon, T Harris
Proceedings of the 1st Workshop on Machine Learning and Systems, 15-23, 2021
12021
On the tensor rank of permanent and determinant
S Krishna, V Makam
arXiv preprint arXiv:1801.00496, 2018
2018
Go with the Flow: Compositional Abstractions for Concurrent Data Structures (Extended Version)
S Krishna, D Shasha, T Wies
arXiv preprint arXiv:1711.03272, 2017
2017
Multiple Context Free Grammars
S Krishna
2013
The system can't perform the operation now. Try again later.
Articles 1–17