pldb wrapped

BJBarbara Jobstmann

10 papers

cited 117×

cites 39

Reply guy/gal

RSRishabh Singh

cited you 7×

Mutuals

1. EYEran Yahav2 ⇄ 5
2. GYGreta Yorsh2 ⇄ 3
3. MTVMartin T. Vechev2 ⇄ 3
4. OKOrna Kupferman2 ⇄ 6
5. ACAlessandro Cimatti1 ⇄ 1

you ⇄ them

Parasocial crush

APAmir Pnueli

you: 7 · them: 0

Secret admirer

RSRoopsha Samanta

them: 5 · you: 0

Main character

Program Repair as a Game

CAV 2005 · cited 48×

Ratio'd

Efficient Büchi Automata from LTL Formulae

CAV 2000 · cited 43× · by your 48×

Vintage

You cite like it's 2004

Deepest dig

Checking That Finite State Concurrent Programs Satisfy Their Linear…

POPL 1985

Lamport number4

1. BJyou
2. TAHThomas A. Henzinger
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.