66
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
Splitting a language into a core language and a desugaring function makes it possible to produce tractable semantics for real-world languages. It does so by pushing much of the la...
59
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
In widely-used actor-based programming languages, such as Erlang, sequential execution performance is as important as scalability of concurrency. We are developing a virtual machi...
72
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
Writing low-level concurrent code is well known to be challenging and error prone. The widespread deployment of multi-core hardware and the shift towards using low-level concurren...
74
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
Build systems are used in all but the smallest software projects to invoke the right build tools on the right files in the right order. A build system must be sound (after a buil...
76
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
es on how abstractions are to be represented as data structures, modules, and so on. Conceptual design is the domain of conventional requirements analysis, project scoping and spec...