kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Dmitriy Traytel
17 papers
cited 31×
cites 121
Reply guy/gal
Andreas Abel
cited you 4×
Mutuals
  1. Andreas Abel5 ⇄ 4
  2. Adam Chlipala1 ⇄ 1
  3. Andreas Lochbihler3 ⇄ 1
  4. Anton Setzer3 ⇄ 1
  5. Brigitte Pientka8 ⇄ 1
you ⇄ them
Parasocial crush
Nils Klarlund
you: 6 · them: 0
Secret admirer
Jad Hamza
them: 2 · you: 0
Main character
Foundational extensible corecursion: a proof assistant perspective
ICFP 2015 · cited 8×
Ratio'd
Language Constructs for Non-Well-Founded Computation
ESOP 2013 · cited 5× · by your 8×
Vintage
You cite like it's 2011
Deepest dig
Coercion and Type Inference
POPL 1984
Lamport number4
  1. you
  2. Andrei Popescu
  3. Elsa L. Gunter
  4. Robert P. Kurshan
  5. Leslie Lamport

Load-bearing co-author: Andrei Popescu. 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.