kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Isil Dillig
@idillig.bsky.social
86 papers
cited 1,229×
cites 1,444
Reply guy/gal
cited you 40×
Mutuals
  1. Nadia Polikarpova33 ⇄ 40
  2. Martin C. Rinard34 ⇄ 31
  3. Thomas W. Reps29 ⇄ 22
  4. Arjun Radhakrishna22 ⇄ 21
  5. Mayur Naik37 ⇄ 19
you ⇄ them
Parasocial crush
you: 30 · them: 0
Secret admirer
them: 32 · you: 0
Ratio'd
PLDI 2005 · cited 98× · by your 143×
Vintage
You cite like it's 2012
Lamport number3
  1. you
  2. Kenneth L. McMillan
  3. Robert P. Kurshan
  4. Leslie Lamport

Load-bearing co-author: Kenneth L. McMillan. Without them: 4.

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.