pldb wrapped

PGHPhilipp G. Haselwarter

9 papers

cited 44×

cites 203

Reply guy/gal

Alexandra Silva

cited you 7×

Mutuals

1. RJRalf Jung23 ⇄ 6
2. MGMarco Gaboardi14 ⇄ 3
3. Alexandra Silva2 ⇄ 7
4. ADAnkush Das2 ⇄ 2
5. NZNoam Zilberstein2 ⇄ 7

you ⇄ them

Parasocial crush

Derek Dreyer

you: 30 · them: 0

Secret admirer

JHJohannes Hostert

them: 6 · you: 0

Main character

Asynchronous Probabilistic Couplings in Higher-Order Separation Logic

POPL 2024 · cited 17×

Vintage

You cite like it's 2018

Deepest dig

Termination of Probabilistic Concurrent Program

TOPLAS 1983

Early adopter

cited 1 paper before they were published

e.g. Modular Reasoning about Error Bounds… (2025) → Probabilistic Concurrent Reasoning in Outcome… (POPL 2026)

Lamport number4

1. PGHyou
2. LBLars Birkedal
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.