pldb wrapped

Jonathan Protzenko

@protz.bsky.social

16 papers

cited 181×

cites 230

Reply guy/gal

ERExequiel Rivas

cited you 11×

Mutuals

1. PMPeter Müller8 ⇄ 7
2. Derek Dreyer23 ⇄ 6
3. RKRobbert Krebbers13 ⇄ 6
4. ACAdam Chlipala5 ⇄ 6
5. BPBryan Parno7 ⇄ 5

you ⇄ them

Parasocial crush

SFSimon Forest

you: 9 · them: 0

Secret admirer

CACezar-Constantin Andrici

them: 9 · you: 0

Main character

Verified low-level programming embedded in F

ICFP 2017 · cited 37×

Ratio'd

Formal verification of SSA-based optimizations for LLVM

PLDI 2013 · cited 36× · by your 37×

Vintage

You cite like it's 2012

Deepest dig

Abstract Interpretation: A Unified Lattice Model for Static Analysis of…

POPL 1977

Lamport number3

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