pldb wrapped

JAMJay A. McCarthy

6 papers

cited 46×

cites 80

Reply guy/gal

EVEelco Visser

cited you 4×

Mutuals

1. MFMatthias Felleisen15 ⇄ 4
2. DVDimitrios Vytiniotis2 ⇄ 2
3. JHJohn Hughes2 ⇄ 3
4. SOScott Owens2 ⇄ 2
5. VSVincent St-Amour2 ⇄ 3

you ⇄ them

Parasocial crush

ASAmr Sabry

you: 5 · them: 0

Secret admirer

LLLeonidas Lampropoulos

them: 4 · you: 0

Main character

Run your research: on the effectiveness of lightweight mechanization

POPL 2012 · cited 27×

Ratio'd

Modeling an Algebraic Stepper

ESOP 2001 · cited 24× · by your 27×

Vintage

You cite like it's 2009

Deepest dig

Top Down Operator Precedence

POPL 1973

Early adopter

cited 1 paper before they were published

e.g. A Semantics for Context-Sensitive… (2011) → The Call-by-Need Lambda Calculus, Revisited (ESOP 2012)

Lamport number4

1. JAMyou
2. MFMatthias Felleisen
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.