RR-8706.tex

\documentclass[twoside]{article}
\usepackage[a4paper]{geometry}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{RR}
\usepackage{hyperref}
\usepackage{tikz}
\usetikzlibrary{shapes,arrows,fit,positioning}
\usepackage[toc,page]{appendix}
\include{includes}
\RRNo{8706}

%% date de publication du rapport
\RRdate{May 2015}


%% Cas d'une version deux
% \RRversion{2}
%% date de publication de la version 2
% \RRdater{Septembre 2015}
%%
\RRauthor{
    Riyadh Baghdadi%
    \thanks[ens]{\'Ecole Normale Sup\'erieure de Paris and Institut National de Recherche en Informatique et en Automatique}%
  \and
    Albert Cohen%
    \thanksref{ens}
\and
    Tobias Grosser%
    \thanksref{ens}
\and
    Sven Verdoolaege%
    \thanksref{ens}\thanks{Katholieke Universiteit Leuven}
\and    
    Anton Lokhmotov%
    \thanks[dividiti]{dividiti}
\and    
    Javed Absar%
    \thanks[arm]{ARM}
\and    
    Sven van Haastregt%
    \thanksref{arm}
\and    
    Alexey Kravets%
    \thanks[nvidia]{Nvidia}
\and    
    Alastair Donaldson%
    \thanks[icl]{Imperial College London}
}

%% Ceci apparait sur chaque page paire.
\authorhead{}

%% titre francais long
\RRtitle{}

%% English title
\RRetitle{PENCIL Language Specification}
\titlehead{PENCIL Language Specification}

\RRnote{This work was partly supported by the European
FP7 project CARP id.\ 287767.}


%\RRresume{}
\RRabstract{Programming accelerators such as GPUs with 
low-level APIs and languages such as OpenCL and CUDA is difficult,
error prone, and not performance-portable.
Automatic parallelization and domain specific languages (DSLs)
have been proposed to hide this complexity and to regain some
performance portability.
We present PENCIL, a rigorously-defined subset of GNU C99 with
specific programming rules and few extensions.
Adherence to this subset and the use of these extensions enable
compilers to exploit parallelism and to better optimize code when
targeting accelerators.
We intend PENCIL both as a portable implementation language to
facilitate the acceleration of applications, and as a tractable
target language for DSL compilers.}
%%
%\RRmotcle{}
\RRkeyword{Intermediate language, domain specific language,
code optimization, PENCIL, OpenCL}


%% INRIA Projets-team names
\RRprojets{}
\RCParis % Paris Rocquencourt

\setcounter{tocdepth}{3}
\setcounter{secnumdepth}{3}
\renewcommand{\thesection}{\arabic{section}}


% Version Number
% Change this for any language change
\newcommand{\VersionNumber}{1.1}

% Change this after fixing typos, minor things
\newcommand{\RevisionNumber}{1}


\begin{document}

\makeRR

\section*{Revision history}

\begin{center}
 \begin{tabular}{ | l | l | l |}
  \hline
  Version/Revision & Date & Comments \\
  \hline
  \pencil 1.0 --- revision 1 & 24-May-2015 & First public version \\
  \pencil 1.1 --- revision 1 & 15-Aug-2015 & Add \lstinline!__pencil_npr_mem_tag! \\
  \hline
\end{tabular}
\end{center}


\newpage

\tableofcontents


\include{PENCIL}

\begin{appendix}
\input{pencil_ebnf.tex}
\input{license.tex}
\end{appendix}


\clearpage
\bibliographystyle{abbrv}
\bibliography{CARP-ENS-RP-004}


\end{document}
\endinput

% Possible Future PENCIL Extensions:
% -----------------------------------
% - Support for atomic operations:
%   Currently we use a non portable way to implement atomic operations
%   in PENCIL, it would be good to add atomic builtins in PENCIL
%   (atomics are widely used).