Geodesic
Language Abstractions For Low Level Optimization Techniques
Computer Science and Information Systems, Tome 11 (2014) no. 4.

Voir la notice de l'article provenant de la source Computer Science and Information Systems website

Programmers are often forced to implement performance-critical applications at a low abstraction level. This leads to programs that are hard to develop and maintain because the program text is mixed with low level optimization tricks and is far from the algorithm it implements. Even if compilers are smart nowadays and provide the user with many automatically applied optimizations, practice shows that in some cases it is hopeless to optimize the program automatically without the programmer’s knowledge. A complementary approach is to allow the programmer to fine tune the program by providing him with language features that make the optimization easier. These are language abstractions that make optimization techniques explicit without adding too much syntactic noise to the program text. This paper presents such language abstractions for two well-known optimizations: bitvectors and SIMD (Single Instruction Multiple Data). The language features are implemented in the embedded domain specific language Feldspar which is specifically tailored for digital signal processing applications. While we present these language elements as part of Feldspar, the ideas behind them are general enough to be applied in other language definition projects as well.
Keywords: Optimization, bitvector, SIMD 
@article{CSIS_2014_11_4_a15,
     author = {Gergely D\'evai and Zolt\'an Gera and Zolt\'an Kelemen},
     title = {Language {Abstractions} {For} {Low} {Level} {Optimization} {Techniques}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {11},
     number = {4},
     year = {2014},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2014_11_4_a15/}
}
TY  - JOUR
AU  - Gergely Dévai
AU  - Zoltán Gera
AU  - Zoltán Kelemen
TI  - Language Abstractions For Low Level Optimization Techniques
JO  - Computer Science and Information Systems
PY  - 2014
VL  - 11
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2014_11_4_a15/
ID  - CSIS_2014_11_4_a15
ER  - 
%0 Journal Article
%A Gergely Dévai
%A Zoltán Gera
%A Zoltán Kelemen
%T Language Abstractions For Low Level Optimization Techniques
%J Computer Science and Information Systems
%D 2014
%V 11
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2014_11_4_a15/
%F CSIS_2014_11_4_a15
Gergely Dévai; Zoltán Gera; Zoltán Kelemen. Language Abstractions For Low Level Optimization Techniques. Computer Science and Information Systems, Tome 11 (2014) no. 4. http://geodesic.mathdoc.fr/item/CSIS_2014_11_4_a15/