kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Francisco Ferreira
8 papers
cited 67×
cites 83
Reply guy/gal
Jules Jacobs
cited you 12×
Mutuals
  1. Robbert Krebbers4 ⇄ 12
  2. Stephanie Balzer3 ⇄ 5
  3. Emilio Tuosto3 ⇄ 2
  4. Jonas Kastberg Hinrichsen2 ⇄ 10
  5. Jules Jacobs2 ⇄ 12
you ⇄ them
Parasocial crush
Kohei Honda
you: 9 · them: 0
Secret admirer
Patrick Bahr
them: 4 · you: 0
Main character
Statically verified refinements for multiparty protocols
OOPSLA 2020 · cited 22×
Ratio'd
SteelCore: an extensible concurrent separation logic for effectful dependently…
ICFP 2020 · cited 21× · by your 22×
Vintage
You cite like it's 2015
Deepest dig
Lustre: A Declarative Language for Programming Synchronous Systems
POPL 1987
Lamport number5
  1. you
  2. Nobuko Yoshida
  3. Damien Zufferey
  4. Rajeev Alur
  5. Robert P. Kurshan
  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.