pldb wrapped

MPMário Pereira

2 papers

cited 18×

cites 29

Reply guy/gal

RKRobbert Krebbers

cited you 5×

Mutuals

1. RKRobbert Krebbers4 ⇄ 5
2. LGLennard Gäher1 ⇄ 1
3. NYNobuko Yoshida2 ⇄ 1
4. YMYusuke Matsushita1 ⇄ 2

you ⇄ them

Parasocial crush

Derek Dreyer

you: 5 · them: 0

Secret admirer

JJJules Jacobs

them: 3 · you: 0

Main character

Verifying Reliable Network Components in a Distributed Separation Logic with…

ICFP 2023 · cited 10×

Vintage

You cite like it's 2017

Deepest dig

Subtypes for Specifications

FSE 1997

Lamport number4

1. MPyou
2. LBLars Birkedal
3. JGMJ. Gregory Morrisett
4. FBSFred B. Schneider
5. LLLeslie Lamport

Load-bearing co-author: Lars Birkedal. Without them: 5.

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.