pldb wrapped

LBLevente Bajczi

10 papers

cited 19×

cites 85

Reply guy/gal

DBDirk Beyer

cited you 15×

Mutuals

1. DBDirk Beyer12 ⇄ 15
2. JSJan Strejcek3 ⇄ 8
3. JSJindrich Sedlácek1 ⇄ 1
4. MJMartin Jonás1 ⇄ 1
5. SSSimmo Saan1 ⇄ 1

you ⇄ them

Parasocial crush

ACAlessandro Cimatti

you: 9 · them: 0

Main character

Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection…

TACAS 2022 · cited 7×

Vintage

You cite like it's 2021

Deepest dig

The Program Dependence Graph and Its Use in Optimization

TOPLAS 1987

Lamport number5

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