kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Stephen N. Freund
22 papers
cited 701×
cites 367
Reply guy/gal
Michael D. Bond
cited you 44×
Mutuals
  1. Shaz Qadeer22 ⇄ 14
  2. Scott D. Stoller20 ⇄ 11
  3. Liqiang Wang11 ⇄ 10
  4. Alex Aiken14 ⇄ 9
  5. Eran Yahav9 ⇄ 10
you ⇄ them
Parasocial crush
Jean-Pierre Talpin
you: 8 · them: 0
Secret admirer
Umang Mathur
them: 35 · you: 0
Main character
FastTrack: efficient and precise dynamic race detection
PLDI 2009 · cited 178×
Ratio'd
Making the Future Safe for the Past: Adding Genericity to the Java Programming…
OOPSLA 1998 · cited 119× · by your 120×
Vintage
You cite like it's 2002
Deepest dig
Abstract Interpretation: A Unified Lattice Model for Static Analysis of…
POPL 1977
Early adopter
cited 1 paper before they were published
e.g. Atomizer: a dynamic atomicity checker… (2004) → The Java memory model (POPL 2005)
Lamport number2
  1. you
  2. Martín Abadi
  3. Leslie Lamport

Load-bearing co-author: Martín Abadi. 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.