pldb wrapped

THThomas Haas

7 papers

cited 23×

cites 170

Reply guy/gal

DBDirk Beyer

cited you 11×

Mutuals

1. DBDirk Beyer10 ⇄ 11
2. JSJan Strejcek1 ⇄ 5
3. MWMaximilian Weininger2 ⇄ 1
4. MKMichalis Kokologiannakis9 ⇄ 1
5. PLPatrick Lam2 ⇄ 1

you ⇄ them

Parasocial crush

JAJade Alglave

you: 19 · them: 0

Secret admirer

APAndreas Pavlogiannis

them: 2 · you: 0

Main character

Dartagnan: SMT-based Violation Witness Validation (Competition Contribution)

TACAS 2022 · cited 10×

Vintage

You cite like it's 2016

Deepest dig

Efficient and Correct Execution of Parallel Programs that Share Memory

TOPLAS 1988

Lamport number5

1. THyou
2. IHIchiro Hasuo
3. Swarat Chaudhuri
4. RARajeev Alur
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.