From cccd6417481dd62e5b48ac5f18454110135daa08 Mon Sep 17 00:00:00 2001
From: John Wickerson <j.wickerson@imperial.ac.uk>
Date: Tue, 10 Nov 2020 11:06:38 +0000
Subject: Update on Overleaf.

---
 main.tex | 155 ++++++++++++---------------------------------------------------
 1 file changed, 29 insertions(+), 126 deletions(-)

(limited to 'main.tex')

diff --git a/main.tex b/main.tex
index afb82b1..d69638b 100644
--- a/main.tex
+++ b/main.tex
@@ -1,4 +1,5 @@
-\documentclass[hyphens,prologue,x11names,rgb,sigconf,anonymous,review]{acmart}
+%\documentclass[hyphens,prologue,x11names,rgb,sigconf,anonymous,review]{acmart}
+\documentclass[conference]{IEEEtran}
 
 \usepackage[english]{babel}
 \usepackage{graphicx}
@@ -8,25 +9,16 @@
 \usepackage{amsthm}
 \usepackage{pgfplots}
 \usepackage{tikz}
-\usepackage{subcaption}
+%\usepackage{subcaption}
 \usepackage{booktabs}
 \usepackage{multirow}
 \usepackage{multicol}
 \usepackage{hyperref}
 %\usepackage{balance}
 
-\copyrightyear{2021}
-\acmYear{2021}
-\setcopyright{acmcopyright}
-\acmConference[FPGA '21]{Proceedings of the 2021 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays}{February 23--25, 2021}{Seaside, CA, USA}
-\acmBooktitle{Proceedings of the 2021 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA '21), February 23--25, 2021, Seaside, CA, USA}
-\acmPrice{15.00}
-\acmDOI{10.1145/3373087.3375310}
-\acmISBN{978-1-4503-7099-8/20/02}
-
 \newif\ifCOMMENTS
 \COMMENTStrue
-\newcommand{\Comment}[3]{\ifCOMMENTS\textcolor{#1}{{\bf [\![#2:} #3{\bf ]\!]}}\fi}
+\newcommand{\Comment}[3]{\ifCOMMENTS\textcolor{#1}{{\bf [[#2:} #3{\bf ]]}}\fi}
 \newcommand\JW[1]{\Comment{red!75!black}{JW}{#1}}
 \newcommand\YH[1]{\Comment{green!50!blue}{YH}{#1}}
 \newcommand\NR[1]{\Comment{yellow!50!black}{NR}{#1}}
@@ -35,84 +27,34 @@
 \newcommand{\code}[1]{\texttt{#1}}
 \newcommand\creduce{C-Reduce}
 
-%%
-%% 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{Fuzzing High-Level Synthesis Tools}
 
-%%
-%% 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{Zewei Du}
-\email{zewei.du19@imperial.ac.uk}
-\affiliation{%
-  \institution{Imperial College London}
-  \streetaddress{South Kensington Campus}
-  \city{London}
-  \country{UK}
-  \postcode{SW7 2AZ}
-}
-
-\author{Yann Herklotz}
-\email{yann.herklotz15@imperial.ac.uk}
-\affiliation{%
-  \institution{Imperial College London}
-  \streetaddress{South Kensington Campus}
-  \city{London}
-  \country{UK}
-  \postcode{SW7 2AZ}
-}
-
-\author{Nadesh Ramanathan}
-\email{n.ramanathan14@imperial.ac.uk}
-\affiliation{%
-  \institution{Imperial College London}
-  \streetaddress{South Kensington Campus}
-  \city{London}
-  \country{UK}
-  \postcode{SW7 2AZ}
-}
-
-\author{John Wickerson}
-\email{j.wickerson@imperial.ac.uk}
-\affiliation{%
-  \institution{Imperial College London}
-  \streetaddress{South Kensington Campus}
-  \city{London}
-  \country{UK}
-  \postcode{SW7 2AZ}
-}
-
-%%
-%% 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}{Du, Herklotz, Ramanathan, and Wickerson}
-
-%%
-%% The abstract is a short summary of the work to be presented in the
-%% article.
+\newif\ifBLIND
+\BLINDtrue
+\ifBLIND
+\author{Blind review}
+\else
+\author{%
+\IEEEauthorblockN{Zewei Du}
+\IEEEauthorblockA{Imperial College London, UK \\
+Email: zewei.du19@imperial.ac.uk}
+\and
+\IEEEauthorblockN{Yann Herklotz}
+\IEEEauthorblockA{Imperial College London, UK \\
+Email: yann.herklotz15@imperial.ac.uk}
+\and
+\IEEEauthorblockN{Nadesh Ramanathan}
+\IEEEauthorblockA{Imperial College London, UK \\
+Email: n.ramanathan14@imperial.ac.uk}
+\and
+\IEEEauthorblockN{John Wickerson}
+\IEEEauthorblockA{Imperial College London, UK \\
+Email: j.wickerson@imperial.ac.uk}}
+\fi
+\maketitle
+
 \begin{abstract}
 High-level synthesis (HLS) is becoming an increasingly important part of the computing landscape, even in safety-critical domains where correctness is key. 
 As such, HLS tools are increasingly relied upon. In this paper, we investigate whether they are trustworthy.
@@ -122,45 +64,6 @@ Out of 6700 test cases, we found 272 programs that failed in at least one tool,
 
 \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.
-%%
-
-\begin{CCSXML}
-<ccs2012>
-<concept>
-<concept_id>10010583.10010682</concept_id>
-<concept_desc>Hardware~Electronic design automation</concept_desc>
-<concept_significance>500</concept_significance>
-</concept>
-<concept>
-<concept_id>10010583.10010682.10010689</concept_id>
-<concept_desc>Hardware~Hardware description languages and compilation</concept_desc>
-<concept_significance>500</concept_significance>
-</concept>
-<concept>
-<concept_id>10011007.10011074.10011099</concept_id>
-<concept_desc>Software and its engineering~Software verification and validation</concept_desc>
-<concept_significance>500</concept_significance>
-</concept>
-</ccs2012>
-\end{CCSXML}
-
-\ccsdesc[500]{Hardware~Electronic design automation}
-\ccsdesc[500]{Hardware~Hardware description languages and compilation}
-\ccsdesc[500]{Software and its engineering~Software verification and validation}
-
-%%
-%% Keywords. The author(s) should pick words that accurately describe
-%% the work being presented. Separate the keywords with commas.
-\keywords{compilers, fuzzing, hardware design, reliability, testing}
-
-%%
-%% This command processes the author and affiliation and title
-%% information and builds the first part of the formatted document.
-\maketitle
-
 \input{intro}
 
 \input{related}
@@ -179,7 +82,7 @@ Out of 6700 test cases, we found 272 programs that failed in at least one tool,
 
 \bigskip
 
-\bibliographystyle{ACM-Reference-Format}
+\bibliographystyle{IEEEtran}
 \bibliography{conference.bib}
 
 \end{document}
-- 
cgit 

