paper-Declarative-Compilers/main.tex

%%
%% This is file `sample-sigconf.tex',
%% generated with the docstrip utility.
%%
%% The original source files were:
%%
%% samples.dtx  (with options: `sigconf')
%% 
%% IMPORTANT NOTICE:
%% 
%% For the copyright see the source file.
%% 
%% Any modified versions of this file must be renamed
%% with new filenames distinct from sample-sigconf.tex.
%% 
%% For distribution of the original source see the terms
%% for copying and modification in the file samples.dtx.
%% 
%% This generated file may be distributed as long as the
%% original source files, as listed above, are part of the
%% same distribution. (The sources need not necessarily be
%% in the same archive or directory.)
%%
%%
%% Commands for TeXCount
%TC:macro \cite [option:text,text]
%TC:macro \citep [option:text,text]
%TC:macro \citet [option:text,text]
%TC:envir table 0 1
%TC:envir table* 0 1
%TC:envir tabular [ignore] word
%TC:envir displaymath 0 word
%TC:envir math 0 word
%TC:envir comment 0 0
%%
%%
%% The first command in your LaTeX source must be the \documentclass
%% command.
%%
%% For submission and review of your manuscript please change the
%% command to \documentclass[manuscript, screen, review]{acmart}.
%%
%% When submitting camera ready or to TAPS, please change the command
%% to \documentclass[sigconf]{acmart} or whichever template is required
%% for your publication.
%%
%%
\documentclass[sigconf]{acmart}

\usepackage{todonotes}
\usepackage{cleveref}
\usepackage{xspace}
\usepackage{algorithm}
\usepackage[noend]{algpseudocode}
\usepackage{listings}
\usepackage{tikz}

