VLDB 2026 Research / reviewers in the wild / expert
Asmae Heydari Tabar
dblp:249/3372
· DBLP profile ↗
4ranked-venue papers
0as first author
2since 2021 · last 2025
0000-0002-9464-6341ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 4 · 2 since 2021Computer networks · 1 · 1 since 2021Theory of computation · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Scaling Information Flow Control By-Construction to Component-Based Software Architectures
Rasmus C. Rønneberg, Tabea Bordis, Christopher Gerking, Asmae Heydari Tabar, Ina Schaefer |
FORTE | 4 |
| 2021 | Automated model extraction: From non-deterministic C code to active objects
Nathan Wasser, Asmae Heydari Tabar, Reiner Hähnle |
Sci. Comput. Program. | 2 |
| 2020 | Safer Parallelization
Reiner Hähnle, Asmae Heydari Tabar, Arya Mazaheri, Mohammad Norouzi 0003, Dominic Steinhöfel, Felix Wolf 0001 |
ISoLA (2) | 2 |
| 2019 | A Program Logic for Dependence Analysis
Richard Bubel, Reiner Hähnle, Asmae Heydari Tabar |
IFM | 3 |