OOPSLA
2015
Springer
8 years 8 months ago
2015
Springer
This paper presents an algorithm for off-line partial evaluation of machine code. The algorithm follows the classical two-phase approach of binding-time analysis (BTA) followed by...
OOPSLA
2015
Springer
8 years 8 months ago
2015
Springer
Many concurrent data structures are initially designed for the sequential consistency (SC) memory model. Developers often then implement these algorithms on real-world systems wit...
OOPSLA
2015
Springer
8 years 8 months ago
2015
Springer
App stores are increasingly the preferred mechanism for distributing software, including mobile apps (Google Play), desktop apps (Mac App Store and Ubuntu Software Center), comput...
OOPSLA
2015
Springer
8 years 8 months ago
2015
Springer
In the Western classical tradition, musicians play music from notated sheet music, called a score. When playing music from a score, a musician translates its visual symbols into s...
OOPSLA
2015
Springer
8 years 8 months ago
2015
Springer
Live programming environments help the programmers to try out expressions by giving immediate feedback on the results as well as intermediate evaluation processes. However, the fe...
OOPSLA
2015
Springer
8 years 8 months ago
2015
Springer
OOPSLA
2015
Springer
8 years 8 months ago
2015
Springer
Over the past thirty years, there has been significant progress in developing general-purpose, language-based approaches to incremental computation, which aims to efficiently up...
OOPSLA
2015
Springer
8 years 8 months ago
2015
Springer
OOPSLA
2015
Springer
8 years 8 months ago
2015
Springer
A simple bug in a program can influence a large part of the program execution by spreading throughout the state at runtime. This is known as program infection. The seriousness of...
OOPSLA
2015
Springer
8 years 8 months ago
2015
Springer
Java is a safe language. Its runtime environment provides strong safety guarantees that any Java application can rely on. Or so we think. We show that the runtime actually does no...