pldb wrapped

JKJérémie Koenig

8 papers

cited 151×

cites 104

Reply guy/gal

Derek Dreyer

cited you 20×

Mutuals

1. Derek Dreyer18 ⇄ 20
2. CHChung-Kil Hur20 ⇄ 11
3. YSYoungju Song8 ⇄ 11
4. AWAAndrew W. Appel10 ⇄ 7
5. LBLars Birkedal6 ⇄ 8

you ⇄ them

Parasocial crush

GSGordon Stewart

you: 7 · them: 0

Secret admirer

YCYixuan Chen

them: 8 · you: 0

Main character

Deep Specifications and Certified Abstraction Layers

POPL 2015 · cited 71×

Ratio'd

Mostly-automated verification of low-level programs in computational separation…

PLDI 2011 · cited 66× · by your 71×

Vintage

You cite like it's 2014

Deepest dig

Representation Independence and Data Abstraction

POPL 1986

Lamport number4

1. JKyou
2. TRTahina Ramananandro
3. CFCédric Fournet
4. MAMartín Abadi
5. LLLeslie Lamport

Load-bearing co-author: Tahina Ramananandro. 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.