pldb wrapped

LBLionel Blatter

5 papers

cited 5×

cites 48

Reply guy/gal

ACAdam Chlipala

cited you 1×

Mutuals

1. DGDeepak Garg2 ⇄ 1
2. RMRoland Meyer2 ⇄ 1
3. SHSebastian Hack1 ⇄ 1
4. SWSören van der Wall1 ⇄ 1

you ⇄ them

Parasocial crush

CDCraig Disselkoen

you: 6 · them: 0

Main character

Preservation of Speculative Constant-Time by Compilation

POPL 2025 · cited 6×

Vintage

You cite like it's 2018

Deepest dig

Simple relational correctness proofs for static analyses and program…

POPL 2004

Lamport number4

1. LByou
2. GBGilles Barthe
3. CFCédric Fournet
4. MAMartín Abadi
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.