Krishna, Shankaranarayanan

1. Optimal Reads-From Consistency Checking for C11-Style Memory Models
   2023/03/08 by Hünkar Can Tunç, Tunç, Hünkar Can, Parosh Aziz Abdulla +8 · 4 citations
   Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Security and Verification in Computing #Software Testing and Debugging Techniques
2. How Hard is Weak-Memory Testing?
   2023/11/07 by Soham Chakraborty, Shankara Narayanan Krishna, Chakraborty, Soham +5 · 2 citations
   Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Software Testing and Debugging Techniques
3. On-The-Fly Static Analysis via Dynamic Bidirected Dyck Reachability
   2023/11/07 by Shankara Narayanan Krishna, A. K. Lal, Krishna, Shankaranarayanan +5 · 1 citation
   Computer Science · Decision Sciences · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Scientific Computing and Data Management #Security and Verification in Computing