TY - JOUR
TI - In defense of soundiness: A manifesto
AU - Livshits, B.
AU - Sridharan, M.
AU - Smaragdakis, Y.
AU - Lhoták, O.
AU - Amaral, J.N.
AU - Chang, B.-Y.E.
AU - Guyer, S.Z.
AU - Khedker, U.P.
AU - Møler, A.
AU - Vardoulakis, D.
JO - COMMUNICATIONS OF THE ACM
PY - 2015
VL - 58
TODO - 2
SP - 44-46
PB - ASSOCIATION FOR COMPUTING MACHINERY
SN - 0001-0782
TODO - 10.1145/2644805
TODO - null
TODO - null
ER -