OOPSLA
2015
Springer
8 years 8 months ago
2015
Springer
OOPSLA
2015
Springer
8 years 8 months ago
2015
Springer
Live programming environments are powerful experimental tools that enable programmers to write programs in a trialand-error way thanks to its quick feedback. Since the feedback in...
OOPSLA
2015
Springer
8 years 8 months ago
2015
Springer
Building a cost-effective static analyser for real-world programs is still regarded an art. One key contributor to this grim reputation is the difficulty in balancing the cost an...
OOPSLA
2015
Springer
8 years 8 months ago
2015
Springer
We demonstrate that general-purpose memory allocation involving many threads on many cores can be done with high performance, multicore scalability, and low memory consumption. Fo...
OOPSLA
2015
Springer
8 years 8 months ago
2015
Springer
This paper presents a new, co-designed compiler and architecture called GhostRider for supporting privacy preserving computation in the cloud. GhostRider ensures all programs sati...
OOPSLA
2015
Springer
8 years 8 months ago
2015
Springer
Formal specifications for APIs help developers correctly use them and enable checker tools automatically verify their uses. However, formal specifications are not always availab...
OOPSLA
2015
Springer
8 years 8 months ago
2015
Springer
OOPSLA
2015
Springer
8 years 8 months ago
2015
Springer
Growing volumes of data increase the demand to use it in analytical applications to make informed decisions. Unfortunately, object-oriented runtimes experience performance problem...
OOPSLA
2015
Springer
8 years 8 months ago
2015
Springer
We present an efficient, modular, and feature-rich framework for automated generation and validation of complex structures, suitable for tasks that explore a large space of struc...
OOPSLA
2015
Springer
8 years 8 months ago
2015
Springer
The data structures under-pinning collection API (e.g. lists, sets, maps) in the standard libraries of programming languages are used intensively in many applications. The standar...