pldb wrapped

VKVasileios Koutavas

5 papers

cited 39×

cites 45

Reply guy/gal

DSDavide Sangiorgi

cited you 7×

Mutuals

1. ESEijiro Sumii7 ⇄ 3
2. AAAmal Ahmed2 ⇄ 2
3. DSDavide Sangiorgi2 ⇄ 7
4. Derek Dreyer2 ⇄ 6
5. GJGuilhem Jaber2 ⇄ 2

you ⇄ them

Parasocial crush

BCPBenjamin C. Pierce

you: 4 · them: 0

Secret admirer

VVValeria Vignudelli

them: 4 · you: 0

Main character

Small bisimulations for reasoning about higher-order imperative programs

POPL 2006 · cited 35×

Ratio'd

The Semantics of Future and Its Use in Program Optimizations

POPL 1995 · cited 32× · by your 35×

Vintage

You cite like it's 2005

Deepest dig

Proving Liveness Properties of Concurrent Programs

TOPLAS 1982

Lamport number4

1. VKyou
2. MWMitchell Wand
3. JPJens Palsberg
4. MAMartín Abadi
5. LLLeslie Lamport

Load-bearing co-author: Mitchell Wand. 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.