CC
2009
Springer
13 years 2 months ago
2009
Springer
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
CC
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. It is difficult to develop style-preserving source-to-source transformation engines for C and C++. The main reason is not the complexity of those languages, but the use o...
CC
2009
Springer
13 years 9 months ago
2009
Springer
Single-assignment languages with copy semantics have a very simple and approachable programming model. A na¨ıve implementation of the copy semantics that copies the result of eve...
CC
2009
Springer
13 years 11 months ago
2009
Springer
CC
2009
Springer
13 years 11 months ago
2009
Springer
Software systems typically exploit only a small fraction of the realizable performance from the underlying microprocessors. While there has been much work on hardware-aware optimiz...
CC
2009
Springer
14 years 5 months ago
2009
Springer
Speculative parallelisation represents a promising solution to speed up sequential programs that are hard to parallelise otherwise. Prior research has focused mainly on parallelisi...
CC
2009
Springer
14 years 5 months ago
2009
Springer
CC
2009
Springer
14 years 5 months ago
2009
Springer
Debugging distributed systems is challenging. Although incremental debugging during development finds some bugs, developers are rarely able to fully test their systems under realis...
CC
2009
Springer
14 years 5 months ago
2009
Springer
Important challenges for compiler optimization include determining what optimizations to apply, where to apply them and what is a good sequence in which to apply them. To address t...
CC
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...