OOPSLA
2015
Springer
8 years 3 months ago
2015
Springer
Performance and energy efficiency in memory have become critically important for a wide range of computing domains. However, it is difficult to control and optimize memory power...
OOPSLA
2015
Springer
8 years 3 months ago
2015
Springer
The ease with which security flaws in today’s mobile devices can be exploited underscores the need for mobile security research. The advent of the Internet of Things (IoT)—wh...
OOPSLA
2015
Springer
8 years 3 months ago
2015
Springer
Compiler testing is important and challenging. Equivalence Modulo Inputs (EMI) is a recent promising approach for compiler validation. It is based on mutating the unexecuted state...
OOPSLA
2015
Springer
8 years 3 months ago
2015
Springer
Floating point representation has limited precision and inputs to floating point programs may also have errors. Consequently, during execution, errors are introduced, propagated,...
OOPSLA
2015
Springer
8 years 3 months ago
2015
Springer
Due to its asynchronous, event-driven nature, JavaScript, similar to concurrent programs, suffers from the problem of data races. Past research provides methods for automatically ...
OOPSLA
2015
Springer
8 years 3 months ago
2015
Springer
Bootstrapping is well known in the context of compilers, where a bootstrapped compiler can compile its own source code. Bootstrapping is a beneficial engineering practice beraise...
OOPSLA
2015
Springer
8 years 3 months ago
2015
Springer
The aggressive optimization of heavily used kernels is an important problem in high-performance computing. However, both general purpose compilers and highly specialized tools suc...
OOPSLA
2015
Springer
8 years 3 months ago
2015
Springer
Given a program whose functionality depends on access to certain external resources, we investigate the question of how to gracefully degrade functionality when a subset of those ...
OOPSLA
2015
Springer
8 years 3 months ago
2015
Springer
Recording and replaying the execution of smartphone apps is useful in a variety of contexts, from reproducing bugs to profiling and testing. Achieving effective record-andreplay ...
OOPSLA
2015
Springer
8 years 3 months ago
2015
Springer
We report on an industrial case study on developing the embedded software for a smart meter using the C programming language and domain-specific extensions of C such as component...