101
Voted
OOPSLA
2015
Springer
10 years 2 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...
106
click to vote
OOPSLA
2015
Springer
10 years 2 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...
108
click to vote
OOPSLA
2015
Springer
10 years 2 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, ...
111
click to vote
OOPSLA
2015
Springer
10 years 2 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
10 years 2 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...