pldb wrapped

EHCEric Hayden Campbell

7 papers

cited 17×

cites 84

Reply guy/gal

RGRoberto Guanciale

cited you 5×

Mutuals

1. RGRoberto Guanciale3 ⇄ 5
2. ASAlceste Scalas2 ⇄ 2
3. Alexandra Silva3 ⇄ 2
4. JKLJens Kanstrup Larsen2 ⇄ 2
5. Loris D'Antoni3 ⇄ 2

you ⇄ them

Parasocial crush

DWDavid Walker

you: 9 · them: 0

Secret admirer

KGKaruna Grewal

them: 2 · you: 0

Main character

Kleene algebra modulo theories: a framework for concrete KATs

PLDI 2022 · cited 7×

Vintage

You cite like it's 2014

Deepest dig

Simplification by Cooperating Decision Procedures

TOPLAS 1979

Lamport number4

1. EHCyou
2. Isil Dillig
3. KLMKenneth L. McMillan
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.