pldb wrapped

ZÁZsófia Ádám

8 papers

cited 24×

cites 84

Reply guy/gal

DBDirk Beyer

cited you 15×

Mutuals

1. DBDirk Beyer5 ⇄ 15
2. AVAndrás Vörös1 ⇄ 2
3. CTCesare Tinelli2 ⇄ 1
4. CTCsanád Telbisz1 ⇄ 1
5. DSDániel Szekeres2 ⇄ 1

you ⇄ them

Parasocial crush

MHMatthias Heizmann

you: 8 · them: 0

Main character

Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition…

TACAS 2021 · cited 8×

Vintage

You cite like it's 2016

Deepest dig

The Program Dependence Graph and Its Use in Optimization

TOPLAS 1987

Lamport number5

1. ZÁyou
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.