Kartik Nagar Home Page
Assistant Professor
Email : nagark [at] cse [dot] iitm [dot] ac [dot] in   

Link to Personal Homepage

Research Interests :

Automated Formal Verification, Program Analysis, Programming Languages.

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

  • 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
  • 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

Jan 2022 - Apr 2022 : - Automated Program Verification (CS5030)
Aug 2021 - Dec 2021 : - Compiler Design (CS3300)
Feb 2021 - May 2021 : - Languages, Machines and Computation (CS2200)
Feb 2021 - May 2021 : - Recent Topics in Compilers (CS7030)
Aug 2020 - Dec 2020 : - Automated Program Verification (CS5030)

(Current) Advisees View All  |  Back to top

ProgramNameRoll No.Joining DateFunding
PhDDivya RathoreCS21D011Jul 2021HTRA
MSPhule Tushar JaywantCS20S011Sep 2020


Awards and Recognitions :View All  |  Back to top