Kartik Nagar -

Not registered as user yet

Name:Kartik Nagar

Affiliation:Purdue University

Contributions

SPLASH 2019	Author of CLOTHO: Directed Test Generation for Weakly Consistent Database Systems within the OOPSLA-track
POPL 2018	Author of Alone Together: Compositional Reasoning and Inference for Weak Isolation within the Research Papers-track