Some initial changes towards the final submission

1 files changed, 40 insertions, 19 deletions

diff --git a/main.tex b/main.tex
index d0fb3fc..84bddd0 100644
--- a/main.tex
+++ b/main.tex
@@ -13,19 +13,18 @@
 %% Journal information
 %% Supplied to authors by publisher for camera-ready submission;
 %% use defaults for review submission.
-\acmJournal{PACMPL}
-\acmVolume{1}
-\acmNumber{CONF} % CONF = POPL or ICFP or OOPSLA
-\acmArticle{1}
-\acmYear{2018}
-\acmMonth{1}\acmDOI{}
-\startPage{1}
+%%\acmJournal{PACMPL}
+%%\acmVolume{1}
+%%\acmNumber{CONF} % CONF = POPL or ICFP or OOPSLA
+%%\acmArticle{1}
+%%\acmYear{2018}
+%%\acmMonth{1}\acmDOI{}
+%%\startPage{1}
 
 %% Copyright information
 %% Supplied to authors (based on authors' rights management selection;
 %% see authors.acm.org) by publisher for camera-ready submission;
 %% use 'none' for review submission.
-\setcopyright{none}
 %\setcopyright{acmcopyright}
 %\setcopyright{acmlicensed}
 %\setcopyright{rightsretained}
@@ -36,6 +35,28 @@
 %% Citation style
 \citestyle{acmauthoryear}
 
+
+%%% If you see 'ACMUNKNOWN' in the 'setcopyright' statement below,
+%%% please first submit your publishing-rights agreement with ACM (follow link on submission page).
+%%% Then please update our instructions page and copy-and-paste the NEW commands into your article.
+%%% Please contact us in case of questions; allow up to 10 min for the system to propagate the information.
+%%%
+%%% The following is specific to OOPSLA '21 and the paper
+%%% 'Formal Verification of High-Level Synthesis'
+%%% by Yann Herklotz, James D. Pollard, Nadesh Ramanathan, and John Wickerson.
+%%%
+\setcopyright{none}
+\acmPrice{}
+\acmDOI{10.1145/3485494}
+\acmYear{2021}
+\copyrightyear{2021}
+\acmSubmissionID{oopsla21main-p86-p}
+\acmJournal{PACMPL}
+\acmVolume{5}
+\acmNumber{OOPSLA}
+\acmArticle{117}
+\acmMonth{10}
+
 \usepackage{amsmath}
 \usepackage{booktabs}
 \usepackage{mathpartir}
@@ -104,38 +125,38 @@
 
 \begin{document}
 
-\title[Formal Verification of HLS]{Formal Verification of High-Level Synthesis}
+\title{Formal Verification of High-Level Synthesis}
 
 %% Author with single affiliation.
 \author{Yann Herklotz}
 \orcid{0000-0002-2329-1029}
 \affiliation{
-  \institution{Imperial College London, UK}
-  %\country{UK}
+  \institution{Imperial College London}
+  \country{UK}
 }
 \email{yann.herklotz15@imperial.ac.uk}
 
 \author{James D. Pollard}
 \orcid{0000-0003-1404-1527}
 \affiliation{
-  \institution{Imperial College London, UK}
-  %\country{UK}
+  \institution{Imperial College London}
+  \country{UK}
 }
 \email{james.pollard16@imperial.ac.uk}
 
 \author{Nadesh Ramanathan}
-\orcid{0000-0000-0000-0000}
+\orcid{0000-0001-9083-8349}
 \affiliation{
-  \institution{Imperial College London, UK}
-  %\country{UK}
+  \institution{Imperial College London}
+  \country{UK}
 }
 \email{n.ramanathan14@imperial.ac.uk}
 
 \author{John Wickerson}
-\orcid{0000-0000-0000-0000}
+\orcid{0000-0001-6735-5533}
 \affiliation{
-  \institution{Imperial College London, UK}
-  %\country{UK}
+  \institution{Imperial College London}
+  \country{UK}
 }
 \email{j.wickerson@imperial.ac.uk}