pldb wrapped

KHKeijo Heljanko

15 papers

cited 75×

cites 119

Reply guy/gal

DBDirk Beyer

cited you 12×

Mutuals

1. ACAlessandro Cimatti11 ⇄ 4
2. MRMarco Roveri4 ⇄ 4
3. VVViktor Vafeiadis4 ⇄ 5
4. BJBengt Jonsson4 ⇄ 2
5. KSKonstantinos Sagonas3 ⇄ 2

you ⇄ them

Parasocial crush

EMCEdmund M. Clarke

you: 12 · them: 0

Secret admirer

THThomas Haas

them: 12 · you: 0

Main character

BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings

CAV 2019 · cited 31×

Ratio'd

Stateless Model Checking for POWER

CAV 2016 · cited 30× · by your 31×

Vintage

You cite like it's 2010

Deepest dig

On the Temporal Analysis of Fairness

POPL 1980

Lamport number4

1. KHyou
2. MPMathias Preiner
3. PFPascal Fontaine
4. SMStephan Merz
5. LLLeslie Lamport

Load-bearing co-author: Mathias Preiner. 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.