Stefan Hajnoczi

dblp:136/6169 · DBLP profile ↗
← Back
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
YearPublicationVenuePosition
2023 No Grammar, No Problem: Towards Fuzzing the Linux Kernel without System-Call Descriptions
Alexander Bulekov, Bandan Das, Stefan Hajnoczi, Manuel Egele
NDSS3
2022 Morphuzz: Bending (Input) Space to Fuzz Virtual Devices
Alexander Bulekov, Bandan Das, Stefan Hajnoczi, Manuel Egele
USENIX Security Symposium3
2014 QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines
abstract
Coroutines 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
PEPM3