pldb wrapped

MFMax Fan

1 papers

cited 1×

cites 15

Reply guy/gal

AMAssia Mahboubi

cited you 1×

Mutuals

1. AMAssia Mahboubi1 ⇄ 1
2. CCCyril Cohen2 ⇄ 1
3. ECEnzo Crance1 ⇄ 1

you ⇄ them

Parasocial crush

AMAnders Mörtberg

you: 3 · them: 0

Main character

Proof Repair across Quotient Type Equivalences

OOPSLA 2025 · cited 1×

Vintage

You cite like it's 2018

Deepest dig

Setoids in type theory

JFP 2003

Lamport number5

1. MFyou
2. Talia Ringer
3. STSerdar Tasiran
4. RARajeev Alur
5. RPKRobert P. Kurshan
6. LLLeslie Lamport

Load-bearing co-author: Talia Ringer. Without them: ∞.

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.