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

doi:10.1145/2644805

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

Department of Computer Science

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

203 Citations (Scopus)

Original language	English
Journal	Communications of the A C M
Volume	58
Issue	2
ISSN	0001-0782
DOIs	https://doi.org/10.1145/2644805
Publication status	Published - 2015

Access to Document

10.1145/2644805

http://cacm.acm.org/magazines/2015/2/182650-in-defense-of-soundiness

Cite this

@article{6cc4b17b6c234198b7208bcaef6d579b,

title = "In Defense of Soundiness: A Manifesto",

author = "Benjamin Livshits and Manu Sridharan and Yannis Smaragdakis and Ond{\v r}ej Lhot{\'a}k and Amaral, {J. Nelson} and Chang, {Bor-Yuh Evan} and Guyer, {Samuel Z.} and Khedker, {Uday P.} and Anders M{\o}ller and Dimitrios Vardoulakis",

year = "2015",

doi = "10.1145/2644805",

language = "English",

volume = "58",

journal = "Communications of the A C M",

issn = "0001-0782",

publisher = "ACM",

number = "2",

}

TY - JOUR

T1 - In Defense of Soundiness: A Manifesto

AU - Livshits, Benjamin

AU - Sridharan, Manu

AU - Smaragdakis, Yannis

AU - Lhoták, Ondřej

AU - Amaral, J. Nelson

AU - Chang, Bor-Yuh Evan

AU - Guyer, Samuel Z.

AU - Khedker, Uday P.

AU - Møller, Anders

AU - Vardoulakis, Dimitrios

PY - 2015

Y1 - 2015

U2 - 10.1145/2644805

DO - 10.1145/2644805

M3 - Journal article

SN - 0001-0782

VL - 58

JO - Communications of the A C M

JF - Communications of the A C M

IS - 2

ER -