Filet-o-Fish: practical and dependable domain-specific languages for OS development.

Pierre-variste Dagand, Andrew Baumann, Timothy Roscoe

Browse the full SOSP paper archive.