2022-03-13 13:09:20 -04:00
|
|
|
\documentclass[sigconf]{acmart}
|
|
|
|
%\documentclass{vldb}
|
|
|
|
|
2022-03-28 16:45:05 -04:00
|
|
|
\settopmatter{printacmref=false}
|
2022-03-31 14:47:06 -04:00
|
|
|
\setcopyright{none}
|
2022-03-28 16:45:05 -04:00
|
|
|
|
2022-03-15 22:36:24 -04:00
|
|
|
\usepackage{hyperref}
|
2022-03-13 13:09:20 -04:00
|
|
|
\usepackage[a-1b]{pdfx}
|
|
|
|
\usepackage{booktabs} % For formal tables
|
|
|
|
\usepackage{xspace}
|
2022-03-13 13:07:22 -04:00
|
|
|
\usepackage[utf8]{inputenc}
|
2022-03-13 13:09:20 -04:00
|
|
|
\usepackage{stmaryrd}
|
|
|
|
\usepackage{balance} % for \balance command ON LAST PAGE (only there!)
|
|
|
|
\usepackage{cleveref}
|
|
|
|
\usepackage{pifont}
|
|
|
|
\usepackage{todonotes}
|
|
|
|
\usepackage{setspace}
|
|
|
|
\usepackage{balance}
|
|
|
|
\usepackage[noend]{algpseudocode}
|
|
|
|
\usepackage{algorithm}
|
2022-03-31 13:37:49 -04:00
|
|
|
\usepackage{subcaption}
|
2022-03-31 11:36:53 -04:00
|
|
|
\usepackage{minted}
|
2022-03-13 13:09:20 -04:00
|
|
|
\usepackage{multirow}
|
|
|
|
\usepackage{colortbl}
|
|
|
|
|
2022-03-15 22:36:24 -04:00
|
|
|
|
2022-03-13 13:09:20 -04:00
|
|
|
\newcommand{\trimfigurespacing}{\vspace*{-5mm}}
|
|
|
|
|
|
|
|
\newcommand{\OK}[1]{\todo[backgroundcolor=blue!25]{\tiny \textbf{Oliver says:} #1}}
|
|
|
|
\newcommand{\BG}[1]{\todo[backgroundcolor=red!25]{\tiny \textbf{Boris says:} #1}}
|
2022-03-20 14:59:22 -04:00
|
|
|
\newcommand{\BGI}[1]{\todo[backgroundcolor=red!25,inline]{\textbf{Boris says:} #1}}
|
2022-03-13 13:09:20 -04:00
|
|
|
\newcommand{\ND}[1]{\todo[backgroundcolor=green!25]{\tiny \textbf{Nachiket says:} #1}}
|
|
|
|
|
|
|
|
\definecolor{PineGreen}{HTML}{007B62}
|
|
|
|
\definecolor{Purple} {HTML}{99479B}
|
|
|
|
\definecolor{NavyBlue} {HTML}{006EB8}
|
|
|
|
\definecolor{BrickRed} {HTML}{B6321C}
|
|
|
|
\definecolor{Black} {HTML}{000000}
|
|
|
|
|
2022-04-01 22:00:20 -04:00
|
|
|
\newminted{python}{linenos,frame=single,numbersep=3pt,fontsize=\footnotesize}
|
|
|
|
|
2022-03-13 13:09:20 -04:00
|
|
|
% \newcommand{\reva}[1]{\textcolor{Black}{#1}}
|
|
|
|
% \newcommand{\revb}[1]{\textcolor{Black}{#1}}
|
|
|
|
% \newcommand{\revc}[1]{\textcolor{Black}{#1}}
|
|
|
|
% \newcommand{\revm}[1]{\textcolor{Black}{#1}}
|
|
|
|
|
2022-03-13 13:07:22 -04:00
|
|
|
|
2022-03-13 13:09:20 -04:00
|
|
|
\input{preamble}
|
|
|
|
|
|
|
|
\newtheorem{example}{Example}
|
|
|
|
\newtheorem{definition}{Definition}
|
|
|
|
|
2022-03-29 11:53:08 -04:00
|
|
|
\newcommand{\systemname}{Workbook\xspace}
|
2022-03-13 13:09:20 -04:00
|
|
|
|
2022-04-01 10:07:03 -04:00
|
|
|
\newcommand{\TheTitle}{Runtime Provenance Refinement for Notebooks}
|
2022-03-13 13:09:20 -04:00
|
|
|
|
|
|
|
\pagestyle{plain}
|
|
|
|
|
|
|
|
|
|
|
|
\AtBeginDocument{%
|
|
|
|
\providecommand\BibTeX{{%
|
|
|
|
\normalfont B\kern-0.5em{\scshape i\kern-0.25em b}\kern-0.8em\TeX}}}
|
2022-03-13 13:07:22 -04:00
|
|
|
|
|
|
|
\begin{document}
|
2022-03-13 13:09:20 -04:00
|
|
|
\fancyhead{}
|
|
|
|
\title{\TheTitle}
|
|
|
|
|
|
|
|
\author{Nachiket Deo}
|
|
|
|
\affiliation{%
|
|
|
|
\institution{University of Connecticut}
|
2022-04-02 23:54:18 -04:00
|
|
|
nachiket.deo@uconn.edu
|
2022-03-13 13:09:20 -04:00
|
|
|
}
|
|
|
|
\author{Boris Glavic}
|
|
|
|
\affiliation{%
|
|
|
|
\institution{Illinois Institute of Technology}
|
|
|
|
bglavic@iit.edu
|
|
|
|
}
|
|
|
|
\author{Oliver Kennedy}
|
|
|
|
\affiliation{%
|
|
|
|
\institution{University at Buffalo}
|
|
|
|
okennedy@buffalo.edu
|
|
|
|
}
|
|
|
|
|
|
|
|
% The default list of authors is too long for headers.
|
|
|
|
% \renewcommand{\shortauthors}{Spoth, Xie et al.}
|
|
|
|
|
|
|
|
|
|
|
|
%
|
|
|
|
% The code below should be generated by the tool at
|
|
|
|
% http://dl.acm.org/ccs.cfm
|
|
|
|
% Please copy and paste the code instead of the example below.
|
|
|
|
%
|
|
|
|
|
|
|
|
% \keywords{JSON Schemas, Independence, Markov Models}
|
|
|
|
|
|
|
|
|
|
|
|
\begin{abstract}
|
|
|
|
\input{sections/abstract.tex}
|
|
|
|
\end{abstract}
|
2022-03-13 13:07:22 -04:00
|
|
|
|
|
|
|
\maketitle
|
|
|
|
|
|
|
|
\section{Introduction}
|
2022-03-13 13:09:20 -04:00
|
|
|
\label{sec:introduction}
|
|
|
|
\input{sections/introduction.tex}
|
|
|
|
|
2022-03-30 22:04:23 -04:00
|
|
|
% \subsection{Problem Statement}
|
|
|
|
% \label{sec:problem}
|
|
|
|
% \input{sections/problem}
|
|
|
|
|
2022-03-31 11:36:53 -04:00
|
|
|
\section{Runtime Provenance Refinement}
|
2022-03-30 22:04:23 -04:00
|
|
|
\label{sec:approx-prov}
|
|
|
|
\input{sections/approx-prov}
|
2022-03-13 13:09:20 -04:00
|
|
|
|
2022-03-31 00:57:07 -04:00
|
|
|
\section{Isolated Cell Execution}
|
2022-03-13 13:09:20 -04:00
|
|
|
\label{sec:isolation}
|
|
|
|
\input{sections/isolation}
|
|
|
|
|
2022-03-15 22:36:24 -04:00
|
|
|
\section{Scheduler}
|
|
|
|
\label{sec:scheduler}
|
|
|
|
\input{sections/scheduler}
|
|
|
|
|
2022-03-13 13:09:20 -04:00
|
|
|
\section{Jupyter Import}
|
|
|
|
\label{sec:import}
|
|
|
|
\input{sections/import}
|
|
|
|
|
2022-03-31 18:45:26 -04:00
|
|
|
\section{Implementation}
|
2022-03-13 13:09:20 -04:00
|
|
|
\label{sec:experiments}
|
|
|
|
\input{sections/experiments}
|
|
|
|
|
|
|
|
\section{Related Work}
|
|
|
|
\label{sec:related}
|
|
|
|
\input{sections/related}
|
|
|
|
|
|
|
|
\section{Conclusions}
|
|
|
|
\label{sec:conclusions}
|
|
|
|
\input{sections/conclusions}
|
|
|
|
|
2022-03-28 16:45:05 -04:00
|
|
|
% \paragraph{Acknowledgements}
|
|
|
|
% \label{sec:acknowledgements}
|
|
|
|
% \input{sections/acknowledgements.tex}
|
2022-03-13 13:09:20 -04:00
|
|
|
|
|
|
|
\bibliographystyle{abbrv}
|
|
|
|
\balance
|
|
|
|
\bibliography{main}
|
2022-03-13 13:07:22 -04:00
|
|
|
|
|
|
|
\end{document}
|