Scholar
Kartik Nagar
Google Scholar ID: KiT5oNUAAAAJ
Assistant Professor at Department of CSE, IIT Madras
Citations & Impact
Citations
185
H-index
7
i10-index
6
Publications
20
Co-authors
4
list available
Publications
Resume (English only)
Academic Achievements
- Gave a tutorial on Replicated Data Types at ATVA 2025; Paper titled ‘Automatically Verifying Replication-aware Linearizability’ accepted at OOPSLA 25; Paper titled ‘A Mechanically Verified Garbage Collector for OCaml’ accepted at the Journal of Automated Reasoning; Paper titled ‘Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models’ accepted at OOPSLA 24.
Research Experience
- Previously a postdoc at Purdue University working with Prof. Suresh Jagannathan. Recent work has focused on developing automated verification techniques for programs running under a weakly consistent memory model in the context of distributed replicated systems and distributed databases. Previously, also worked on static timing analysis techniques, focusing on the impact of the hardware cache hierarchy on the worst-case execution time of programs.
Education
- PhD, 2016, Indian Institute of Science (Advisor: Prof. YN Srikant); M.Eng., 2012, Indian Institute of Science.
Background
- Currently an Assistant Professor in the Department of CSE at IIT Madras. Research interests include developing verification and analysis techniques to improve the reliability, security, and efficiency of computer systems. Particularly interested in theoretical and practical verification problems arising in concurrent and distributed systems, computer architecture, operating systems, and real-time systems.
Miscellany
- Contact: nagark@cse.iitm.ac.in, +91 (044) 22574387, Address: SSB 401, Department of CSE, IIT Madras, Chennai, 600036, India
