Article,
In defense of soundiness: a manifesto.
B. Livshits, M. Sridharan, Y. Smaragdakis, O. Lhoták, J. Amaral, B. Chang, S. Guyer, U. Khedker, A. Møller, and D. Vardoulakis.Commun. ACM, 58 (2): 44-46 (2015)
Meta data
- BibTeX key
- journals/cacm/LivshitsSSLACGKMV15
- entry type
- article
- year
- 2015
- journal
- Commun. ACM
- number
- 2
- pages
- 44-46
- volume
- 58
- ee
- https://doi.org/10.1145/2644805
- url
- http://dblp.uni-trier.de/db/journals/cacm/cacm58.html#LivshitsSSLACGKMV15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/cacm/LivshitsSSLACGKMV15
%A Livshits, Benjamin
%A Sridharan, Manu
%A Smaragdakis, Yannis
%A Lhoták, Ondrej
%A Amaral, José Nelson
%A Chang, Bor-Yuh Evan
%A Guyer, Samuel Z.
%A Khedker, Uday P.
%A Møller, Anders
%A Vardoulakis, Dimitrios
%D 2015
%J Commun. ACM
%K dblp
%N 2
%P 44-46
%T In defense of soundiness: a manifesto.
%U http://dblp.uni-trier.de/db/journals/cacm/cacm58.html#LivshitsSSLACGKMV15
%V 58
@article{journals/cacm/LivshitsSSLACGKMV15,
added-at = {2022-04-09T00:00:00.000+0200},
author = {Livshits, Benjamin and Sridharan, Manu and Smaragdakis, Yannis and Lhoták, Ondrej and Amaral, José Nelson and Chang, Bor-Yuh Evan and Guyer, Samuel Z. and Khedker, Uday P. and Møller, Anders and Vardoulakis, Dimitrios},
biburl = {https://www.bibsonomy.org/bibtex/234ee72a95a9075c7ad94f950cd6d2957/dblp},
ee = {https://doi.org/10.1145/2644805},
interhash = {2e448d6dcb7e73235394456fd3405306},
intrahash = {34ee72a95a9075c7ad94f950cd6d2957},
journal = {Commun. ACM},
keywords = {dblp},
number = 2,
pages = {44-46},
timestamp = {2024-04-09T02:12:04.000+0200},
title = {In defense of soundiness: a manifesto.},
url = {http://dblp.uni-trier.de/db/journals/cacm/cacm58.html#LivshitsSSLACGKMV15},
volume = 58,
year = 2015
}