kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Jessica Shi
4 papers
cited 13×
cites 68
Reply guy/gal
Joseph W. Cutler
cited you 2×
Mutuals
  1. Joseph W. Cutler2 ⇄ 2
  2. Alwyn Goodloe1 ⇄ 1
  3. Aviel Resnick1 ⇄ 1
  4. Cynthia Richey1 ⇄ 1
  5. Daniel Dickstein1 ⇄ 1
you ⇄ them
Parasocial crush
John Hughes
you: 12 · them: 0
Secret admirer
Michael Coblenz
them: 2 · you: 0
Main character
Etna: An Evaluation Platform for Property-Based Testing (Experience Report)
ICFP 2023 · cited 10×
Vintage
You cite like it's 2019
Deepest dig
Extracting F(omega)'s Programs from Proofs in the Calculus of Constructions
POPL 1989
Lamport number3
  1. you
  2. Benjamin C. Pierce
  3. Martín Abadi
  4. Leslie Lamport

Load-bearing co-author: Benjamin C. Pierce. Without them: 4.

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.