OOPSLA
2015
Springer
8 years 7 months ago
2015
Springer
A simple bug in a program can influence a large part of the program execution by spreading throughout the state at runtime. This is known as program infection. The seriousness of...
OOPSLA
2015
Springer
8 years 7 months ago
2015
Springer
Java is a safe language. Its runtime environment provides strong safety guarantees that any Java application can rely on. Or so we think. We show that the runtime actually does no...
OOPSLA
2015
Springer
8 years 7 months ago
2015
Springer
OOPSLA
2015
Springer
8 years 7 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 7 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 7 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 7 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 7 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 7 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 7 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...