pldb wrapped

MKMarion Klein

2 papers

cited 25×

cites 13

Reply guy/gal

VBVolker Braun

cited you 3×

Mutuals

1. APSA. Prasad Sistla1 ⇄ 1
2. EAEE. Allen Emerson1 ⇄ 1
3. EMCEdmund M. Clarke1 ⇄ 1
4. HRAHenrik Reif Andersen1 ⇄ 1

you ⇄ them

Parasocial crush

JVJürgen Vollmer

you: 2 · them: 0

Secret admirer

ACAndreas Claßen

them: 2 · you: 0

Main character

Faster Model Checking for the Modal Mu-Calculus

CAV 1992 · cited 14×

Ratio'd

Peep: an architectural description driven peephole optimizer

PLDI 1984 · cited 8× · by your 11×

Vintage

You cite like it's 1992

Deepest dig

Peep: an architectural description driven peephole optimizer

PLDI 1984

Lamport number5

1. MKyou
2. RCRance Cleaveland
3. AGAlex Groce
4. MYMihalis Yannakakis
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.