74
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
Modern event-driven applications, such as, web pages and mobile apps, rely on asynchrony to ensure smooth end-user experience. Unfortunately, even though these applications are ex...
81
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
A unifying theme of many ongoing trends in software engineering is a blurring of the boundaries between building and operating software products. In this paper, we explore what we...
76
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
Numerical code uses floating-point arithmetic and necessarily suffers from roundoff and truncation errors. Error analysis is the process to quantify such uncertainty. Forward err...
72
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
We present Topaz, a new task-based language for computations that execute on approximate computing platforms that may occasionally produce arbitrarily inaccurate results. Topaz ma...
66
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
We introduce a program logic for specifying a core sequential subset of the POSIX file system and for reasoning abstractly about client programs working with the file system. Th...