[e-lang] Invited talk: Tradeoffs in Retrofitting Security: An Experience Report

[Marc Stiegler]

> Object granularity, static verification, library import taming, new
> library wrappers
>     Joe-E, Emily, Backwater?

Backwater fits an even lighter-weight category than this. Backwater
needs no static verification to eliminate usage of non-obj features.
It only requires taming of the library. It is only static verification
in the sense of compiling only with the right libraries; there is
nothing like the joeE or Emily verifier that must analyze the program.

--marcs