Ministry of Education
Vidvan Image

Dr Kartik Nagar

vidwan id: 157739
Male

Assistant Professor, Department of Computer Science and Engineering
Indian Institute of Technology Madras

Google Scholar Icon 55382699400 Google Scholar Icon KiT5oNUAAAAJ&hl

Expertise

  • Computer Science Software Engineering

Publications

Total Articles 12
Books 0
Proceedings 0

Publications

No publication activity to display at the moment.

Scopus

Citations 82
h-index 5

CrossRef

CrossRef Icon
Citations 37
h-index 3
Google Scholar

Loading Scholar statistics...

Professional Recognition

No Data Found

There is currently nothing to display here.

Community & Membership

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Bio

Automated Formal Verification, Program Analysis, Programming Languages

Personal Details

  • Male
  • Assistant Professor , Indian Institute of Technology Madras
  • Indian Institute of Technology Madras
Ph. D
Indian Institute of Science Bangalore 2016
M. Eng.
Indian Institute of Science Bangalore 2012
Assistant Professor Jan 2020 – Present
Indian Institute of Technology Madras | Department of Computer Science and Engineering

Related Profiles

Experts (10184+)

View All
Pragati

Ms Pragati Mishra

Assistant Professor

Sridhar

Dr Sridhar Sekar

Assistant Professor

DEEPAK

Mr DEEPAK B N

N/A

Md

Dr Md Nadeem M

Assistant Professor

Rashmi

Rashmi Chandra

Assistant Professor

Anjali

Dr Anjali Jadhav

Doctor

Abhishek

Mr Abhishek Shukla

Assistant Professor (Grade-I)

N

Dr N PRAKASH

Assistant Professor

Mrinmoy

Mr Mrinmoy Sadhukhan

Research Scholar

Haranath

Mr Haranath Rakshit

Junior Research Fellow

Organisations (719+)

View All
Bharadwaj

Dr Bharadwaj Satchidanandan

Assistant Professor

B S

B S Murty

Chair Professor

Sriram

Dr Sriram Balasubramanian

Assistant Professor

Prasad

Prof Prasad Patnaik B S V

Professor

B Nageswara

B Nageswara Rao

Professor

Boby

Dr Boby George

Professor

A

A Boominathan

Professor

Milind

Dr Milind Brahme

Associate Professor

Babji

Dr Babji Srinivasan

Associate Professor

Balaji

Dr Balaji Ramamurthy

Associate Professor

Co-Authors (1)

Sivaramakrishnan

Dr Sivaramakrishnan K C

Indian Institute of Technology Madras

Scholarly Work

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Scholarly Publications

A Mechanically Verified Garbage Collector for OCaml

Open Access
Article
Journal of Automated Reasoning. Year: 2025. Volume: 69 , Issue: 2 .
Authors: Shamsu S.;Kafle D.;Maroo D.;Nagar K.;Bhargavan K.;Sivaramakrishnan K.C.
DOI 10.1007/s10817-025-09721-0

Automatically Verifying Replication-Aware Linearizability

Open Access
Article
Proceedings of the ACM on Programming Languages. Year: 2025. Volume: 9 , Issue: OOPSLA1 .
Authors: Soundarapandian V.;Nagar K.;Rastogi A.;Sivaramakrishnan K.C.
DOI 10.1145/3720452

Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models

Open Access
Article
Proceedings of the ACM on Programming Languages. Year: 2024. Volume: 8 , Issue: OOPSLA2 .
Authors: Nagar K.;Sahoo A.;Chowdhury R.R.;Jagannathan S.
DOI 10.1145/3689802
1

Automating Cutoff-based Verification of Distributed Protocols

Open Access
Conference Paper
Year: 2023. Pages: 75-85 .
Authors: Bhat S.G.;Nagar K.
DOI 10.34727/2023/isbn.978-3-85448-060-0_15
1

Certified mergeable replicated data types

Open Access
Conference Paper
Year: 2022. Pages: 332-347 .
Authors: Soundarapandian V.;Kamath A.;Nagar K.;Sivaramakrishnan K.C.
DOI 10.1145/3519939.3523735
3 7

Brief announcement: Automating and mechanising cutoff proofs for parameterized verification of distributed protocols

Open Access
Conference Paper
Year: 2021. Volume: 209 .
Authors: Bhat S.G.;Nagar K.
DOI 10.4230/LIPIcs.DISC.2021.48

Repairing serializability bugs in distributed database programs via automated schema refactoring

Open Access
Conference Paper
Year: 2021. Pages: 32-47 .
Authors: Rahmani K.;Nagar K.;Delaware B.;Jagannathan S.
DOI 10.1145/3453483.3454028
2 5

Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems

Open Access
Conference Paper
Year: 2020. Volume: 12224 LNCS , Pages: 251-274 .
Authors: Nagar K.;Mukherjee P.;Jagannathan S.
DOI 10.1007/978-3-030-53288-8_13
3 4