kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Enzo Crance
4 papers
cited 7×
cites 40
Reply guy/gal
Alain Chavarri Villarello
cited you 1×
Mutuals
  1. Cosmo Viola1 ⇄ 1
  2. Kenji Maillard1 ⇄ 1
  3. Matthieu Sozeau5 ⇄ 1
  4. Max Fan1 ⇄ 1
  5. Meven Lennon-Bertrand1 ⇄ 1
you ⇄ them
Parasocial crush
Anders Mörtberg
you: 8 · them: 0
Main character
Trocq: Proof Transfer for Free, With or Without Univalence
ESOP 2024 · cited 8×
Vintage
You cite like it's 2019
Deepest dig
Representation Independence and Data Abstraction
POPL 1986
Lamport number4
  1. you
  2. Chantal Keller
  3. Cédric Fournet
  4. Martín Abadi
  5. Leslie Lamport

Load-bearing co-author: Chantal Keller. 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.