Kartik Nagar

Latest

• Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models
• Automating Cutoff-based Verification of Distributed Protocols
• Certified Mergeable Replicated Data Types
• Brief Announcement: Automating and Mechanising Cutoff Proofs for Parameterized Verification of Distributed Protocols
• Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
• Certified Mergeable Replicated Data Types
• Semantics, Specification and Bounded Verification of Concurrent Libraries in Replicated Systems
• CLOTHO : Directed Test Generation for Weakly Consistent Database Systems
• Automated Parametrized Verification of CRDTs
• Automated Detection of Serializability Violations under Weak Consistency
• Alone together: Compositional Reasoning and Inference for Weak Isolation
• Refining Cache Behaviour Prediction using Cache Miss Paths
• Fast and Precise Worst Case Interference Placement for Shared Cache Analysis
• Path-sensitive Cache Analysis using Cache Miss Paths
• Precise Shared Cache Analysis using Optimal Interference Placement
• Interdependent Cache Analyses for better precision and safety