pldb wrapped

MSMartin Spiessl

5 papers

cited 44×

cites 62

Reply guy/gal

JSJan Strejcek

cited you 10×

Mutuals

1. TLThomas Lemberger2 ⇄ 2
2. HWHeike Wehrheim4 ⇄ 1
3. HSHelmut Seidl1 ⇄ 1
4. JHJan Haltermann1 ⇄ 1
5. JEJulian Erhard1 ⇄ 1

you ⇄ them

Parasocial crush

MDMatthias Dangl

you: 10 · them: 0

Secret admirer

AOAbdelraouf Ouadjaout

them: 3 · you: 0

Main character

CPAchecker 2.3 with Strategy Selection - (Competition Contribution)

TACAS 2024 · cited 17×

Ratio'd

Interpretation-Based Violation Witness Validation for C: NITWIT

TACAS 2020 · cited 13× · by your 16×

Vintage

You cite like it's 2015

Deepest dig

Abstract Interpretation: A Unified Lattice Model for Static Analysis of…

POPL 1977

Lamport number5

1. MSyou
2. DBDirk Beyer
3. TAHThomas A. Henzinger
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.