Department of Computer Science & Engineering

Research Interests :

Publications : (Last Five, while at IITM)DBLP | View All

• Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models. 
  
  Authors : Kartik Nagar, Anmol Sahoo, Romit Roy Chowdhury, Suresh Jagannathan
  Appeared in Proc. ACM Program. Lang., Vol 8, No., pp.2578-2605, Jan 2024
• Automating Cutoff-based Verification of Distributed Protocols. 
  
  Authors : Shreesha G. Bhat, Kartik Nagar
  Appeared in Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023 (FMCAD 2023) ,pp.75-85, Oct 2023
• Certified mergeable replicated data types. 
  
  Authors : Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, K. C. Sivaramakrishnan
  Appeared in PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022, pp.332-347, Jun 2022
• Brief Announcement: Automating and Mechanising Cutoff Proofs for Parameterized Verification of Distributed Protocols. 
  
  Authors : Shreesha G. Bhat, Kartik Nagar
  Appeared in 35th International Symposium on Distributed Computing, DISC 2021, October 4-8, 2021, Freiburg, Germany (Virtual Conference). (DISC 2021) ,LIPIcs, Vol 209, pp.48:1-48:4, Oct 2021
• Repairing serializability bugs in distributed database programs via automated schema refactoring. 
  
  Authors : Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
  Appeared in PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 20211., pp.32-47, Jun 2021

(Recent) Teaching : View All  |  Back to top

(Current) Advisees View All  |  Back to top

Awards and Recognitions :View All  |  Back to top

• Class of 1991 Fellowship, 2021