pldb wrapped

XDXavier Denis

3 papers

cited 40×

cites 49

Reply guy/gal

MSMichael Sammler

cited you 5×

Mutuals

1. RJRalf Jung10 ⇄ 4
2. RKRobbert Krebbers8 ⇄ 4
3. Derek Dreyer7 ⇄ 3
4. PMPeter Müller7 ⇄ 3
5. AJSAlexander J. Summers7 ⇄ 2

you ⇄ them

Parasocial crush

FPFrançois Pottier

you: 4 · them: 0

Secret admirer

AGArmaël Guéneau

them: 3 · you: 0

Main character

RustHornBelt: a semantic foundation for functional verification of Rust…

PLDI 2022 · cited 30×

Vintage

You cite like it's 2019

Deepest dig

Ownership Types for Flexible Alias Protection

OOPSLA 1998

Lamport number4

1. XDyou
2. Derek Dreyer
3. BCPBenjamin C. Pierce
4. MAMartín Abadi
5. LLLeslie Lamport

Load-bearing co-author: Derek Dreyer. 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.