pldb wrapped

ASAndrei Stefanescu

8 papers

cited 137×

cites 104

Reply guy/gal

PMP. Madhusudan

cited you 19×

Mutuals

1. PMP. Madhusudan5 ⇄ 19
2. PGPhilippa Gardner3 ⇄ 10
3. TWThomas Wies2 ⇄ 4
4. ASAlan Schmitt1 ⇄ 1
5. AJSAlexander J. Summers3 ⇄ 1

you ⇄ them

Parasocial crush

NSBNikolaj S. Bjørner

you: 7 · them: 0

Secret admirer

LPLucas Peña

them: 13 · you: 0

Main character

Natural proofs for structure, data, and separation

PLDI 2013 · cited 40×

Ratio'd

Implicit dynamic frames

TOPLAS 2012 · cited 32× · by your 40×

Vintage

You cite like it's 2011

Deepest dig

Verifying Reachability Invariants of Linked Structures

POPL 1983

Lamport number4

1. ASyou
2. SZSteve Zdancewic
3. JGMJ. Gregory Morrisett
4. FBSFred B. Schneider
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.