OOPSLA
2015
Springer
8 years 6 months ago
2015
Springer
Lock-free data-structures are widely employed in practice, yet designing lock-free memory reclamation for them is notoriously difficult. In particular, all known lock-free reclam...
OOPSLA
2015
Springer
8 years 6 months ago
2015
Springer
Due to resource constraints, tracing production applications often results in incomplete data. Nevertheless, developers ideally want answers to queries about the program’s execu...
OOPSLA
2015
Springer
8 years 6 months ago
2015
Springer
Despite their obvious advantages in terms of static reasoning, the adoption of effect systems is still rather limited in practice. Recent advances such as generic effect systems, ...
OOPSLA
2015
Springer
8 years 6 months ago
2015
Springer
A common programming mistake is for incompatible variables to interact, e.g., storing euros in a variable that should hold dollars, or using an array index with the wrong array. T...
OOPSLA
2015
Springer
8 years 6 months ago
2015
Springer
To maximize run-time performance, programmers often specialize their code by hand, replacing library collections and containers by custom objects in which data is restructured for...
OOPSLA
2015
Springer
8 years 6 months ago
2015
Springer
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 ...
OOPSLA
2015
Springer
8 years 6 months ago
2015
Springer
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...
OOPSLA
2015
Springer
8 years 6 months ago
2015
Springer
OOPSLA
2015
Springer
8 years 6 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 6 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...