43 search results - page 2 / 9 » cc 2009 |
OOPSLA
2009
Springer
13 years 12 months ago
2009
Springer
The shift from single to multiple core architectures means that programmers must write concurrent, multithreaded programs in order to increase application performance. Unfortunate...
CC
2009
Springer
13 years 3 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
14 years 6 months ago
2009
Springer
Register allocation decides which parts of a variable's live range are held in registers and which in memory. The compiler inserts spill code to move the values of variables b...
CC
2009
Springer
14 years 6 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
CC
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...