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
232015
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
122017
Learning shape analysis
M Brockschmidt, Y Chen, P Kohli, S Krishna, D Tarlow
International Static Analysis Symposium, 66-87, 2017
112017
A quadratic construction for Zielonka automata with acyclic communication structure
S Krishna, A Muscholl
Theoretical Computer Science 503, 109-114, 2013
62013
Learning invariants using decision trees. CoRR abs/1501.04725 (2015)
S Krishna, C Puhrsch, T Wies
arXiv preprint arXiv:1501.04725, 2015
52015
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
Learning to verify the heap
M Brockschmidt, Y Chen, B Cook, P Kohli, S Krishna, D Tarlow, H Zhu
Technical Report, 2016
32016
Verifying concurrent search structure templates.
S Krishna, N Patel, DE Shasha, T Wies
PLDI, 181-196, 2020
22020
Verifying Visibility-Based Weak Consistency
S Krishna, M Emmi, C Enea, D Jovanović
European Symposium on Programming, 280-307, 2020
22020
Local reasoning for global graph properties
S Krishna, AJ Summers, T Wies
European Symposium on Programming, 308-335, 2020
22020
Compositional Abstractions for Verifying Concurrent Data Structures
S Krishna
New York University, 2019
12019
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–14