Sarah Spall
where else to find them
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 12 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Forward build systems, formally | CPP 2022 | 2022-01-17 |
Defines forward-build correctness as: either reproduce the result of running the script sequentially or report a hazard. Models commands, filesystems… | ||
| Build Scripts with Perfect Dependencies | OOPSLA 2020 | 2020-11-15 |
Build system that requires no author-specified deps: Rattle records per-command dependencies via file-system tracing, speculates parallel execution from… | ||
| LXDs: Towards Isolation of Kernel Subsystems | USENIX ATC '19 | 2019-07-10 |
A framework called lightweight execution domains isolates legacy kernel subsystems by auto-generating glue from a new IDL and projections, running isolated… | ||
| nothing matches | ||