pldb wrapped

BCBasile Clément

3 papers

cited 17×

cites 43

Reply guy/gal

ALAnton Lorenzen

cited you 3×

Mutuals

1. ALAnton Lorenzen2 ⇄ 3
2. DLDaan Leijen3 ⇄ 2
3. RKRobbert Krebbers3 ⇄ 2
4. ACAdam Chlipala1 ⇄ 1
5. AGArmaël Guéneau1 ⇄ 1

you ⇄ them

Parasocial crush

Derek Dreyer

you: 5 · them: 0

Secret admirer

SCSimcha van Collem

them: 2 · you: 0

Main character

End-to-end translation validation for the halide language

OOPSLA 2022 · cited 7×

Vintage

You cite like it's 2014

Deepest dig

Fully Persistent Arrays for Efficient Incremental Updates and Voluminous Reads

ESOP 1992

Lamport number4

1. BCyou
2. GSGabriel Scherer
3. DRDidier Rémy
4. MAMartín Abadi
5. LLLeslie Lamport

Load-bearing co-author: Gabriel Scherer. 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.