paper.tex

\documentclass[letterpaper,twocolumn,10pt]{article}
\usepackage{usenix-2020-09}

% to be able to draw some self-contained figs
\usepackage{tikz}
\usetikzlibrary{decorations.pathreplacing,calligraphy}
\usetikzlibrary{decorations.pathmorphing}
\usepackage{amsfonts}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{comment}
\usepackage{grffile}
\usepackage[numbers]{natbib}

% inlined bib file
% \usepackage{filecontents}
\usepackage{float}
\usepackage{graphicx}
%\usepackage{subfig}
\usepackage{subcaption}
\usepackage[font=small,skip=1pt]{caption}
\usepackage{titling}

\usepackage{algpseudocode}
\usepackage[linesnumbered,ruled,noend]{algorithm2e}
\usepackage{enumitem}
\usepackage[normalem]{ulem}        % for \sout
\usepackage[capitalize,noabbrev]{cleveref}
\newcommand{\crefrangeconjunction}{--}


\usepackage[compact]{titlesec}











% Names
% These are in common.tex

%%%
%%%  Lists
%%%
%\usepackage{enumitem}
%\setlist{itemsep=0pt,parsep=0pt}             % more compact lists
\setlist{itemsep=1.5pt,parsep=1.5pt}             % more compact lists

%%%%% Formalism %%%%%
% Theorems
\newtheorem{thm}{Theorem}[section]
\newtheorem{lem}{Lemma}[thm]
\renewcommand{\qedsymbol}{$\blacksquare$}

% Histories
\DeclareMathOperator{\inv}{inv} % invocation
\DeclareMathOperator{\res}{res} % response
\DeclareMathOperator{\resp}{\res} % synonym response

% I/O Automata
\DeclareMathOperator*{\states}{\textit{states}}
\DeclareMathOperator*{\start}{\textit{start}}
\DeclareMathOperator*{\sig}{\textit{sig}}
\DeclareMathOperator*{\trans}{\textit{trans}}
\DeclareMathOperator*{\tasks}{\textit{tasks}}
\DeclareMathOperator*{\acts}{\textit{acts}}
\DeclareMathOperator*{\localacts}{\textit{local}}
\DeclareMathOperator*{\extacts}{\textit{extacts}}
\DeclareMathOperator*{\actin}{\textit{in}}
\DeclareMathOperator*{\actout}{\textit{out}}
\DeclareMathOperator*{\actint}{\textit{int}}
\DeclareMathOperator*{\sched}{\textit{sched}}
\DeclareMathOperator*{\trace}{\textit{trace}}
\DeclareMathOperator*{\complete}{\textit{complete}}
\DeclareMathOperator*{\systemf}{\textit{sys}}
\DeclareMathOperator*{\user}{\textit{user}}
\DeclareMathOperator*{\conflicts}{\mathcal{C}}
\DeclareMathOperator*{\op}{\textit{op}}

% Channels
\DeclareMathOperator*{\send}{\textit{sendto}}
\DeclareMathOperator*{\sent}{\textit{sent}}
\DeclareMathOperator*{\request}{\textit{recvfrom}}
\DeclareMathOperator*{\receive}{\textit{received}}
\DeclareMathOperator*{\sendto}{\send}
\DeclareMathOperator*{\recvfrom}{\request}

% Types and objects
\newcommand{\type}{\mathfrak{T}}
\newcommand{\spec}{\mathfrak{S}}
\DeclareMathOperator*{\vals}{\textit{vals}}
\DeclareMathOperator*{\invs}{\textit{invs}}
\DeclareMathOperator*{\resps}{\textit{resps}}
\DeclareMathOperator*{\ops}{\textit{ops}}
\newcommand{\invact}{\textit{inv}}
\newcommand{\respact}{\textit{resp}}
\newcommand{\stopact}{\textit{stop}}

% Orders
\newcommand{\caused}{\rightsquigarrow} % Causality for actions
\newcommand{\rt}{\rightarrow} % Real-time

% Transformation
\DeclareMathOperator*{\transform}{\textit{par}}

%%%%% END Formalism %%%%%

%\renewcommand{\noindentparagraph}[1]{\noindent{\textbf{\textit{#1}}}\ignorespaces}


%-------------------------------------------------------------------------------
\begin{document}
\include{common}
%-------------------------------------------------------------------------------

%don't want date printed
%\date{\vspace{-5ex}} %% MAX
\date{\vspace{-2ex}}
\setlength{\droptitle}{-3em}

\title{\Large \bf Multi-Dispatch Linearizability Liberates Applications for Lower Latency\vspace{-2ex}}

\author{
{\rm Submission \#1400}
} % end author

\maketitle

\input{abstract.tex}

\input{intro.tex}

\input{motivation.tex}

\input{mdl.tex}
\input{zookeeper.tex}

\input{design.tex}

\input{implementation.tex}
\input{eval.tex}

\input{related.tex}

\input{concl.tex}

\bibliographystyle{plainnat}
\bibliography{paper,venues}

\clearpage
\appendix
\input{equivalence.tex}
\input{correctness.tex}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\end{document}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%  LocalWords:  endnotes includegraphics fread ptr nobj noindent
%%  LocalWords:  pdflatex acks