pldb wrapped

MVMarcus Völp

3 papers

cited 15×

cites 18

Reply guy/gal

JSJi-Yong Shin

cited you 3×

Mutuals

1. FIFabian Immler1 ⇄ 1
2. Ilya Sergey1 ⇄ 2
3. KLMKenneth L. McMillan1 ⇄ 1
4. MOMMagnus O. Myreen1 ⇄ 1
5. MLMarijana Lazic1 ⇄ 1

you ⇄ them

Parasocial crush

HVHelmut Veith

you: 3 · them: 0

Secret admirer

LQLongfei Qiu

them: 3 · you: 0

Main character

Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq

ESOP 2018 · cited 10×

Ratio'd

Actor Services - Modular Verification of Message Passing Programs

ESOP 2016 · cited 6× · by your 10×

Vintage

You cite like it's 2015

Deepest dig

The Byzantine Generals Problem

TOPLAS 1982

Lamport number5

1. MVyou
2. Swen Jacobs
3. BFBernd Finkbeiner
4. DAPDoron A. Peled
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.