Kartik Nagar

Employment

• Indian Institute of Technology Madras Assistant Professor
  2020 - Present

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (7)

• Detecting and Validating Read-Only Reentrancy-Induced Price Manipulation via Learned Contract Semantics
  2026 DOI: 10.1145/3803437.3807390
  +Save
• Verifying Smart Contract Security against Re-entrancy Attacks through Relational Value Analysis
  Proceedings of the ACM on Software Engineering 2026 DOI: 10.1145/3797093
  +Save
• Automatically Verifying Replication-Aware Linearizability
  Proceedings of the ACM on Programming Languages 2025 DOI: 10.1145/3720452
  +Save
• Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models
  Proceedings of the ACM on Programming Languages 2024 DOI: 10.1145/3689802
  +Save
• Repairing serializability bugs in distributed database programs via automated schema refactoring
  Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation 2021 DOI: 10.1145/3453483.3454028
  +Save
• Refining Cache Behavior Prediction Using Cache Miss Paths
  ACM Transactions on Embedded Computing Systems 2017 DOI: 10.1145/3035541
  +Save
• Fast and Precise Worst-Case Interference Placement for Shared Cache Analysis
  ACM Transactions on Embedded Computing Systems 2016 DOI: 10.1145/2854151
  +Save