pldb wrapped

RGRonghui Gu

13 papers

cited 203×

cites 142

Reply guy/gal

Derek Dreyer

cited you 16×

Mutuals

1. LBLars Birkedal7 ⇄ 8
2. Derek Dreyer6 ⇄ 16
3. MYMingsheng Ying5 ⇄ 5
4. JRWJames R. Wilcox4 ⇄ 10
5. PGPhilippa Gardner5 ⇄ 4

you ⇄ them

Parasocial crush

AAAlex Aiken

you: 7 · them: 0

Secret admirer

MSMichael Sammler

them: 14 · 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. RGyou
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.