Larus, JamesHunt, Galen2013-12-232013-12-232013-12-23201010.1145/1787234.1787253https://infoscience.epfl.ch/handle/20.500.14299/98666Safe, modern programming languages let Microsoft rethink the architectural trade-offs in its experimental operating system.text::journal::journal article::research article