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...
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...
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, ...
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. ...
There has recently been impressive progress –after nearly fifty years of stagnation– in algorithms that find exact solutions for certain hard computational problems, includi...