—Shingled Magnetic Recording (SMR) is a means of increasing the density of hard drives that brings a new set of challenges. Due to the nature of SMR disks, updating in place is n...
Stephanie N. Jones, Ahmed Amer, Ethan L. Miller, D...
—File-system snapshots have been a key component of enterprise storage management since their inception. Creating and managing them efficiently, while maintaining flexibility a...
al Key Words and Phrases: Static analysis, context-sensitive analysis, abstract interpretation ACM Reference Format: ACM Trans. Program. Lang. Syst. V, N, Article A (January YYYY),...
Decisions in the environmental and in particular the climate domain are burdened with uncertainty. Here, we focus on uncertainties faced by individuals when making decisions about...
The scientific knowledge needed to engage with policy issues like climate change, vaccination, and stem cell research often conflicts with our intuitive theories of the world. H...
The goal of cognitive modeling is to build faithful simulations of human cognition. One of the challenges is that multiple models can often explain the same phenomena. Another cha...
Niels A. Taatgen, Marieke K. van Vugt, Jelmer P. B...
—In a long-haul sensor network, sensors are remotely deployed over a large geographical area to perform certain tasks, such as target tracking. In this work, we study the scenari...
Qiang Liu, Xin Wang, Nageswara S. V. Rao, Katharin...
—It has been recently discovered that heavy-tailed completion times can result from protocol interaction even when file sizes are light-tailed. A key to this phenomenon is the u...
Jayakrishnan Nair, Martin Andreasson, Lachlan L. H...