pldb wrapped

AJKA. J. Kfoury

8 papers

cited 50×

cites 27

Reply guy/gal

FLFrancesca Levi

cited you 4×

Mutuals

1. TJTrevor Jim3 ⇄ 2
2. DSDavide Sangiorgi1 ⇄ 1
3. FLFrancesca Levi1 ⇄ 4
4. FHFritz Henglein2 ⇄ 1
5. JCMJohn C. Mitchell1 ⇄ 1

you ⇄ them

Parasocial crush

RMRobin Milner

you: 3 · them: 0

Secret admirer

ADAndrej Dudenhefner

them: 3 · you: 0

Main character

Type Reconstruction in the Presence of Polymorphic Recursion

TOPLAS 1993 · cited 17×

Ratio'd

Inference of Polymorphic and Conditional Strictness Properties

POPL 1998 · cited 5× · by your 16×

Vintage

You cite like it's 1997

Deepest dig

Even Simple Programs are Hard to Analyze

POPL 1975

Lamport number4

1. AJKyou
2. TATorben Amtoft
3. ABAnindya Banerjee
4. MAMartín Abadi
5. LLLeslie Lamport

Load-bearing co-author: Torben Amtoft. 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.