Volume 59; Issue 2

Communications of the ACM

Volume 59; Issue 2
1

The verification of a distributed system

McCaffrey, Caitie
Journal:
Communications of the ACM
Year:
2016
Language:
english
File:
PDF, 3.42 MB
english, 2016
2

How a supervillain (or a hacker in his basement) could destroy the internet

Kugler, Logan
Journal:
Communications of the ACM
Year:
2016
Language:
english
File:
PDF, 2.03 MB
english, 2016
3

Phonetic analytics technology and big data

Shim, J. P., Koh, J., Fister, S., Seo, H. Y.
Journal:
Communications of the ACM
Year:
2016
Language:
english
File:
PDF, 4.65 MB
english, 2016
4

YFCC100M

Thomee, Bart, Elizalde, Benjamin, Shamma, David A., Ni, Karl, Friedland, Gerald, Poland, Douglas, Borth, Damian, Li, Li-Jia
Journal:
Communications of the ACM
Year:
2016
Language:
english
File:
PDF, 2.97 MB
english, 2016
6

In privacy law, it's the U.S. vs. the world

Geller, Tom
Journal:
Communications of the ACM
Year:
2016
Language:
english
File:
PDF, 1.47 MB
english, 2016
7

Privacy research directions

Landwehr, Carl
Journal:
Communications of the ACM
Year:
2016
Language:
english
File:
PDF, 1.27 MB
english, 2016
9

Schema.org

Guha, R. V., Brickley, Dan, Macbeth, Steve
Journal:
Communications of the ACM
Year:
2016
Language:
english
File:
PDF, 1.63 MB
english, 2016
10

Technical Perspective: Program synthesis using stochastic techniques

Gulwani, Sumit
Journal:
Communications of the ACM
Year:
2016
Language:
english
File:
PDF, 458 KB
english, 2016
11

Stochastic program optimization

Schkufza, Eric, Sharma, Rahul, Aiken, Alex
Journal:
Communications of the ACM
Year:
2016
Language:
english
File:
PDF, 906 KB
english, 2016
12

The moral hazard of complexity-theoretic assumptions

Vardi, Moshe Y.
Journal:
Communications of the ACM
Year:
2016
Language:
english
File:
PDF, 474 KB
english, 2016
13

Accountability in algorithmic decision making

Diakopoulos, Nicholas
Journal:
Communications of the ACM
Year:
2016
Language:
english
File:
PDF, 3.09 MB
english, 2016