1 citations · 1 across the 1 of their papers we have counts for
2 papers
math.CO2018
On the tensor rank of permanent and determinant
Siddharth Krishna, Visu Makam
The tensor rank and border rank of the determinant tensor is known to be if characteristic is not two. In this paper, we show that the tensor rank remains for…
cs.LO2017★ 1 cited
Go with the Flow: Compositional Abstractions for Concurrent Data Structures (Extended Version)
Siddharth Krishna, Dennis Shasha, Thomas Wies
Concurrent separation logics have helped to significantly simplify correctness proofs for concurrent data structures. However, a recurring problem in such proofs is that data struc…