In Defense of Soundiness: A Manifesto

被引:160
|
作者
Livshits, Benjamin
Sridharan, Manu
Smaragdakis, Yannis [1 ]
Lhotak, Ondrej [2 ]
Amaral, J. Nelson [3 ]
Chang, Bor-Yuh Evan [4 ]
Guyer, Samuel Z. [5 ]
Khedker, Uday P. [6 ]
Moller, Anders [7 ]
Vardoulakis, Dimitrios
机构
[1] Univ Athens, GR-10679 Athens, Greece
[2] Univ Waterloo, Waterloo, ON N2L 3G1, Canada
[3] Univ Alberta, Edmonton, AB T6G 2M7, Canada
[4] Univ Colorado, Boulder, CO 80309 USA
[5] Tufts Univ, Medford, MA USA
[6] Indian Inst Technol, Bombay, Maharashtra, India
[7] Aarhus Univ, DK-8000 Aarhus C, Denmark
关键词
D O I
10.1145/2644805
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:44 / 46
页数:3
相关论文
共 50 条