OOPSLA
2015
Springer
8 years 6 months ago
2015
Springer
Splitting a language into a core language and a desugaring function makes it possible to produce tractable semantics for real-world languages. It does so by pushing much of the la...
OOPSLA
2015
Springer
8 years 6 months ago
2015
Springer
In widely-used actor-based programming languages, such as Erlang, sequential execution performance is as important as scalability of concurrency. We are developing a virtual machi...
OOPSLA
2015
Springer
8 years 6 months ago
2015
Springer
Writing low-level concurrent code is well known to be challenging and error prone. The widespread deployment of multi-core hardware and the shift towards using low-level concurren...
OOPSLA
2015
Springer
8 years 6 months ago
2015
Springer
Build systems are used in all but the smallest software projects to invoke the right build tools on the right files in the right order. A build system must be sound (after a buil...
OOPSLA
2015
Springer
8 years 6 months ago
2015
Springer
es on how abstractions are to be represented as data structures, modules, and so on. Conceptual design is the domain of conventional requirements analysis, project scoping and spec...
OOPSLA
2015
Springer
8 years 6 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...
OOPSLA
2015
Springer
8 years 6 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...
OOPSLA
2015
Springer
8 years 6 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...
OOPSLA
2015
Springer
8 years 6 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...
OOPSLA
2015
Springer
8 years 6 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...