Initial commit

main
Oliver Kennedy 2023-05-09 16:26:47 -04:00
commit 9972e79863
Signed by: okennedy
GPG Key ID: 3E5F9B3ABD3FDB60
8 changed files with 15535 additions and 0 deletions

8
.gitignore vendored Normal file
View File

@ -0,0 +1,8 @@
*.ins
*.aux
*.bbl
*.blg
*.log
*.out
/main.pdf
*.synctex.gz

3081
ACM-Reference-Format.bst Normal file

File diff suppressed because it is too large Load Diff

3530
acmart.cls Normal file

File diff suppressed because it is too large Load Diff

8666
acmart.dtx Normal file

File diff suppressed because it is too large Load Diff

9
main.bib Normal file
View File

@ -0,0 +1,9 @@
@inproceedings{balakrishnan:2021:sigmod:treetoaster,
author = {Balakrishnan, Darshana and Nuessle, Carl and Kennedy, Oliver and Ziarek, Lukasz},
title = {TreeToaster: Towards an IVM-Optimized Compiler},
booktitle = {SIGMOD},
year = {2021}
}

226
main.tex Normal file
View File

@ -0,0 +1,226 @@
%%
%% 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,anonymous]{acmart}
\usepackage{todonotes}
\definecolor{lightorange}{RGB}{255,230,200}
\newcommand{\OK}[1]{\todo[color=lightorange]{#1}}
\newcommand{\DB}[1]{\todo[color=green]{#1}}
\newcommand{\LZ}[1]{\todo[color=blue]{#1}}
%%
%% \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{Declarative 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{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{???}
\email{???@amazon.com}
\affiliation{%
\institution{Amazon}
\streetaddress{1 Th{\o}rv{\"a}ld Circle}
\city{Seattle}
\state{WA}
\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{}
%% 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}
%%
%% 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}

3
sections/abstract.tex Normal file
View File

@ -0,0 +1,3 @@
%!TEX root=../main.tex
This is some abstract text

12
sections/introduction.tex Normal file
View File

@ -0,0 +1,12 @@
%!TEX root=../main.tex
\section{Introduction}
As several prior works have observed~\cite{balakrishnan:2021:sigmod:treetoaster}\OK{there were a few HN posts some time ago about similar ideas...}, there is considerable overlap in how a compiler and a database are constructed.
For example, a key part of any compiler is the optimizer, which incrementally rewrites a program into an equivalent, albeit more efficient program.
As observed by Balakrishnan et. al.~\cite{}
As others have noted, multiple