kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Hugo Paquet
4 papers
cited 23×
cites 49
Reply guy/gal
Alexander K. Lew
cited you 3×
Mutuals
  1. Alexander K. Lew6 ⇄ 3
  2. Vikash K. Mansinghka6 ⇄ 3
  3. Michele Pagani5 ⇄ 2
  4. Benjamin Sherman3 ⇄ 1
  5. Damiano Mazza2 ⇄ 1
you ⇄ them
Parasocial crush
Ohad Kammar
you: 8 · them: 0
Secret admirer
Claudia Faggian
them: 3 · you: 0
Main character
Densities of Almost Surely Terminating Probabilistic Programs are…
ESOP 2021 · cited 11×
Ratio'd
Fine-Grained Semantics for Probabilistic Programs
ESOP 2018 · cited 8× · by your 11×
Vintage
You cite like it's 2018
Deepest dig
QuickCheck: a lightweight tool for random testing of Haskell programs
ICFP 2000
Lamport number5
  1. you
  2. Dominik Wagner
  3. Serdar Tasiran
  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.