pldb wrapped

MHMichael Hanus

11 papers

cited 42×

cites 39

Reply guy/gal

BCPBenjamin C. Pierce

cited you 7×

Mutuals

1. MRMario Rodríguez-Artalejo3 ⇄ 2
2. CRColin Runciman1 ⇄ 1
3. DVDimitrios Vytiniotis1 ⇄ 2
4. EVEelco Visser1 ⇄ 1
5. FJLFrancisco Javier López-Fraguas1 ⇄ 2

you ⇄ them

Parasocial crush

DBDidier Bert

you: 5 · them: 0

Secret admirer

LLLeonidas Lampropoulos

them: 5 · you: 0

Main character

A Needed Narrowing Strategy

POPL 1994 · cited 28×

Ratio'd

Optimal Derivations in Weak Lambda-calculi and in Orthogonal Terms Rewriting…

POPL 1991 · cited 16× · by your 28×

Vintage

You cite like it's 1996

Deepest dig

Abstract Interpretation: A Unified Lattice Model for Static Analysis of…

POPL 1977

Lamport number5

1. MHyou
2. SASergio Antoy
3. APTAndrew P. Tolmach
4. JGMJ. Gregory Morrisett
5. FBSFred B. Schneider
6. LLLeslie Lamport

Load-bearing co-author: Sergio Antoy. Without them: 6.

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.