pldb wrapped

JMJosé Meseguer

11 papers

cited 51×

cites 41

Reply guy/gal

AYAkinori Yonezawa

cited you 2×

Mutuals

1. AYAkinori Yonezawa2 ⇄ 2
2. APAndreas Podelski1 ⇄ 1
3. CVLCristina Videira Lopes1 ⇄ 1
4. JHJochen Hoenicke1 ⇄ 1
5. MSMooly Sagiv1 ⇄ 2

you ⇄ them

Parasocial crush

GAGul Agha

you: 4 · them: 0

Secret admirer

KTKenjiro Taura

them: 2 · you: 0

Main character

Principles of OBJ2

POPL 1985 · cited 28×

Ratio'd

Programming with Equations

TOPLAS 1982 · cited 10× · by your 28×

Vintage

You cite like it's 1998

Deepest dig

A Hierarchical Structuring Method for Functional Software Systems

ICSE 1982

Lamport number5

1. JMyou
2. AFAzadeh Farzan
3. BWBow-Yaw Wang
4. RARajeev Alur
5. RPKRobert P. Kurshan
6. 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.