Research Interests :
Automated Formal Verification, Program Analysis, Programming Languages.Publications : (Last Five, while at IITM)DBLP | View All
- Certified mergeable replicated data types.
Authors :
Vimala Soundarapandian,
Adharsh Kamath,
Kartik Nagar,
K. C. SivaramakrishnanAppeared 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 NagarAppeared 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 JagannathanAppeared 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 JagannathanAppeared 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
| Jan 2023 - May 2023 | : | - Object Oriented Algorithms Implementation and Analysis Lab (CS2810) |
| Jan 2023 - May 2023 | : | - Automated Program Verification (CS5030) |
| Jan 2022 - Apr 2022 | : | - Automated Program Verification (CS5030) |
| Aug 2021 - Dec 2021 | : | - Compiler Design (CS3300) |
| Feb 2021 - May 2021 | : | - Languages, Machines and Computation (CS2200) |
