-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathParFortran.tex
151 lines (91 loc) · 3.41 KB
/
ParFortran.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
\documentclass[prodmode,acmtecs]{acmsmall}
% Package to generate and customize Algorithm as per ACM style
\usepackage[ruled]{algorithm2e}
\renewcommand{\algorithmcfname}{ALGORITHM}
\SetAlFnt{\small}
\SetAlCapFnt{\small}
\SetAlCapNameFnt{\small}
\SetAlCapHSkip{0pt}
\IncMargin{-\parindent}
% Metadata Information
%\acmVolume{9}
%\acmNumber{4}
%\acmArticle{39}
%\acmYear{2010}
%\acmMonth{3}
% Document starts
\begin{document}
% Page heads
\markboth{C. Oancea and L. Rauchwerger}{A Hybrid Approach to Loop Parallelization}
% Title portion
\title{A Hybrid Approach to Loop Parallelization}
\author{Cosmin E. Oancea
\affil{University of Copenhagen}
Lawrence Rauchwerger
\affil{Texas A \& M University}}
\begin{abstract}
\end{abstract}
\category{D.1.3}{Concurrent Programming}{Parallel Programming}
\category{D.3.4}{Processors}{Compiler}
\terms{Performance, Design, Algorithms}
\keywords{auto-parallelization, array-reference summaries, conditional induction variables ({\sc civ}).}
\acmformat{Cosmin E. Oancea and Lawrence Rauchwerger, 2014.
A Lightweight Hybrid Approach to Loop Parallelization.}
\begin{bottomstuff}
Author's addresses:
Cosmin E. Oancea, Department of Computer Science,
University of Copenhagen, [email protected];
Lawrence Rauchwerger, Department of Computer Science and Engineering,
Texas A \& M University, [email protected].
\end{bottomstuff}
\maketitle
\section{Introduction}
\section{Preliminaries}
\subsection{Motivating Example}
\subsection{Linear-Memory-Access-Descriptors (LMAD) Summaries}
\subsection{Unified-Set-Reference (USR) Summaries}
\subsection{Summary Construction to Program Level}
\subsection{Loop Independence Equations}
\section{Basic Translation From Summary To Predicate Language}
\subsection{Extracting Predicates from LMADs}
\subsection{Elementary Logical Inference Rules}
\subsection{Slicing and Common-Path Optimization of Predicates}
\section{Predicates for Non-Affine Subscripts}
This is described in~\cite{SummaryMonot}.
\subsection{Motivation, Problem Statement and Simple Example}
\subsection{When, Where and How to Exploit Monotonic Summaries}
\subsection{Summaries with Quasi-Linear Subscripts}
\subsection{Summaries with Quadratic Subscripts}
\subsection{Summaries with Indirect-Array Subscripts}
\subsection{Overall Design Strategy}
\section{Summarizing Across Conditional Induction Variables}
\section{Related Work}
\section{Conclusions}
% Appendix
\appendix
\section*{APPENDIX}
\setcounter{section}{1}
In this appendix, we ...
\appendixhead{ZHOU}
% Acknowledgments
\begin{acks}
The authors would like to thank ...
\end{acks}
% Bibliography
\bibliographystyle{ACM-Reference-Format-Journals}
\bibliography{ParFortran}
% Sample .bib file with references that match those in
% the 'Specifications Document (V1.5)' as well containing
% 'legacy' bibs and bibs with 'alternate codings'.
% Gerry Murray - March 2012
% History dates
%\received{February 2007}{March 2009}{June 2009}
% Electronic Appendix
\elecappendix
\medskip
\section{This is an example of Appendix section head}
Lalala1
\section{Appendix section head}
Lalala2
\end{document}
% End of v2-acmsmall-sample.tex (March 2012) - Gerry Murray, ACM