pldb wrapped

NANada Amin

20 papers

cited 246×

cites 332

Reply guy/gal

BCSBruno C. d. S. Oliveira

cited you 29×

Mutuals

1. BCSBruno C. d. S. Oliveira7 ⇄ 29
2. EVEelco Visser4 ⇄ 5
3. PWPhilip Wadler13 ⇄ 4
4. ACAdam Chlipala3 ⇄ 3
5. GKGabriele Keller3 ⇄ 3

you ⇄ them

Parasocial crush

EEErik Ernst

you: 15 · them: 0

Secret admirer

OLOndrej Lhoták

them: 22 · you: 0

Main character

Type soundness for dependent object types (DOT)

OOPSLA 2016 · cited 45×

Ratio'd

Using Dependent Types to Express Modular Structure

POPL 1986 · cited 39× · by your 45×

Vintage

You cite like it's 2009

Deepest dig

Semantics-Directed Machine Architecture

POPL 1982

Lamport number4

1. NAyou
2. KOKunle Olukotun
3. JWJennifer Widom
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.