pldb wrapped

PCPaul Caspi

2 papers

cited 87×

cites 5

Reply guy/gal

PHPaul Hudak

cited you 7×

Mutuals

1. PHHPieter H. Hartel1 ⇄ 1
2. WGVWillem G. Vree1 ⇄ 1

you ⇄ them

Secret admirer

NRKNeelakantan R. Krishnaswami

them: 4 · you: 0

Main character

Lustre: A Declarative Language for Programming Synchronous Systems

POPL 1987 · cited 78×

Ratio'd

Automatic Verification of Finite State Concurrent Systems Using Temporal Logic…

POPL 1983 · cited 43× · by your 78×

Vintage

You cite like it's 1983

Deepest dig

Principal Type-Schemes for Functional Programs

POPL 1982

Lamport number5

1. PCyou
2. MPMarc Pouzet
3. PDPierre-Évariste Dagand
4. CFCédric Fournet
5. MAMartín Abadi
6. 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.