In Defense of Soundiness: A Manifesto Ben Livshits, Manu Sridharan, Yannis Smaragdakis, Ondřej Lhoták, J. Nelson Amaral, Bor-Yuh Evan Chang, Sam Guyer, Uday Khedker, Anders Møller, and Dimitrios Vardoulakis Microsoft

First Page		Document Content
Date: 2016-12-03 13:36:54		In Defense of Soundiness: A Manifesto Ben Livshits, Manu Sridharan, Yannis Smaragdakis, Ondřej Lhoták, J. Nelson Amaral, Bor-Yuh Evan Chang, Sam Guyer, Uday Khedker, Anders Møller, and Dimitrios Vardoulakis Microsoft Add to Reading List Source URL: yanniss.github.io Download Document from Source Website File Size: 566,17 KB Share Document on Facebook