pldb wrapped

JTJean-Pierre Talpin

9 papers

cited 222×

cites 62

Reply guy/gal

CFCormac Flanagan

cited you 11×

Mutuals

1. ARAndreas Rossberg1 ⇄ 2
2. CHChris Hawblitzel1 ⇄ 1
3. DVHDavid Van Horn1 ⇄ 1
4. ETEmina Torlak3 ⇄ 1
5. FHFritz Henglein1 ⇄ 2

you ⇄ them

Parasocial crush

NHNicolas Halbwachs

you: 6 · them: 0

Secret admirer

KYKwangkeun Yi

them: 10 · you: 0

Main character

Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of…

POPL 1994 · cited 121×

Ratio'd

Detecting Conflicts Between Structure Accesses

PLDI 1988 · cited 63× · by your 69×

Vintage

You cite like it's 1998

Deepest dig

Advice on Structuring Compilers and Proving Them Correct

POPL 1973

Lamport number4

1. JTyou
2. PLPeter Lee
3. JGMJ. Gregory Morrisett
4. FBSFred B. Schneider
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.