pldb wrapped

LGLorenzo Gheri

4 papers

cited 20×

cites 76

Reply guy/gal

JJJules Jacobs

cited you 6×

Mutuals

1. SJSung-Shik Jongmans4 ⇄ 3
2. RKRobbert Krebbers2 ⇄ 5
3. SBStephanie Balzer2 ⇄ 3
4. ACAdam Chlipala1 ⇄ 1
5. ASAlceste Scalas9 ⇄ 1

you ⇄ them

Parasocial crush

RHRaymond Hu

you: 15 · them: 0

Secret admirer

FSFelix Stutz

them: 4 · you: 0

Main character

Zooid: a DSL for certified multiparty computation: from mechanised metatheory…

PLDI 2021 · cited 11×

Ratio'd

EMTST: Engineering the Meta-theory of Session Types

TACAS 2020 · cited 9× · by your 11×

Vintage

You cite like it's 2017

Deepest dig

Self: The Power of Simplicity

OOPSLA 1987

Lamport number4

1. LGyou
2. APAndrei Popescu
3. ELGElsa L. Gunter
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Andrei Popescu. 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.