The Synthesis Kernel

Pu, Massalin, Ioanidis (1988)

What kind of paper is this?

The Story

Two big ideas

Synthesis Approaches

  1. Invariant Factoring
  2. Collapsing Layers
  3. Executable Data Structures

Technical Challenges and Solutions

Synthetic Machines

Synthetic Machine Interface



Feature Analysis

  1. Features that are common practice
  2. Features that are not used and should stay that way
  3. Features that are not used but should be reconsidered
  4. Features for which the jury is out