pldb wrapped

OSOleg Sokolsky

14 papers

cited 32×

cites 46

Reply guy/gal

DBDirk Beyer

cited you 3×

Mutuals

1. CSPCorina S. Pasareanu2 ⇄ 2
2. CLCChristopher L. Conway1 ⇄ 1
3. KLMKenneth L. McMillan2 ⇄ 1
4. RCRance Cleaveland2 ⇄ 1
5. TSTerrance Swift1 ⇄ 1

you ⇄ them

Parasocial crush

EMCEdmund M. Clarke

you: 6 · them: 0

Secret admirer

AHAndreas Holzer

them: 2 · you: 0

Main character

Incremental Model Checking in the Modal Mu-Calculus

CAV 1994 · cited 17×

Ratio'd

Efficient Local Correctness Checking

CAV 1992 · cited 13× · by your 17×

Vintage

You cite like it's 1996

Deepest dig

Expressing Interesting Properties of Programs in Propositional Temporal Logic

POPL 1986

Lamport number4

1. OSyou
2. ILInsup Lee
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.