kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Yiyun Liu
5 papers
cited 17×
cites 93
Reply guy/gal
George Zakhour
cited you 2×
Mutuals
  1. Aseem Rastogi1 ⇄ 1
  2. Brigitte Pientka3 ⇄ 1
  3. Bruno C. d. S. Oliveira1 ⇄ 1
  4. Farzin Houshmand1 ⇄ 1
  5. Frank Pfenning1 ⇄ 1
you ⇄ them
Parasocial crush
Richard A. Eisenberg
you: 11 · them: 0
Secret admirer
Guido Salvaneschi
them: 2 · you: 0
Main character
Verifying replicated data types with typeclass refinements in Liquid Haskell
OOPSLA 2020 · cited 13×
Ratio'd
A role for dependent types in Haskell
ICFP 2019 · cited 9× · by your 13×
Vintage
You cite like it's 2016
Deepest dig
Extracting F(omega)'s Programs from Proofs in the Calculus of Constructions
POPL 1989
Lamport number4
  1. you
  2. Stephanie Weirich
  3. J. Gregory Morrisett
  4. Fred B. Schneider
  5. 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.