pldb wrapped

PBPatrick Baillot

6 papers

cited 9×

cites 57

Reply guy/gal

AMAlexandre Moine

cited you 1×

Mutuals

1. ABAloïs Brunel1 ⇄ 1
2. GBGilles Barthe2 ⇄ 1
3. JTJoseph Tassarotti1 ⇄ 1
4. MGMarco Gaboardi8 ⇄ 1
5. NKNaoki Kobayashi3 ⇄ 1

you ⇄ them

Parasocial crush

JHJan Hoffmann

you: 11 · them: 0

Main character

A PolyTime Functional Language from Light Linear Logic

ESOP 2010 · cited 4×

Vintage

You cite like it's 2013

Deepest dig

Proving the Correctness of Reactive Systems Using Sized Types

POPL 1996

Lamport number4

1. PByou
2. AAAArthur Azevedo de Amorim
3. BCPBenjamin C. Pierce
4. MAMartín Abadi
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.