pldb wrapped

MLRMarian Lingsch Rosenfeld

6 papers

cited 17×

cites 158

Reply guy/gal

JSJan Strejcek

cited you 3×

Mutuals

1. JSJan Strejcek4 ⇄ 3
2. AMAntoine Miné2 ⇄ 2
3. PRPhilipp Rümmer4 ⇄ 2
4. AOAbdelraouf Ouadjaout1 ⇄ 2
5. HSHelmut Seidl4 ⇄ 1

you ⇄ them

Parasocial crush

MHMatthias Heizmann

you: 18 · them: 0

Main character

CPAchecker 2.3 with Strategy Selection - (Competition Contribution)

TACAS 2024 · cited 17×

Vintage

You cite like it's 2018

Deepest dig

The Program Dependence Graph and Its Use in Optimization

TOPLAS 1987

Lamport number5

1. MLRyou
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.