Accès ouvert
2026
preprint
OpenAlex
Harrison Green, Claire Le Goues, Fraser Brown
The software status quo is to use one system to process many different kinds of inputs. In contrast, we propose hyperspecialization: creating new software that is optimized for a single class of inputs. Hyperspecializing manually is anywhere from expensive to impossible. We …
Accès ouvert
2026
preprint
OpenAlex
Harrison Green, Claire Le Goues, Fraser Brown
The software status quo is to use one system to process many different kinds of inputs. In contrast, we propose hyperspecialization: creating new software that is optimized for a single class of inputs. Hyperspecializing manually is anywhere from expensive to impossible. We …
us
(code pays fourni par la source)
2025
conference-paper
OpenAlex
M. Fleischer, Harrison Green, Ilya Grishchenko, Christopher Kruegel et autres
The operating system kernel manages system resources and makes them available to user-space programs through system calls (syscalls). Vulnerabilities in this syscall handling code could allow user-space programs to exploit the kernel, leading to information leaks or privilege escalation. Finding and patching …
us, ca
(code pays fourni par la source)