Singularity

Context

• Motivation

Goal

Implementation

• Verification

• Contract based channels

  • Server → Exports API
  • Client → Imports API

• Manifest based programs

Takeaway

• The consequence of using this system is that we have to use the same language to implement everything in the entire system.