pldb wrapped

AJAAmal J. Ahmed

3 papers

cited 147×

cites 31

Reply guy/gal

AAAmal Ahmed

cited you 19×

Mutuals

1. AWAAndrew W. Appel3 ⇄ 4
2. AIAtsushi Igarashi1 ⇄ 1
3. BCPBenjamin C. Pierce1 ⇄ 3
4. DCWDaniel C. Wang1 ⇄ 2
5. ESEijiro Sumii1 ⇄ 2

you ⇄ them

Parasocial crush

DWDavid Walker

you: 6 · them: 0

Secret admirer

Derek Dreyer

them: 15 · you: 0

Main character

Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types

ESOP 2006 · cited 100×

Ratio'd

Equivalence in Functional Languages with Effects

JFP 1991 · cited 36× · by your 100×

Vintage

You cite like it's 2001

Deepest dig

Equivalence in Functional Languages with Effects

JFP 1991

Lamport number3

1. AJAyou
2. JGMJ. Gregory Morrisett
3. FBSFred B. Schneider
4. LLLeslie Lamport

Load-bearing co-author: J. Gregory Morrisett. Without them: 5.

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.