OOPSLA
2015
Springer
8 years 3 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 3 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 3 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 3 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 3 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...
OOPSLA
2015
Springer
8 years 3 months ago
2015
Springer
We present a complete end-to-end dynamic analysis system for finding data races in mobile Android applications. The capabilities of our system significantly exceed the state of ...
OOPSLA
2015
Springer
8 years 3 months ago
2015
Springer
Previous work has shown how to insert fences that enforce sequential consistency. However, for many concurrent algorithms, sequential consistency is unnecessarily strong and can l...
OOPSLA
2015
Springer
8 years 3 months ago
2015
Springer
MIT App Inventor is a web service that enables users with little to no previous programming experience to create mobile applications using a visual blocks language. We analyze a s...
OOPSLA
2015
Springer
8 years 3 months ago
2015
Springer
This paper proposes the idea of Trace Register Allocation, a register allocation approach that is tailored for just-intime (JIT) compilation in the context of virtual machines wit...
OOPSLA
2015
Springer
8 years 3 months ago
2015
Springer
Abstract Interpreters Reusable Metatheory for Program Analysis David Darais University of Maryland Matthew Might University of Utah David Van Horn University of Maryland