pldb wrapped

DPDavid Pichardie

24 papers

cited 191×

cites 278

Reply guy/gal

MOMMagnus O. Myreen

cited you 10×

Mutuals

1. MOMMagnus O. Myreen13 ⇄ 10
2. SOScott Owens10 ⇄ 9
3. RKRamana Kumar9 ⇄ 6
4. YKTYong Kiam Tan6 ⇄ 6
5. ACAdam Chlipala6 ⇄ 5

you ⇄ them

Parasocial crush

RCRadhia Cousot

you: 11 · them: 0

Secret admirer

Matthieu Lemerre

them: 6 · you: 0

Main character

A Formally-Verified C Static Analyzer

POPL 2015 · cited 42×

Ratio'd

Verification of a Cryptographic Primitive: SHA-256

TOPLAS 2015 · cited 24× · by your 26×

Vintage

You cite like it's 2009

Deepest dig

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

POPL 1977

Lamport number3

1. DPyou
2. BCPBenjamin C. Pierce
3. MAMartín Abadi
4. LLLeslie Lamport

Load-bearing co-author: Benjamin C. Pierce. 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.