kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Koen Jacobs
3 papers
cited 15×
cites 58
Reply guy/gal
Lars Birkedal
cited you 3×
Mutuals
  1. Lars Birkedal7 ⇄ 3
  2. Éric Tanter4 ⇄ 3
  3. Léo Stefanesco2 ⇄ 2
  4. Amal Ahmed12 ⇄ 1
  5. Christos Dimoulas3 ⇄ 1
you ⇄ them
Parasocial crush
Jeremy G. Siek
you: 7 · them: 0
Secret admirer
Abel Nieto
them: 2 · you: 0
Main character
Fully abstract from static to gradual
POPL 2021 · cited 9×
Ratio'd
Gradual session types
JFP 2019 · cited 5× · by your 9×
Vintage
You cite like it's 2018
Deepest dig
Lazy Functional State Threads
PLDI 1994
Lamport number5
  1. you
  2. Amin Timany
  3. Lars Birkedal
  4. J. Gregory Morrisett
  5. Fred B. Schneider
  6. 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.