[PDF][PDF] In defense of soundiness: A manifesto
Communications of the ACM, 2015•dl.acm.org
In defense of soundiness: a manifesto Page 1 44 COMMUNICATIONS OF THE ACM |
FEBRUARY 2015 | VOL. 58 | NO. 2 viewpoints Viewpoint In Defense of Soundiness: A
Manifesto Soundy is the new sound. dominant practice is one of treating soundness as an
engineering choice. In all, we are faced with a paradox: on the one hand we have the ubiquity
of unsoundness in any practical wholeprogram analysis tool that has a claim to precision and
scalability; on the other, we have a research community that, outside a small group of experts …
FEBRUARY 2015 | VOL. 58 | NO. 2 viewpoints Viewpoint In Defense of Soundiness: A
Manifesto Soundy is the new sound. dominant practice is one of treating soundness as an
engineering choice. In all, we are faced with a paradox: on the one hand we have the ubiquity
of unsoundness in any practical wholeprogram analysis tool that has a claim to precision and
scalability; on the other, we have a research community that, outside a small group of experts …
Soundy is the new sound.