OOPSLA
2015
Springer
8 years 8 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 8 months ago
2015
Springer
OOPSLA
2015
Springer
8 years 8 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 8 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 8 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...
OOPSLA
2015
Springer
8 years 8 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 8 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 8 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 8 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 8 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...