pldb wrapped

RNRumyana Neykova

6 papers

cited 81×

cites 43

Reply guy/gal

SJSung-Shik Jongmans

cited you 16×

Mutuals

1. ODOrnela Dardha4 ⇄ 3
2. BTBernardo Toninho2 ⇄ 6
3. DCDavid Castro-Perez2 ⇄ 5
4. PTPeter Thiemann2 ⇄ 4
5. PWPhilip Wadler2 ⇄ 2

you ⇄ them

Parasocial crush

KHKohei Honda

you: 5 · them: 0

Secret admirer

ELElaine Li

them: 10 · you: 0

Main character

A session type provider: compile-time API generation of distributed protocols…

CC 2018 · cited 23×

Ratio'd

SteelCore: an extensible concurrent separation logic for effectful dependently…

ICFP 2020 · cited 21× · by your 22×

Vintage

You cite like it's 2017

Deepest dig

Refinement Types for ML

PLDI 1991

Lamport number5

1. RNyou
2. NYNobuko Yoshida
3. DZDamien Zufferey
4. RARajeev Alur
5. RPKRobert P. Kurshan
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.