K
Kartik Nagar
Researcher at Indian Institute of Technology Madras
Publications - 22
Citations - 139
Kartik Nagar is an academic researcher from Indian Institute of Technology Madras. The author has contributed to research in topics: Correctness & Serializability. The author has an hindex of 6, co-authored 20 publications receiving 94 citations. Previous affiliations of Kartik Nagar include Purdue University & Indian Institute of Science.
Papers
More filters
Proceedings ArticleDOI
Precise shared cache analysis using optimal interference placement
Kartik Nagar,Y. N. Srikant +1 more
TL;DR: This work forms an ILP problem to determine the worst case interference points of programs running on a multi-core architecture, from the perspective of a shared cache, and determines the WCET by assuming that the interferences come at those program points.
Posted Content
CLOTHO: Directed Test Generation for Weakly Consistent Database Systems.
TL;DR: ClOTHO as mentioned in this paper is a tool that combines a static analyzer and a model checker to generate abstract executions, discover serializability violations in these executions, and translate them back into concrete test inputs suitable for deployment in a test environment.
Journal ArticleDOI
Alone together: compositional reasoning and inference for weak isolation
TL;DR: In this paper, the authors present a program logic that enables compositional reasoning about the behavior of concurrently executing weakly-isolated transactions, and they also describe an inference procedure based on this foundation that ascertains the weakest isolation level that still guarantees the safety of high-level consistency assertions associated with such transactions.
Posted Content
Automated Detection of Serializability Violations under Weak Consistency
Kartik Nagar,Suresh Jagannathan +1 more
TL;DR: In this article, the problem of serializability is reduced to satisfiability of a formula in First-Order Logic, which allows the power of existing SMT solvers to harness the power.
Proceedings Article
Alone Together: Compositional Reasoning and Inference for Weak Isolation
TL;DR: In this paper, the authors present a program logic that enables compositional reasoning about the behavior of concurrently executing weakly-isolated transactions, and they also describe an inference procedure based on this foundation that ascertains the weakest isolation level that still guarantees the safety of high-level consistency assertions associated with such transactions.