kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Cyril Cohen
8 papers
cited 30×
cites 50
Reply guy/gal
Nicolas Tabareau
cited you 4×
Mutuals
  1. Nicolas Tabareau5 ⇄ 4
  2. Talia Ringer3 ⇄ 3
  3. Andrea Vezzosi2 ⇄ 2
  4. Andreas Abel2 ⇄ 2
  5. Matthieu Sozeau5 ⇄ 2
you ⇄ them
Parasocial crush
Jean-Philippe Bernardy
you: 4 · them: 0
Secret admirer
Pierre-Évariste Dagand
them: 2 · you: 0
Main character
Refinements for Free!
CPP 2013 · cited 23×
Ratio'd
Setoids in type theory
JFP 2003 · cited 12× · by your 23×
Vintage
You cite like it's 2019
Deepest dig
Representation Independence and Data Abstraction
POPL 1986
Lamport number4
  1. you
  2. Maxime Dénès
  3. Benjamin C. Pierce
  4. Martín Abadi
  5. Leslie Lamport

Load-bearing co-author: Maxime Dénès. 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.