In Defense of Soundiness: A Manifesto.

Guyer, Samuel Z.

Livshits, Benjamin.

Sridharan, Manu.

Smaragdakis, Yannis.

Lhoták, Ondřej.

Amaral, José Nelson.

Chang, Bor-Yuh Evan.

Khedker, Uday.

Møller, Anders.

Vardoulakis, Dimitrios.


  • Static program analysis is a key component of many software development tools, including compilers, development environments, and verification tools. Practical applications of static analysis have grown in recent years to include tools by companies such as Coverity, Fortify, GrammaTech, IBM, and others. Analyses are often expected to be sound in that their result models all possible executions of ... read more
This object is in collection Creator department Subject Permanent URL Citation
  • Livshits, Benjamin, Dimitrios Vardoulakis, Manu Sridharan, Yannis Smaragdakis, Ondřej Lhoták, J. Nelson Amaral, Bor-Yuh Evan Chang, Samuel Z. Guyer, Uday P. Khedker, and Anders Møller. "In Defense of Soundiness." Communications of the ACM 58, no. 2 (January 28, 2015): 44-46. doi:10.1145/2644805.
To Cite:
TARC Citation Guide    EndNote
Detailed Rights