Kiran Gopinathan
- Concurrent Data Structures Made Easy (Extended Version)
2024/08/25 by Callista Le, Kiran Gopinathan, Koon Wen Lee +2 · 1 voice
Computer Science · #cs.PL #cs.DC
- Certifying Certainty and Uncertainty in Approximate Membership Query Structures
2020/01/01 by Kiran Gopinathan, Ilya Sergey · 1 citation
Computer Science · Mathematics · #Caching and Content Delivery #Advanced Database Systems and Queries #Distributed systems and fault tolerance #Mathematical proof #Computer science #Correctness #Probabilistic logic #False positive paradox #Theoretical computer science #Gas meter prover #False positives and false negatives #Algorithm #Mathematics #Artificial intelligence