Følg
Siddharth Krishna
Siddharth Krishna
Independent Researcher
Verifisert e-postadresse på cs.nyu.edu - Startside
Tittel
Sitert av
Sitert av
År
Learning invariants using decision trees
S Krishna, C Puhrsch, T Wies
arXiv preprint arXiv:1501.04725, 2015
432015
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
382017
Verifying concurrent search structure templates
S Krishna, N Patel, D Shasha, T Wies
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
292020
Local reasoning for global graph properties
S Krishna, AJ Summers, T Wies
Programming Languages and Systems: 29th European Symposium on Programming …, 2020
292020
Learning shape analysis
M Brockschmidt, Y Chen, P Kohli, S Krishna, D Tarlow
Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA …, 2017
272017
Verifying visibility-based weak consistency
S Krishna, M Emmi, C Enea, D Jovanović
Programming Languages and Systems: 29th European Symposium on Programming …, 2020
182020
A quadratic construction for Zielonka automata with acyclic communication structure
S Krishna, A Muscholl
Theoretical Computer Science 503, 109-114, 2013
112013
Verifying concurrent multicopy search structures
N Patel, S Krishna, D Shasha, T Wies
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-32, 2021
92021
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
82021
Go with the flow: compositional abstractions for concurrent data structures. PACMPL 2, POPL (2018), 37: 1–37: 31
S Krishna, DE Shasha, T Wies
82018
On the tensor rank of permanent and determinant
S Krishna, V Makam
arXiv preprint arXiv:1801.00496, 2018
82018
Learning invariants using decision trees. CoRR abs/1501.04725 (2015)
S Krishna, C Puhrsch, T Wies
arXiv preprint arXiv:1501.04725, 2015
82015
Automated Verification of Concurrent Search Structures
S Krishna, N Patel, DE Shasha, T Wies
Morgan & Claypool Publishers, 2021
72021
Partitioning for an execution pipeline
R Tomioka, JPV FRANCO, A MAGNI, NCP LOPES, S KRISHNA, R GOLIN
US Patent 12,093,791, 2024
62024
Learning to verify the heap
M Brockschmidt, Y Chen, B Cook, P Kohli, S Krishna, D Tarlow, H Zhu
Technical Report, 2016
42016
Distir: An intermediate representation and simulator for efficient neural network distribution
K Santhanam, S Krishna, R Tomioka, T Harris, M Zaharia
arXiv preprint arXiv:2111.05426, 2021
32021
Compositional abstractions for verifying concurrent data structures
S Krishna
New York University, 2019
32019
Ghost State
S Krishna, N Patel, D Shasha, T Wies
Automated Verification of Concurrent Search Structures, 37-49, 2021
12021
Partitioning for an execution pipeline
R Tomioka, JPV FRANCO, A MAGNI, NCP LOPES, S KRISHNA, R GOLIN
US Patent App. 18/762,616, 2025
2025
The Edgeset Framework for Multicopy Structures
S Krishna, N Patel, D Shasha, T Wies
Automated Verification of Concurrent Search Structures, 103-106, 2021
2021
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20