pldb wrapped

GSGordon Stewart

6 papers

cited 82×

cites 63

Reply guy/gal

Derek Dreyer

cited you 12×

Mutuals

1. CHChung-Kil Hur7 ⇄ 7
2. Derek Dreyer6 ⇄ 12
3. AAAmal Ahmed4 ⇄ 5
4. VVViktor Vafeiadis4 ⇄ 5
5. ACAdam Chlipala5 ⇄ 3

you ⇄ them

Parasocial crush

BCPBenjamin C. Pierce

you: 3 · them: 0

Secret admirer

DGDeepak Garg

them: 9 · you: 0

Main character

Compositional CompCert

POPL 2015 · cited 51×

Ratio'd

Biorthogonality, step-indexing and compiler correctness

ICFP 2009 · cited 44× · by your 51×

Vintage

You cite like it's 2011

Deepest dig

gprof: a Call Graph Execution Profiler

PLDI 1982

Lamport number3

1. GSyou
2. ABAnindya Banerjee
3. MAMartín Abadi
4. LLLeslie Lamport

Load-bearing co-author: Anindya Banerjee. 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.