pldb wrapped

OFOliver Flatt

4 papers

cited 104×

cites 68

Reply guy/gal

CDChristophe Dubach

cited you 7×

Mutuals

1. AAAndrew Adams2 ⇄ 3
2. AGAndrés Goens2 ⇄ 4
3. ASArmando Solar-Lezama2 ⇄ 2
4. Michel Steuwer2 ⇄ 5
5. NSBNikolaj S. Bjørner3 ⇄ 2

you ⇄ them

Parasocial crush

JRWJames R. Wilcox

you: 8 · them: 0

Secret admirer

George Zakhour

them: 6 · you: 0

Main character

egg: Fast and extensible equality saturation

POPL 2021 · cited 73×

Ratio'd

Automatically improving accuracy for floating point expressions

PLDI 2015 · cited 64× · by your 73×

Vintage

You cite like it's 2016

Deepest dig

Automatic generation of peephole optimizations

PLDI 1984

Lamport number4

1. OFyou
2. RBFRobert Bruce Findler
3. CFCormac Flanagan
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.