Synthetix
OGI's Synthetix project of fine-grained incremental partial evaluation in OS kernels, using a combination of highly isolated system components, and dynamic code generation.This page is linked from: Synthesis
This page is linked from: Synthesis