pldb wrapped

MSMalte Schwerhoff

5 papers

cited 171×

cites 105

Reply guy/gal

TDThibault Dardinier

cited you 13×

Mutuals

1. TDThibault Dardinier6 ⇄ 13
2. TWThomas Wies5 ⇄ 6
3. GPGaurav Parthasarathy4 ⇄ 10
4. PGPhilippa Gardner5 ⇄ 4
5. SASacha-Élie Ayoun3 ⇄ 5

you ⇄ them

Parasocial crush

MJPMatthew J. Parkinson

you: 12 · them: 0

Secret admirer

Ilya Sergey

them: 12 · you: 0

Main character

Viper: A Verification Infrastructure for Permission-Based Reasoning

VMCAI 2016 · cited 142×

Ratio'd

Why3 - Where Programs Meet Provers

ESOP 2013 · cited 117× · by your 142×

Vintage

You cite like it's 2014

Deepest dig

Checking Interference with Fractional Permissions

SAS 2003

Lamport number5

1. MSyou
2. PMPeter Müller
3. PGPatrice Godefroid
4. RARajeev Alur
5. RPKRobert P. Kurshan
6. 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.