kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Alice X. Zheng
2 papers
cited 200×
cites 10
Reply guy/gal
Alessandro Orso
cited you 9×
Mutuals
  1. Michael D. Ernst2 ⇄ 3
  2. Alessandro Orso1 ⇄ 9
  3. Andy Podgurski1 ⇄ 1
  4. Barbara G. Ryder1 ⇄ 2
  5. George C. Necula1 ⇄ 2
you ⇄ them
Parasocial crush
David Notkin
you: 2 · them: 0
Secret admirer
David Lo
them: 9 · you: 0
Main character
Scalable statistical bug isolation
PLDI 2005 · cited 120×
Ratio'd
Dynamically Discovering Likely Program Invariants to Support Program Evolution
ICSE 1999 · cited 106× · by your 120×
Vintage
You cite like it's 2002
Deepest dig
Dynamically Discovering Likely Program Invariants to Support Program Evolution
ICSE 1999
Lamport number4
  1. you
  2. Mayur Naik
  3. Rajeev Alur
  4. Robert P. Kurshan
  5. Leslie Lamport
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.