pldb wrapped

LPLucas Peña

7 papers

cited 36×

cites 171

Reply guy/gal

SSSharon Shoham

cited you 12×

Mutuals

1. OPOded Padon4 ⇄ 4
2. SSSharon Shoham4 ⇄ 12
3. DNDaniel Neider2 ⇄ 2
4. PGPranav Garg7 ⇄ 2
5. ABAnindya Banerjee7 ⇄ 1

you ⇄ them

Parasocial crush

ASAndrei Stefanescu

you: 13 · them: 0

Secret admirer

NENeta Elad

them: 8 · you: 0

Main character

Foundations for natural proofs and quantifier instantiation

POPL 2018 · cited 21×

Ratio'd

On Local Reasoning in Verification

TACAS 2008 · cited 17× · by your 21×

Vintage

You cite like it's 2013

Deepest dig

The Universality of Data Retrieval Languages

POPL 1979

Lamport number4

1. LPyou
2. PMP. Madhusudan
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.