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
422015
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
372017
Verifying concurrent search structure templates
S Krishna, N Patel, D Shasha, T Wies
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
282020
Local reasoning for global graph properties
S Krishna, AJ Summers, T Wies
Programming Languages and Systems: 29th European Symposium on Programming …, 2020
272020
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
152020
A quadratic construction for Zielonka automata with acyclic communication structure
S Krishna, A Muscholl
Theoretical Computer Science 503, 109-114, 2013
112013
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
92021
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
82021
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
Partitioning for an execution pipeline
R Tomioka, JPV FRANCO, A MAGNI, NCP LOPES, S KRISHNA, R GOLIN
US Patent 12,093,791, 2024
62024
Automated Verification of Concurrent Search Structures
S Krishna, N Patel, DE Shasha, T Wies
Morgan & Claypool Publishers, 2021
62021
Go with the flow: compositional abstractions for concurrent data structures. PACMPL 2, POPL (2018), 37: 1–37: 31
S Krishna, DE Shasha, T Wies
62018
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, V Franco, J Patrícia, A Magni, C Pereira, L Nuno, S Krishna, ...
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20