pldb wrapped

AGAlexis Ghyselen

3 papers

cited 12×

cites 46

Reply guy/gal

TSTaro Sekiyama

cited you 3×

Mutuals

1. HUHiroshi Unno2 ⇄ 2
2. NKNaoki Kobayashi6 ⇄ 2
3. TSTaro Sekiyama2 ⇄ 3
4. TTTakeshi Tsukada1 ⇄ 1

you ⇄ them

Parasocial crush

JHJan Hoffmann

you: 10 · them: 0

Main character

On Model-Checking Higher-Order Effectful Programs

POPL 2024 · cited 8×

Vintage

You cite like it's 2013

Deepest dig

Refinement Types for ML

PLDI 1991

Lamport number4

1. AGyou
2. UDLUgo Dal Lago
3. ADGAndrew D. Gordon
4. MAMartín Abadi
5. LLLeslie Lamport

Load-bearing co-author: Ugo Dal Lago. 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.