Volgen
Siddharth Krishna
Siddharth Krishna
Microsoft Research
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
312015
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
252017
Learning shape analysis
M Brockschmidt, Y Chen, P Kohli, S Krishna, D Tarlow
International Static Analysis Symposium, 66-87, 2017
162017
Local reasoning for global graph properties
S Krishna, AJ Summers, T Wies
Programming Languages and Systems. ESOP 2020. Lecture Notes in Computer …, 2020
132020
Verifying concurrent search structure templates
S Krishna, N Patel, D Shasha, T Wies
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
102020
Verifying Visibility-Based Weak Consistency.
S Krishna, M Emmi, C Enea, D Jovanovic
ESOP 12075, 280-307, 2020
92020
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
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
42016
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
32021
Automated Verification of Concurrent Search Structures
S Krishna, N Patel, D Shasha, T Wies
Synthesis Lectures on Computer Science 9 (1), 1-188, 2021
22021
Compositional abstractions for verifying concurrent data structures
S Krishna
New York University, 2019
22019
On the tensor rank of permanent and determinant
S Krishna, V Makam
arXiv preprint arXiv:1801.00496, 2018
22018
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
12021
Partitioning for an execution pipeline
R Tomioka, JPV FRANCO, A MAGNI, NCP LOPES, S KRISHNA, R GOLIN
US Patent App. 16/854,868, 2021
12021
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
2021
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
Cumulative Contents for 2006
KS Chang, G Luo, YH Lin, AM Deatly, W Chen, LZ Miller, R Lerch, ...
Virus Research 122, 225-234, 2006
2006
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20