VLDB 2026 Research / reviewers in the wild / expert
Daryl Stewart
dblp:127/2577
· DBLP profile ↗
2ranked-venue papers
2as first author
1since 2021 · last 2021
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 2 first-author · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Preface of the special issue on the Conference on Formal Methods in Computer-Aided Design 2017
Daryl Stewart, Georg Weissenbacher |
Formal Methods Syst. Des. | 1 |
| 2012 | Formal for everyone - Challenges in achievable multicore design and verification
Daryl Stewart |
FMCAD | 1 |