kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Marcelo F. Frias
20 papers
cited 42×
cites 170
Reply guy/gal
Sarfraz Khurshid
cited you 6×
Mutuals
  1. Sarfraz Khurshid20 ⇄ 6
  2. Milos Gligoric5 ⇄ 5
  3. Allison Sullivan5 ⇄ 4
  4. Kaiyuan Wang5 ⇄ 3
  5. Hamid Bagheri3 ⇄ 2
you ⇄ them
Parasocial crush
Darko Marinov
you: 17 · them: 0
Secret admirer
Ahmet Çelik
them: 2 · you: 0
Main character
DynAlloy: upgrading alloy with actions
ICSE 2005 · cited 10×
Ratio'd
Contract driven development = test driven development - writing test cases
FSE 2007 · cited 9× · by your 10×
Vintage
You cite like it's 2013
Deepest dig
Dynamic Program Slicing
PLDI 1990
Lamport number4
  1. you
  2. Sarfraz Khurshid
  3. Kenneth L. McMillan
  4. Robert P. Kurshan
  5. Leslie Lamport

Load-bearing co-author: Sarfraz Khurshid. 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.