In Defense of Soundiness: A Manifesto

Benjamin Livshits
Manu Sridharan
Yannis Smaragdakis
Ondrej Lhotak
J. Nelson Amaral
Bor-Yuh Evan Chang
Samuel Z. Guyer
Uday P. Khedker
Anders Møller
Dimitrios Vardoulakis
Communications of the ACM, 58(2015), pp. 44-46

Abstract

Research Areas