New Rules in China Upset Western Tech Companies
The Chinese government has adopted new regulations requiring companies that …
Shopping Habits Reveal Personal Details in 'Anonymized' Data
Details about where and when you use your credit card …
Can Drones Hunt With Wolf Pack-Like Success? DARPA Thinks So
The U.S. Defense Advanced Research Projects Agency wants to enable …
Rising Enrollment Might Capsize Retention and Diversity Efforts
Rapid increase of enrollment in CS classes in the US might undermine efforts to improve diversity.
The NIPS Experiment
In the NIPS experiment, 10% of papers submitted to the Neural Information Processing Systems Foundation went through its review...
Some Thoughts For Computer Science Teaching Assistants (and Faculty)
Some musings on practices that can help create a positive educational environment for all students in a class.
How, and Why, Apple Overtook Microsoft
The New York Times
In the Future, Your Touchscreens Will Touch You Back
You comfort your grieving friend online over chat, but you can't reach out and touch their shoulder.
Netflix's Secret Special Algorithm Is a Human
The New Yorker
On the opening night of this year's Sundance Film Festival, two films, as usual, had their premières, gaining maximum exposure to reporters and critics.
Securing Network Time Protocol
Crackers discover how to use NTP as a weapon for abuse.
Model-Based Testing: Where Does It Stand?
Robert V. Binder, Bruno Legeard, Anne Kramer
MBT has positive effects on efficiency and effectiveness, even if it only partially fulfills high expectations.
Use the database built for your access model.
Technical Perspective: The Equivalence Problem for Finite Automata
Thomas A. Henzinger, Jean-François Raskin
As the equivalence problem is essential in many applications, we need algorithms that avoid the worst-case complexity as often...
Hacking Nondeterminism with Induction and Coinduction
Filippo Bonchi, Damien Pous
We introduce bisimulation up to congruence as a technique for proving language equivalence of nondeterministic finite automata...
Technical Perspective: Big Data Needs Approximate Computing
"Neural Acceleration for General-Purpose Approximate Programs" demonstrates the significant advantages in cost, power, and latency...
To Govern IT, or Not to Govern IT?
Carlos Juiz, Mark Toomey
Business leaders may bemoan the burdens of governing IT, but the alternative could be much worse.
Automated Support for Diagnosis and Repair
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel
Model checking and logic-based learning together deliver automated support, especially in adaptive and autonomous systems.
Interactive Intent Modeling: Information Discovery Beyond Search
Tuukka Ruotsalo, Giulio Jacucci, Petri Myllymäki, Samuel Kaski
The system should let users incrementally direct their search toward relevant, though not initially obvious, information.
Verifying Computations without Reexecuting Them
Michael Walfish, Andrew J. Blumberg
From theoretical possibility to near practicality.
N. R. Jennings, L. Moreau, D. Nicholson, S. Ramchurn, S. Roberts, T. Rodden, A. Rogers
HACs offer a new science for exploring the computational and human aspects of society.
The Data on Diversity
It's not just about being fair.