VLDB 2026 Research / reviewers in the wild / expert
Stefan Hajnoczi
dblp:136/6169
· DBLP profile ↗
3ranked-venue papers
0as first author
2since 2021 · last 2023
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 2 · 2 since 2021Software engineering, systems software and programming languages · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | No Grammar, No Problem: Towards Fuzzing the Linux Kernel without System-Call Descriptions
Alexander Bulekov, Bandan Das, Stefan Hajnoczi, Manuel Egele |
NDSS | 3 |
| 2022 | Morphuzz: Bending (Input) Space to Fuzz Virtual Devices
Alexander Bulekov, Bandan Das, Stefan Hajnoczi, Manuel Egele |
USENIX Security Symposium | 3 |
| 2014 | QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutinesabstractCoroutines and events are two common abstractions for writing concurrent programs. Because coroutines are often more convenient, but events more portable and efficient, it is natural to want to translate the former into the latter. CPC is such a source-to-source translator for C programs, based on a partial conversion into continuation-passing style (CPS conversion) of functions annotated as cooperative. Gabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi |
PEPM | 3 |