pldb wrapped

BMBenjamin Moon

1 papers

cited 18×

cites 19

Reply guy/gal

Stephanie Weirich

cited you 4×

Mutuals

1. AAAndreas Abel1 ⇄ 2
2. FPFrank Pfenning1 ⇄ 1
3. MGMarco Gaboardi3 ⇄ 1
4. PCPritam Choudhury1 ⇄ 2
5. RAERichard A. Eisenberg1 ⇄ 1

you ⇄ them

Parasocial crush

JDJana Dunfield

you: 2 · them: 0

Secret admirer

DMDanielle Marshall

them: 3 · you: 0

Main character

Graded Modal Dependent Type Theory

ESOP 2021 · cited 18×

Ratio'd

Integrating Linear and Dependent Types

POPL 2015 · cited 16× · by your 18×

Vintage

You cite like it's 2014

Deepest dig

A Core Calculus of Dependency

POPL 1999

Lamport number5

1. BMyou
2. HEIHarley Eades III
3. Stephanie Weirich
4. JGMJ. Gregory Morrisett
5. FBSFred B. Schneider
6. 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.