Joshi, Saurabh

1. Safety Verification and Refutation by k-invariants and k-induction (extended version)
   2015/06/18 by Martin Brain, Saurabh Joshi, Brain, Martin +5 · 1 citation
   Computer Science · #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
2. DORA: Distributed Oracle Agreement with Simple Majority
   2023/05/06 by Prasanth Chakka, Saurabh Joshi, Chakka, Prasanth +7 · 2 citations
   Computer Science · #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC)
3. OpenMP aware MHP Analysis for Improved Static Data-Race Detection
   2021/11/08 by Bora, Utpal, Vaishay, Shraiysh, Joshi, Saurabh +1 · 1 citation
   #D.1.3 #D.2.4 #D.2.5 #D.3.4 #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE)