pldb wrapped

ZSZhong Shao

67 papers

cited 711×

cites 768

Reply guy/gal

Derek Dreyer

cited you 45×

Mutuals

1. Derek Dreyer36 ⇄ 45
2. LBLars Birkedal23 ⇄ 39
3. AWAAndrew W. Appel32 ⇄ 22
4. JGMJ. Gregory Morrisett59 ⇄ 20
5. CHChung-Kil Hur32 ⇄ 17

you ⇄ them

Parasocial crush

MHMartin Hofmann

you: 27 · them: 0

Secret admirer

DWDi Wang

them: 16 · you: 0

Main character

Deep Specifications and Certified Abstraction Layers

POPL 2015 · cited 71×

Ratio'd

Mostly-automated verification of low-level programs in computational separation…

PLDI 2011 · cited 66× · by your 71×

Vintage

You cite like it's 2004

Deepest dig

Programming Language Constructs for Which it is Impossible to Obtain "Good"…

POPL 1977

Lamport number4

1. ZSyou
2. TWRThomas W. Reps
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.