pldb wrapped

KFKathleen Fisher

30 papers

cited 258×

cites 237

Reply guy/gal

Isil Dillig

cited you 15×

Mutuals

1. SGSumit Gulwani13 ⇄ 15
2. Isil Dillig9 ⇄ 15
3. VKViktor Kuncak11 ⇄ 5
4. BCPBenjamin C. Pierce6 ⇄ 4
5. Nate Foster11 ⇄ 4

you ⇄ them

Parasocial crush

BFBryan Ford

you: 7 · them: 0

Secret admirer

YWYuepeng Wang

them: 12 · you: 0

Main character

PADS: a domain-specific language for processing ad hoc data

PLDI 2005 · cited 30×

Ratio'd

Effective interactive proofs for higher-order imperative programs

ICFP 2009 · cited 26× · by your 28×

Vintage

You cite like it's 2007

Deepest dig

Automatic Data Structure Selection in SETL

POPL 1979

Lamport number3

1. KFyou
2. BCPBenjamin C. Pierce
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.