pldb wrapped

BJBart Jacobs

24 papers

cited 291×

cites 183

Reply guy/gal

PMPeter Müller

cited you 44×

Mutuals

1. PMPeter Müller15 ⇄ 44
2. LBLars Birkedal11 ⇄ 14
3. RKRobbert Krebbers9 ⇄ 16
4. ANAleksandar Nanevski7 ⇄ 9
5. Derek Dreyer8 ⇄ 7

you ⇄ them

Parasocial crush

CCCristiano Calcagno

you: 9 · them: 0

Secret admirer

MEMarco Eilers

them: 13 · you: 0

Main character

The future is ours: prophecy variables in separation logic

POPL 2020 · cited 51×

Ratio'd

Modular verification of linearizability with non-fixed linearization points

PLDI 2013 · cited 50× · by your 51×

Vintage

You cite like it's 2009

Deepest dig

Ten Years of Hoare's Logic: A Survey - Part 1

TOPLAS 1981

Lamport number4

1. BJyou
2. LBLars Birkedal
3. JGMJ. Gregory Morrisett
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.