pldb wrapped

KSKristian Støvring

3 papers

cited 47×

cites 26

Reply guy/gal

Derek Dreyer

cited you 10×

Mutuals

1. AWAAndrew W. Appel4 ⇄ 2
2. Derek Dreyer2 ⇄ 10
3. ANAleksandar Nanevski1 ⇄ 1
4. AAAmal Ahmed1 ⇄ 1
5. ARAndreas Rossberg2 ⇄ 1

you ⇄ them

Parasocial crush

MWMitchell Wand

you: 3 · them: 0

Secret admirer

ATAmin Timany

them: 8 · you: 0

Main character

Step-indexed kripke models over recursive worlds

POPL 2011 · cited 27×

Ratio'd

A relational modal logic for higher-order stateful ADTs

POPL 2010 · cited 25× · by your 27×

Vintage

You cite like it's 2005

Deepest dig

An Ideal Model for Recursive Polymorphic Types

POPL 1984

Lamport number4

1. KSyou
2. LBLars Birkedal
3. JGMJ. Gregory Morrisett
4. FBSFred B. Schneider
5. LLLeslie 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.