Sciweavers

OOPSLA
2015
Springer
8 years 7 months ago
EXPLORER : query- and demand-driven exploration of interprocedural control flow properties
This paper describes a general framework—and its implementation in a tool called EXPLORER–for statically answering a class of interprocedural control flow queries about Java ...
Yu Feng, Xinyu Wang, Isil Dillig, Calvin Lin
OOPSLA
2015
Springer
8 years 7 months ago
Towards a dynamic object model within Unix processes
Programmers face much complexity from the co-existence of “native” (Unix-like) and virtual machine (VM) “managed” run-time environments. Rather than having VMs replace Uni...
Stephen Kell
OOPSLA
2015
Springer
8 years 7 months ago
Making live programming practical by bridging the gap between trial-and-error development and unit testing
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...
Tomoki Imai, Hidehiko Masuhara, Tomoyuki Aotani
OOPSLA
2015
Springer
8 years 7 months ago
Learning a strategy for adapting a program analysis via bayesian optimisation
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...
Hakjoo Oh, Hongseok Yang, Kwangkeun Yi
OOPSLA
2015
Springer
8 years 7 months ago
Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures
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...
Martin Aigner 0003, Christoph M. Kirsch, Michael L...
OOPSLA
2015
Springer
8 years 7 months ago
Trace oblivious computation
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...
Chang Liu
OOPSLA
2015
Springer
8 years 7 months ago
Consensus-based mining of API preconditions in big code
Formal specifications for APIs help developers correctly use them and enable checker tools automatically verify their uses. However, formal specifications are not always availab...
Hoan Anh Nguyen, Robert Dyer 0001, Tien N. Nguyen,...
OOPSLA
2015
Springer
8 years 7 months ago
The moldable inspector
Andrei Chis, Oscar Nierstrasz, Aliaksei Syrel, Tud...
OOPSLA
2015
Springer
8 years 7 months ago
Columnar objects: improving the performance of analytical applications
Growing volumes of data increase the demand to use it in analytical applications to make informed decisions. Unfortunately, object-oriented runtimes experience performance problem...
Toni Mattis, Johannes Henning, Patrick Rein, Rober...