Siddharth Krishna

According to our database1, Siddharth Krishna authored at least 9 papers between 2013 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Verifying concurrent search structure templates.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Local Reasoning for Global Graph Properties.
Proceedings of the Programming Languages and Systems, 2020

Verifying Visibility-Based Weak Consistency.
Proceedings of the Programming Languages and Systems, 2020

2018
Go with the flow: compositional abstractions for concurrent data structures.
Proc. ACM Program. Lang., 2018

On the tensor rank of 3s×3 permanent and determinant.
CoRR, 2018

2017
Go with the Flow: Compositional Abstractions for Concurrent Data Structures (Extended Version).
CoRR, 2017

Learning Shape Analysis.
Proceedings of the Static Analysis - 24th International Symposium, 2017

2015
Learning Invariants using Decision Trees.
CoRR, 2015

2013
A quadratic construction for Zielonka automata with acyclic communication structure.
Theor. Comput. Sci., 2013


  Loading...