Conference
Armada: Low-Effort Verification of High-Performance Concurrent Programs
Ironclad apps: End-to-end security via automated full-system verification
Missive: Fast application launch from an untrusted buffer cache
CCSW chairs' welcome
Embassies: Radically refactoring the web
How to run POSIX apps in a minimal picoprocess