Siddharth Krishna

Identifiers

No identifiers captured yet.

Papers (3)

1. On the tensor rank of $3\times 3$ permanent and determinant math.CO · 2018 · author #1
2. Go with the Flow: Compositional Abstractions for Concurrent Data Structures (Extended Version) cs.LO · 2017 · author #1
3. Learning Invariants using Decision Trees cs.PL · 2015 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Thomas Wies 2 shared papers
• Christian Puhrsch 1 shared papers
• Dennis Shasha 1 shared papers
• Visu Makam 1 shared papers