Nagar, Kartik
- Automated Detection of Serializability Violations under Weak Consistency
2018/06/21 by Kartik Nagar, Nagar, Kartik, Suresh Jagannathan +1 · 1 citation
Computer Science · #Cloud Computing and Resource Management #Distributed systems and fault tolerance #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software System Performance and Reliability
- CLOTHO: Directed Test Generation for Weakly Consistent Database Systems
2019/08/15 by Rahmani, Kia, Nagar, Kartik, Delaware, Benjamin +1 · 1 citation
#Distributed #FOS: Computer and information sciences #Parallel #Programming Languages (cs.PL) #and Cluster Computing (cs.DC)