From cccd6417481dd62e5b48ac5f18454110135daa08 Mon Sep 17 00:00:00 2001 From: John Wickerson 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} - - -10010583.10010682 -Hardware~Electronic design automation -500 - - -10010583.10010682.10010689 -Hardware~Hardware description languages and compilation -500 - - -10011007.10011074.10011099 -Software and its engineering~Software verification and validation -500 - - -\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