pldb wrapped

MHMatthew Hennessy

12 papers

cited 39×

cites 41

Reply guy/gal

DSDavide Sangiorgi

cited you 5×

Mutuals

1. DSDavide Sangiorgi5 ⇄ 5
2. NYNobuko Yoshida3 ⇄ 5
3. ESEijiro Sumii2 ⇄ 2
4. FLFrancesca Levi2 ⇄ 5
5. KHKohei Honda2 ⇄ 3

you ⇄ them

Parasocial crush

ADGAndrew D. Gordon

you: 6 · them: 0

Secret admirer

GCGiuseppe Castagna

them: 4 · you: 0

Main character

Bisimulation congruences in safe ambients

POPL 2002 · cited 11×

Ratio'd

Extensionality and Intensionality of the Ambient Logics

POPL 2001 · cited 5× · by your 11×

Vintage

You cite like it's 2000

Deepest dig

An Axiomatic Approach to Information Flow in Programs

TOPLAS 1980

Lamport number4

1. MHyou
2. AJAlan Jeffrey
3. ADGAndrew D. Gordon
4. MAMartín Abadi
5. LLLeslie Lamport

Load-bearing co-author: Alan Jeffrey. Without them: 5.

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.