In defense of soundiness: a manifesto
['Benjamin Livshits', 'Manu Sridharan', 'Yannis Smaragdakis', 'Ondřej Lhoták', 'J. Nelson Amaral', 'Bor-Yuh Evan Chang', 'Samuel Z. Guyer', 'Uday P. Khedker', 'Anders Møller', 'Dimitrios Vardoulakis']
In defense of soundiness: a manifesto