Sciweavers

CACM
2016
53views more  CACM 2016»
8 years 1 months ago
A differential approach to undefined behavior detection
This paper studies undefined behavior arising in systems programming languages such as C/C++. Undefined behavior bugs lead to unpredictable and subtle systems behavior, and their ...
Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Ar...
CACM
2016
38views more  CACM 2016»
8 years 1 months ago
Spatial computing
We present a perspective on the societal accomplishments, recent cultural shifts, challenges, and opportunities in spatial computing based on the discussions at the 2012 Computing...
Shashi Shekhar, Steven K. Feiner, Walid G. Aref
CACM
2016
48views more  CACM 2016»
8 years 1 months ago
The Beckman report on database research
Every few years a group of database researchers meets to discuss the state of database research, its impact on practice, and important new directions. This report summarizes the d...
Daniel Abadi, Rakesh Agrawal, Anastasia Ailamaki, ...
CACM
2016
73views more  CACM 2016»
8 years 1 months ago
Bare-metal performance for virtual machines with exitless interrupts
Nadav Amit, Abel Gordon, Nadav Har'El, Muli Ben-Ye...
CACM
2016
47views more  CACM 2016»
8 years 1 months ago
Immutability changes everything
There is an inexorable trend towards storing and sending immutable data. We need immutability to coordinate at a distance and we can afford immutability, as storage gets cheaper. ...
Pat Helland
CACM
2016
57views more  CACM 2016»
8 years 1 months ago
Algebraic fingerprints for faster algorithms
There has recently been impressive progress –after nearly fifty years of stagnation– in algorithms that find exact solutions for certain hard computational problems, includi...
Ioannis Koutis, Ryan Williams