pldb wrapped

JKJieung Kim

9 papers

cited 66×

cites 117

Reply guy/gal

RKRobbert Krebbers

cited you 7×

Mutuals

1. RKRobbert Krebbers7 ⇄ 7
2. Derek Dreyer16 ⇄ 5
3. JRWJames R. Wilcox14 ⇄ 4
4. LBLars Birkedal13 ⇄ 4
5. MSMichael Sammler4 ⇄ 5

you ⇄ them

Parasocial crush

DWDoug Woos

you: 11 · them: 0

Secret admirer

BPBryan Parno

them: 5 · you: 0

Main character

Certified concurrent abstraction layers

PLDI 2018 · cited 55×

Ratio'd

Local rely-guarantee reasoning

POPL 2009 · cited 52× · by your 55×

Vintage

You cite like it's 2015

Deepest dig

The Byzantine Generals Problem

TOPLAS 1982

Lamport number4

1. JKyou
2. TRTahina Ramananandro
3. CFCédric Fournet
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.