OOPSLA
2015
Springer
8 years 6 months ago
2015
Springer
OOPSLA
2015
Springer
8 years 6 months ago
2015
Springer
Pointcut fragility is a well-documented problem in Aspect-Oriented Programming; changes to the base-code can lead to join points incorrectly falling in or out of the scope of poin...
OOPSLA
2015
Springer
8 years 6 months ago
2015
Springer
Performance bugs are a prevalent problem and recent research proposes various techniques to identify such bugs. This paper addresses a kind of performance problem that often is ea...
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...