66
Voted
OOPSLA
2015
Springer
9 years 11 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...
73
Voted
OOPSLA
2015
Springer
9 years 11 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...
78
Voted
OOPSLA
2015
Springer
9 years 11 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, ...
80
Voted
OOPSLA
2015
Springer
9 years 11 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...
70
Voted
OOPSLA
2015
Springer
9 years 11 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...