Publications

. CLOTHO: Directed Test Generation for Weakly Consistent Database Systems. OOPSLA (Conditionally Accepted), 2019.

. Automated Parametrized Verification of CRDTs. CAV, 2019.

PDF

. Alone Together: Compositional Reasoning and Inference for Weak Isolation. POPL, 2018.

PDF

. Path Sensitive Cache Analysis Using Cache Miss Paths. VMCAI, 2015.

PDF

. Interdependent Cache Analyses for better Precision and Safety. MEMOCODE, 2012.

PDF

Contact

  • nagark@purdue.edu
  • 305 N University Street, Purdue University West Lafayette 47907, USA