pldb wrapped

GMBGavin M. Bierman

20 papers

cited 452×

cites 234

Reply guy/gal

JGSJeremy G. Siek

cited you 28×

Mutuals

1. MFMatthias Felleisen19 ⇄ 24
2. PWPhilip Wadler18 ⇄ 19
3. AIAtsushi Igarashi8 ⇄ 16
4. RBFRobert Bruce Findler9 ⇄ 8
5. JGSJeremy G. Siek7 ⇄ 28

you ⇄ them

Parasocial crush

BCPBenjamin C. Pierce

you: 23 · them: 0

Secret admirer

BGBen Greenman

them: 25 · you: 0

Main character

Separation logic and abstraction

POPL 2005 · cited 94×

Ratio'd

Ownership, encapsulation and the disjointness of type and effect

OOPSLA 2002 · cited 75× · by your 94×

Vintage

You cite like it's 2003

Deepest dig

How to Design a System in Which Modules Can Be Changed on the Fly

ICSE 1976

Early adopter

cited 1 paper before they were published

e.g. Semantic subtyping with an SMT solver (2010) → Refinement types for secure implementations (TOPLAS 2011)

Lamport number2

1. GMByou
2. MAMartín Abadi
3. LLLeslie Lamport

Load-bearing co-author: Martín Abadi. 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.