OOPSLA
2015
Springer
8 years 6 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 6 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 6 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 6 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 6 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...
OOPSLA
2015
Springer
8 years 6 months ago
2015
Springer
Today, software engineering practices focus on finding the single “right” data representation for a program. The “right” data representation, however, might not exist: ch...
OOPSLA
2015
Springer
8 years 6 months ago
2015
Springer
OOPSLA
2015
Springer
8 years 6 months ago
2015
Springer
Bug-finding tools based on dynamic analysis (DA), such as Valgrind or the compiler sanitizers provided by Clang and GCC, have become ubiquitous during software development. These...
OOPSLA
2015
Springer
8 years 6 months ago
2015
Springer
While cryptography is now readily available to everyone and can, provably, protect private information from attackers, we still frequently hear about major data leakages, many of ...
OOPSLA
2015
Springer
8 years 6 months ago
2015
Springer
We present a new code assistance tool for integrated development environments. Our system accepts as input free-form queries containing a mixture of English and Java, and produces...