pldb wrapped

TRTahina Ramananandro

19 papers

cited 282×

cites 250

Reply guy/gal

Derek Dreyer

cited you 19×

Mutuals

1. Derek Dreyer23 ⇄ 19
2. RKRobbert Krebbers13 ⇄ 16
3. AWAAndrew W. Appel10 ⇄ 12
4. CHCatalin Hritcu10 ⇄ 12
5. ACAdam Chlipala8 ⇄ 9

you ⇄ them

Parasocial crush

SFSimon Forest

you: 10 · them: 0

Secret admirer

YWYuting Wang

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

Abstract Interpretation: A Unified Lattice Model for Static Analysis of…

POPL 1977

Lamport number3

1. TRyou
2. CFCédric Fournet
3. MAMartín Abadi
4. LLLeslie Lamport

Load-bearing co-author: Cédric Fournet. Without them: 4.

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.