kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Benjamin Goldberg
9 papers
cited 96×
cites 32
Reply guy/gal
Xavier Leroy
cited you 5×
Mutuals
  1. Jean-Baptiste Tristan2 ⇄ 4
  2. Xavier Leroy2 ⇄ 5
  3. Alain Deutsch1 ⇄ 1
  4. Cesare Tinelli1 ⇄ 1
  5. Chris Hankin3 ⇄ 1
you ⇄ them
Parasocial crush
Paul Hudak
you: 5 · them: 0
Secret admirer
Bruno Blanchet
them: 3 · you: 0
Main character
Escape Analysis on Lists
PLDI 1992 · cited 35×
Ratio'd
Higher-Order Strictness Analysis in Untyped Lambda Calculus
POPL 1986 · cited 26× · by your 35×
Vintage
You cite like it's 1990
Deepest dig
Binding Time Optimization in Programming Languages: Some Thoughts Toward the…
POPL 1976
Lamport number4
  1. you
  2. Clark W. Barrett
  3. Kedar S. Namjoshi
  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.