Kartik Nagar

Orcid: 0000-0002-0679-226X

According to our database1, Kartik Nagar authored at least 15 papers between 2012 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Automating Cutoff-based Verification of Distributed Protocols.
Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022
Automating and Mechanizing Cutoff-based Verification of Distributed Protocols.
CoRR, 2022

Certified mergeable replicated data types.
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021
Brief Announcement: Automating and Mechanising Cutoff Proofs for Parameterized Verification of Distributed Protocols.
Proceedings of the 35th International Symposium on Distributed Computing, 2021

Repairing serializability bugs in distributed database programs via automated schema refactoring.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019
CLOTHO: directed test generation for weakly consistent database systems.
Proc. ACM Program. Lang., 2019

Automated Parameterized Verification of CRDTs.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Alone together: compositional reasoning and inference for weak isolation.
Proc. ACM Program. Lang., 2018

Automated Detection of Serializability Violations Under Weak Consistency.
Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017
Refining Cache Behavior Prediction Using Cache Miss Paths.
ACM Trans. Embed. Comput. Syst., 2017

2016
Fast and Precise Worst-Case Interference Placement for Shared Cache Analysis.
ACM Trans. Embed. Comput. Syst., 2016

2015
Path Sensitive Cache Analysis Using Cache Miss Paths.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

2014
Precise shared cache analysis using optimal interference placement.
Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

2012
Interdependent cache analyses for better precision and safety.
Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2012


  Loading...