Volgen
Siddharth Krishna
Siddharth Krishna
Independent Researcher
Geverifieerd e-mailadres voor cs.nyu.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Learning invariants using decision trees
S Krishna, C Puhrsch, T Wies
arXiv preprint arXiv:1501.04725, 2015
392015
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
322017
Verifying concurrent search structure templates
S Krishna, N Patel, D Shasha, T Wies
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
242020
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
222017
Local reasoning for global graph properties
S Krishna, AJ Summers, T Wies
Programming Languages and Systems: 29th European Symposium on Programming …, 2020
202020
Verifying visibility-based weak consistency
S Krishna, M Emmi, C Enea, D Jovanović
Programming Languages and Systems: 29th European Symposium on Programming …, 2020
142020
A quadratic construction for Zielonka automata with acyclic communication structure
S Krishna, A Muscholl
Theoretical Computer Science 503, 109-114, 2013
92013
Learning invariants using decision trees. CoRR abs/1501.04725 (2015)
S Krishna, C Puhrsch, T Wies
arXiv preprint arXiv:1501.04725, 2015
72015
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
62021
On the tensor rank of permanent and determinant
S Krishna, V Makam
arXiv preprint arXiv:1801.00496, 2018
62018
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
52021
Go with the flow: compositional abstractions for concurrent data structures. PACMPL 2, POPL (2018), 37: 1–37: 31
S Krishna, DE Shasha, T Wies
52018
Learning to verify the heap
M Brockschmidt, Y Chen, B Cook, P Kohli, S Krishna, D Tarlow, H Zhu
Technical Report, 2016
42016
Automated Verification of Concurrent Search Structures
S Krishna, N Patel, DE Shasha, T Wies
Morgan & Claypool Publishers, 2021
32021
Compositional abstractions for verifying concurrent data structures
S Krishna
New York University, 2019
32019
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
22021
Partitioning for an execution pipeline
R Tomioka, JPV FRANCO, A MAGNI, NCP LOPES, S KRISHNA, R GOLIN
US Patent App. 16/854,868, 2021
22021
The Edgeset Framework for Multicopy Structures
S Krishna, N Patel, D Shasha, T Wies
Automated Verification of Concurrent Search Structures, 103-106, 2021
2021
Verifying Multicopy Structures
S Krishna, N Patel, D Shasha, T Wies
Automated Verification of Concurrent Search Structures, 97-102, 2021
2021
Related Work, Future Work, and Conclusion
S Krishna, N Patel, D Shasha, T Wies
Automated Verification of Concurrent Search Structures, 149-156, 2021
2021
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20