pldb wrapped

SOGSimon Oddershede Gregersen

12 papers

cited 79×

cites 324

Reply guy/gal

Alexandra Silva

cited you 7×

Mutuals

1. RKRobbert Krebbers50 ⇄ 7
2. LGLennard Gäher7 ⇄ 4
3. Ilya Sergey6 ⇄ 3
4. JTJoseph Tassarotti5 ⇄ 3
5. MGMarco Gaboardi14 ⇄ 3

you ⇄ them

Parasocial crush

JJJacques-Henri Jourdan

you: 36 · them: 0

Secret admirer

TSThomas Somers

them: 4 · you: 0

Main character

Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems

ESOP 2020 · cited 24×

Ratio'd

Mace: language support for building distributed systems

PLDI 2007 · cited 20× · by your 24×

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. SOGyou
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.