A declarative language approach to device configuration.

Adrian Schpbach, Andrew Baumann, Timothy Roscoe, Simon Peter

Browse the full ASPLOS paper archive.