pldb wrapped

SKStephen Kell

14 papers

cited 62×

cites 158

Reply guy/gal

Derek Dreyer

cited you 4×

Mutuals

1. NPLNuno P. Lopes4 ⇄ 3
2. RKRobbert Krebbers4 ⇄ 3
3. CHChung-Kil Hur6 ⇄ 2
4. DCDDaniele Cono D'Elia2 ⇄ 2
5. JLJuneyoung Lee4 ⇄ 2

you ⇄ them

Parasocial crush

JRJohn Regehr

you: 11 · them: 0

Secret admirer

ARAndrea Rosà

them: 3 · you: 0

Main character

Exploring C semantics and pointer provenance

POPL 2019 · cited 32×

Ratio'd

Into the depths of C: elaborating the de facto standards

PLDI 2016 · cited 31× · by your 32×

Vintage

You cite like it's 2007

Deepest dig

Types are Not Sets

POPL 1973

Lamport number4

1. SKyou
2. KMKayvan Memarian
3. RARajeev Alur
4. RPKRobert P. Kurshan
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.