\newcommand{\trimmedcaption}[1]{\vspace*{-2mm}\caption{#1}\vspace*{-5mm}}

\usetikzlibrary{positioning,shapes.misc,arrows.meta} 
\tikzset{
  plannode/.style={
    % The shape:
    rounded rectangle,
    minimum size=6mm,
    % The rest
    very thick,draw=black!50,
    top color=white,bottom color=black!20,
    font=\ttfamily\bfseries
  },
  field/.style={
    % The shape:
    rounded rectangle,
    minimum size=6mm,
    % The rest
    very thick,draw=black!10,
    top color=white,bottom color=black!20,
    font=\ttfamily
  },
  ->,>={Stealth[round]}
}

\definecolor{lightorange}{RGB}{255,230,200}
\definecolor{arylideyellow}{rgb}{0.91, 0.84, 0.42}
\definecolor{asparagus}{rgb}{0.53, 0.66, 0.42}
\definecolor{burntsienna}{rgb}{0.91, 0.45, 0.32}
\newcommand{\OK}[1]{\todo[inline,color=lightorange]{\textbf{OK says:} #1}}
\newcommand{\DBNotes}[1]{\todo[inline,color=asparagus]{\textbf{DB says:} #1}}
\newcommand{\DB}[1]{\todo[inline,color=arylideyellow]{\textbf{DB asks:} #1}}
\newcommand{\LZ}[1]{\todo[inline,color=blue]{\textbf{LZ says:} #1}}
\newcommand{\disclaimer}[1]{\todo[inline,color=burntsienna]{\textbf{Disclaimer:} #1}}


\lstdefinestyle{Scala}
{
backgroundcolor=\color{black!2!white},
tabsize=2,
basicstyle=\footnotesize\upshape\ttfamily,
language=Java,
morekeywords={match,case},
otherkeywords={=>},
extendedchars=false,
keywordstyle=\bfseries\color{blue},
mathescape=true,
escapechar=@,
sensitive=true,
%numbers=left,
frame=tb,
basewidth=0.55em
}
\lstset{style=Scala}
\input{sections/macros}


%%
%% \BibTeX command to typeset BibTeX logo in the docs
\AtBeginDocument{%
  \providecommand\BibTeX{{%
    Bib\TeX}}}

%% Rights management information.  This information is sent to you
%% when you complete the rights form.  These commands have SAMPLE
%% values in them; it is your responsibility as an author to replace
%% the commands and values with those provided to you when you
%% complete the rights form.
\setcopyright{none}
% \copyrightyear{2018}
% \acmYear{2018}
% \acmDOI{XXXXXXX.XXXXXXX}

%% These commands are for a PROCEEDINGS abstract or paper.
% \acmConference[Conference acronym 'XX]{Make sure to enter the correct
%   conference title from your rights confirmation emai}{June 03--05,
%   2018}{Woodstock, NY}
%%
%%  Uncomment \acmBooktitle if the title of the proceedings is different
%%  from ``Proceedings of ...''!
%%
%%\acmBooktitle{Woodstock '18: ACM Symposium on Neural Gaze Detection,
%%  June 03--05, 2018, Woodstock, NY}
% \acmPrice{15.00}
% \acmISBN{978-1-4503-XXXX-X/18/06}


%%
%% Submission ID.
%% Use this when submitting an article to a sponsored event. You'll
%% receive a unique submission ID from the organizers
%% of the event, and this ID should be used as the parameter to this command.
%%\acmSubmissionID{123-A56-BU3}

%%
%% For managing citations, it is recommended to use bibliography
%% files in BibTeX format.
%%
%% You can then either use BibTeX with the ACM-Reference-Format style,
%% or BibLaTeX with the acmnumeric or acmauthoryear sytles, that include
%% support for advanced citation of software artefact from the
%% biblatex-software package, also separately available on CTAN.
%%
%% Look at the sample-*-biblatex.tex files for templates showcasing
%% the biblatex styles.
%%

%%
%% The majority of ACM publications use numbered citations and
%% references.  The command \citestyle{authoryear} switches to the
%% "author year" style.
%%
%% If you are preparing content for an event
%% sponsored by ACM SIGGRAPH, you must use the "author year" style of
%% citations and references.
%% Uncommenting
%% the next command will enable that style.
%%\citestyle{acmauthoryear}


%%
%% end of the preamble, start of the body of the document source.
\begin{document}

%%
%% The "title" command has an optional parameter,
%% allowing the author to define a "short title" to be used in page headers.
\title{ASTral: A Declarative Language for Building Compilers}

%%
%% The "author" command and its associated commands are used to define
%% the authors and their affiliations.
%% Of note is the shared affiliation of the first two authors, and the
%% "authornote" and "authornotemark" commands
%% used to denote shared contribution to the research.
\author{Darshana Balakrishnan}
\authornote{Work conducted while employed at Amazon.}
\email{dbalakri@buffalo.edu}

\author{Nicholas Brown}
\email{njbrown4@buffalo.edu}

\author{Lukasz Ziarek}
\email{lziarek@buffalo.edu}

\author{Oliver Kennedy}
\email{okennedy@buffalo.edu}

\affiliation{%
  \institution{University at Buffalo}
  \city{Buffalo}
  \state{NY}
  \country{USA}
}

\author{Johannes Luong}
\email{jluong@amazon.de}

\author{Hinnerk Gildhoff}
\email{hinnerk@amazon.de}

\author{Robin Joy}
\email{rcjoy@amazon.de}

\author{Gaurav Saxena}
\email{gssaxena@amazon.com}

\affiliation{%
  \institution{Amazon Web Services}
  \streetaddress{1 Th{\o}rv{\"a}ld Circle}
  \city{Seattle}
  \state{WA}
  \country{USA}
}

\author{Kristopher Micinski}
\email{kkmicins@syr.edu}

\affiliation{%
  \institution{Syracuse University}
  \city{Syracuse}
  \state{NY}
  \country{USA}
}


%%
%% By default, the full list of authors will be used in the page
%% headers. Often, this list is too long, and will overlap
%% other information printed in the page headers. This command allows
%% the author to define a more concise list
%% of authors' names for this purpose.
\renewcommand{\shortauthors}{Balakrishnan et al.}

%%
%% The abstract is a short summary of the work to be presented in the
%% article.
\begin{abstract}
\input{sections/abstract}
\end{abstract}

%%
%% The code below is generated by the tool at http://dl.acm.org/ccs.cfm.
%% Please copy and paste the code instead of the example below.
%%

%%
%% Keywords. The author(s) should pick words that accurately describe
%% the work being presented. Separate the keywords with commas.
\keywords{
  Relational Algebra,
  Scalable Compilers,
  Declarative Compilers
}
%% A "teaser" image appears between the author and affiliation
%% information and the body of the document, and typically spans the
%% page.
% \begin{teaserfigure}
% \end{teaserfigure}

% \received{20 February 2007}
% \received[revised]{12 March 2009}
% \received[accepted]{5 June 2009}

%%
%% This command processes the author and affiliation and title
%% information and builds the first part of the formatted document.
\maketitle

\input{sections/introduction}
\input{sections/specification}
\input{sections/query_evaluation}
% \input{sections/tree_toasting}
\input{sections/experiments}
\input{sections/related_work}
\input{sections/conclusions}

%%
%% The acknowledgments section is defined using the "acks" environment
%% (and NOT an unnumbered section). This ensures the proper
%% identification of the section in the article metadata, and the
%% consistent spelling of the heading.
% \begin{acks}

% \end{acks}

%%
%% The next two lines define the bibliography style to be used, and
%% the bibliography file.
\bibliographystyle{ACM-Reference-Format}
\bibliography{main}


%%
%% If your work has an appendix, this is the place to put it.

%%
%% End of file `sample-sigconf.tex'.
\end{document}