In particular, these techniques hold great promise for the development of "systems infrastructure software, e.g., application servers, middleware, virtual machines, compilers, operating systems, and other software that provides general services for higher-level applications.