Commit 7bf2babd authored by Jacques-Henri Jourdan's avatar Jacques-Henri Jourdan
Browse files

Progress towards final version.

parent e47e261e
% For double-blind review submission:
\documentclass[acmsmall,review,anonymous]{acmart}
% \documentclass[acmsmall,review,anonymous]{acmart}
% \settopmatter{printfolios=true}
% For single-blind review submission:
% \documentclass[acmsmall,review]{acmart}
% \settopmatter{printfolios=true}
% For final camera-ready submission:
%\documentclass[acmsmall,screen]{acmart}
\documentclass[acmsmall,screen]{acmart}
\settopmatter{}
% Packages.
......@@ -64,21 +64,21 @@
\author{Glen Mével}
\affiliation{%
\institution{Inria, Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire des méthodes formelles}
\postcode{91405}
\city{Orsay}
\institution{Inria, Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire méthodes formelles}
\postcode{91190}
\city{Gif-sur-Yvette}
\country{France}
}
\email{glen.mevel@inria.fr}
\author{Jacques-Henri Jourdan}
\affiliation{%
\institution{Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire des méthodes formelles}
\institution{Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire méthodes formelles}
\postcode{91190}
\city{Gif-sur-Yvette}
\country{France}
}
\email{jacques-henri.jourdan@lri.fr}
\email{jacques-henri.jourdan@universite-paris-saclay.fr}
%% \author{François Pottier}
%% \affiliation{%
......@@ -91,9 +91,26 @@
\input{abstract}
\end{abstract}
% Insert keywords here.
\keywords{separation logic, program verification, concurrency, weak memory, concurrent queue}
% Insert CCSXML here.
\begin{CCSXML}
<ccs2012>
<concept>
<concept_id>10003752.10003790.10011742</concept_id>
<concept_desc>Theory of computation~Separation logic</concept_desc>
<concept_significance>500</concept_significance>
</concept>
<concept>
<concept_id>10003752.10010124.10010138.10010142</concept_id>
<concept_desc>Theory of computation~Program verification</concept_desc>
<concept_significance>500</concept_significance>
</concept>
</ccs2012>
\end{CCSXML}
\ccsdesc[500]{Theory of computation~Separation logic}
\ccsdesc[500]{Theory of computation~Program verification}
\maketitle
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment