pldb wrapped

AAAArthur Azevedo de Amorim

10 papers

cited 53×

cites 116

Reply guy/gal

HGHarrison Goldstein

cited you 5×

Mutuals

1. GBGilles Barthe4 ⇄ 3
2. CAChike Abuah2 ⇄ 2
3. David Darais2 ⇄ 2
4. JPNJoseph P. Near2 ⇄ 2
5. LBLars Birkedal6 ⇄ 2

you ⇄ them

Parasocial crush

Koushik Sen

you: 10 · them: 0

Secret admirer

AKAlperen Keles

them: 4 · you: 0

Main character

A semantic account of metric preservation

POPL 2017 · cited 17×

Ratio'd

A Certified Lightweight Non-interference Java Bytecode Verifier

ESOP 2007 · cited 12× · by your 14×

Vintage

You cite like it's 2013

Deepest dig

An Ideal Model for Recursive Polymorphic Types

POPL 1984

Lamport number3

1. AAAyou
2. BCPBenjamin C. Pierce
3. MAMartín Abadi
4. LLLeslie Lamport

Load-bearing co-author: Benjamin C. Pierce. 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.