pldb wrapped

SJRSteven J. Ramsay

10 papers

cited 63×

cites 143

Reply guy/gal

NKNaoki Kobayashi

cited you 25×

Mutuals

1. NKNaoki Kobayashi14 ⇄ 25
2. HUHiroshi Unno10 ⇄ 5
3. SJSuresh Jagannathan4 ⇄ 3
4. TTTachio Terauchi7 ⇄ 3
5. TTTakeshi Tsukada3 ⇄ 13

you ⇄ them

Parasocial crush

NVNiki Vazou

you: 10 · them: 0

Secret admirer

FBFlorian Bruse

them: 4 · you: 0

Main character

Verifying higher-order functional programs with pattern-matching algebraic data…

POPL 2011 · cited 22×

Ratio'd

Resource usage analysis

TOPLAS 2005 · cited 21× · by your 22×

Vintage

You cite like it's 2012

Deepest dig

On Proving Inductive Properties of Abstract Data Types

POPL 1980

Lamport number4

1. SJRyou
2. MWMeng Wang
3. BCPBenjamin C. Pierce
4. MAMartín Abadi
5. LLLeslie Lamport

Load-bearing co-author: Meng Wang. 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.