kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Prakash Saivasan
6 papers
cited 10×
cites 111
Reply guy/gal
Ori Lahav
cited you 4×
Mutuals
  1. Ori Lahav17 ⇄ 4
  2. Azalea Raad7 ⇄ 3
  3. Stephan Spengler2 ⇄ 2
  4. Artem Khyzha3 ⇄ 1
  5. John Wickerson3 ⇄ 1
you ⇄ them
Parasocial crush
Shaz Qadeer
you: 10 · them: 0
Secret admirer
Brijesh Dongol
them: 3 · you: 0
Main character
Deciding reachability under persistent x86-TSO
POPL 2021 · cited 8×
Ratio'd
Object-oriented recovery for non-volatile memory
OOPSLA 2018 · cited 5× · by your 8×
Vintage
You cite like it's 2016
Deepest dig
Symbolic Verification with Periodic Sets
CAV 1994
Lamport number4
  1. you
  2. Parosh Aziz Abdulla
  3. Doron A. Peled
  4. Robert P. Kurshan
  5. Leslie Lamport

Load-bearing co-author: Parosh Aziz Abdulla. Without them: 5.

pldb.kirancodes.me/fun · within PLDB

Counts are citations between papers in PLDB, one per pair of papers; self-citations excluded. Mutuals: you cite each other (you ⇄ them). Older papers have thinner citation data.

Pictures come from Bluesky accounts we could match to dblp names. Not showing yours, or showing the wrong one? Email me.