pldb wrapped

MSMichael Sammler

17 papers

cited 176×

cites 464

Reply guy/gal

Ilya Sergey

cited you 10×

Mutuals

1. CHChung-Kil Hur29 ⇄ 8
2. LBLars Birkedal77 ⇄ 8
3. ZSZhong Shao24 ⇄ 8
4. JTJoseph Tassarotti16 ⇄ 7
5. JKJérémie Koenig17 ⇄ 5

you ⇄ them

Parasocial crush

JJJacques-Henri Jourdan

you: 42 · them: 0

Secret admirer

TYTaeyoung Yoon

them: 9 · you: 0

Main character

RefinedC: automating the foundational verification of C code with refined…

PLDI 2021 · cited 53×

Ratio'd

The future is ours: prophecy variables in separation logic

POPL 2020 · cited 51× · by your 53×

Vintage

You cite like it's 2016

Deepest dig

Refinement Types for ML

PLDI 1991

Early adopter

cited 1 paper before they were published

e.g. RefinedRust: A Type System for… (2024) → A Hybrid Approach to Semi-automated Rust… (PLDI 2025)

Lamport number4

1. MSyou
2. KMKayvan Memarian
3. RARajeev Alur
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.