pldb wrapped

PMPeter Müller

70 papers

cited 712×

cites 996

Reply guy/gal

Ilya Sergey

cited you 25×

Mutuals

1. Derek Dreyer45 ⇄ 20
2. JNJames Noble25 ⇄ 19
3. RKRobbert Krebbers32 ⇄ 17
4. BJBart Jacobs44 ⇄ 15
5. DANDavid A. Naumann13 ⇄ 19

you ⇄ them

Parasocial crush

JBJohn Boyland

you: 27 · them: 0

Secret admirer

AMAdithya Murali

them: 11 · 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

Reduction: A New Method of Proving Properties of Systems of Processes

POPL 1975

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. PMyou
2. PGPatrice Godefroid
3. RARajeev Alur
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.