Travelled to:1 × India
Collaborated with:S.Jagannathan Y.N.Srikant Kia Rahmani B.Delaware G.Kaki Mahsa Najafzadeh
Talks about:weak (2) path (2) cach (2) parameter (1) composit (1) generat (1) databas (1) consist (1) analysi (1) togeth (1)
Person: Kartik Nagar
DBLP: Nagar:Kartik
Contributed to:
2015
2019
2019
2018Wrote 4 papers:
- VMCAI-2015-NagarS #analysis #using
- Path Sensitive Cache Analysis Using Cache Miss Paths (KN, YNS), pp. 43–60.
- CAV-2019-NagarJ #automation #verification
- Automated Parameterized Verification of CRDTs (KN, SJ), pp. 459–477.
- OOPSLA-2019-RahmaniNDJ #consistency #database #generative #named #testing
- CLOTHO: directed test generation for weakly consistent database systems (KR, KN, BD, SJ), p. 28.
- POPL-2018-KakiNNJ #composition #reasoning
- Alone together: compositional reasoning and inference for weak isolation (GK, KN, MN, SJ), p. 34.