pldb wrapped

YGYu Guo

5 papers

cited 93×

cites 69

Reply guy/gal

Derek Dreyer

cited you 9×

Mutuals

1. AWAAndrew W. Appel2 ⇄ 4
2. CHChung-Kil Hur2 ⇄ 5
3. ACAdam Chlipala1 ⇄ 5
4. ANAleksandar Nanevski1 ⇄ 3
5. AVAlexander Vaynberg3 ⇄ 1

you ⇄ them

Parasocial crush

SNSatish Narayanasamy

you: 4 · them: 0

Secret admirer

MSMichael Sammler

them: 7 · 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 2011

Deepest dig

Representation Independence and Data Abstraction

POPL 1986

Lamport number4

1. YGyou
2. ZYZijiang Yang
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.