Livshits, B. Sridharan, M. Smaragdakis, Y. Lhoták, O. Amaral, J.N. Chang, B.-Y.E. Guyer, S.Z. Khedker, U.P. Møler, A. Vardoulakis, D., In defense of soundiness: A manifesto, COMMUNICATIONS OF THE ACM, (58), 44-46, 2015, ASSOCIATION FOR COMPUTING MACHINERY, 0001-0782