Department of Computer Science & Engineering

Research Interests :

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

• 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
• Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems. 
  
  Authors : Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan
  Appeared in Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I (CAV 2020) ,Lecture Notes in Computer Science, Vol 12224, pp.251-274, Jul 2020

(Recent) Teaching : View All  |  Back to top

(Current) Advisees View All  |  Back to top