pldb wrapped

AJSAlexander J. Summers

30 papers

cited 388×

cites 386

Reply guy/gal

MEMarco Eilers

cited you 21×

Mutuals

1. Derek Dreyer20 ⇄ 19
2. RKRobbert Krebbers11 ⇄ 14
3. PGPhilippa Gardner9 ⇄ 9
4. TWThomas Wies9 ⇄ 11
5. ABAnindya Banerjee7 ⇄ 9

you ⇄ them

Parasocial crush

JBJohn Boyland

you: 20 · them: 0

Secret admirer

MHMarieke Huisman

them: 14 · you: 0

Main character

Viper: A Verification Infrastructure for Permission-Based Reasoning

VMCAI 2016 · cited 142×

Ratio'd

Why3 - Where Programs Meet Provers

ESOP 2013 · cited 117× · by your 142×

Vintage

You cite like it's 2011

Deepest dig

Automatic Discovery of Linear Restraints Among Variables of a Program

POPL 1978

Early adopter

cited 1 paper before they were published

e.g. Freedom before commitment: a… (2011) → Object Initialization in X10 (ECOOP 2012)

Lamport number4

1. AJSyou
2. TWThomas Wies
3. KSNKedar S. Namjoshi
4. RPKRobert P. Kurshan
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.