pldb wrapped

BPBryan Parno

12 papers

cited 86×

cites 191

Reply guy/gal

Derek Dreyer

cited you 8×

Mutuals

1. Derek Dreyer25 ⇄ 8
2. CHCatalin Hritcu8 ⇄ 6
3. GMGuido Martínez6 ⇄ 7
4. Jonathan Protzenko5 ⇄ 7
5. PMPeter Müller10 ⇄ 5

you ⇄ them

Parasocial crush

ABAles Bizjak

you: 9 · them: 0

Secret admirer

CACezar-Constantin Andrici

them: 6 · you: 0

Main character

Verus: Verifying Rust Programs using Linear Ghost Types

OOPSLA 2023 · cited 41×

Ratio'd

Safety and Liveness of MCS Lock - Layer by Layer

APLAS 2017 · cited 8× · by your 15×

Vintage

You cite like it's 2016

Deepest dig

Automatic Derivation of Code Generators from Machine Descriptions

TOPLAS 1980

Lamport number3

1. BPyou
2. CFCédric Fournet
3. MAMartín Abadi
4. LLLeslie Lamport

Load-bearing co-author: Cédric Fournet. Without them: 4.

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.