pldb wrapped

XWXiongnan (Newman) Wu

3 papers

cited 134×

cites 39

Reply guy/gal

Derek Dreyer

cited you 15×

Mutuals

1. LBLars Birkedal5 ⇄ 7
2. Derek Dreyer4 ⇄ 15
3. XFXinyu Feng8 ⇄ 4
4. ANAleksandar Nanevski6 ⇄ 2
5. AAAmal Ahmed2 ⇄ 4

you ⇄ them

Parasocial crush

ATAaron Turon

you: 3 · them: 0

Secret admirer

YWYuting Wang

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 2013

Deepest dig

Representation Independence and Data Abstraction

POPL 1986

Lamport number4

1. XWyou
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.