pldb wrapped

CMChristoph Matheja

21 papers

cited 221×

cites 295

Reply guy/gal

KCKrishnendu Chatterjee

cited you 19×

Mutuals

1. KCKrishnendu Chatterjee23 ⇄ 19
2. HFHongfei Fu13 ⇄ 14
3. GBGilles Barthe11 ⇄ 11
4. JHJan Hoffmann12 ⇄ 8
5. JHJustin Hsu13 ⇄ 8

you ⇄ them

Parasocial crush

PWOPeter W. O'Hearn

you: 12 · them: 0

Secret admirer

PGHPhilipp G. Haselwarter

them: 13 · you: 0

Main character

Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs

ESOP 2016 · cited 63×

Ratio'd

Probabilistic Termination: Soundness, Completeness, and Compositionality

POPL 2015 · cited 54× · by your 63×

Vintage

You cite like it's 2015

Deepest dig

Termination of Probabilistic Concurrent Programs

POPL 1982

Lamport number4

1. CMyou
2. JKJoost-Pieter Katoen
3. DAPDoron A. Peled
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.