The case for application-specific operating systems | Synapse