Unikernels: library operating systems for the cloud
CIL: Intermediate language and tools for analysis and transformation of C programs