Add tex

1 files changed, 165 insertions, 5 deletions

diff --git a/main.tex b/main.tex
index c695a2e..02a723a 100644
--- a/main.tex
+++ b/main.tex
@@ -1,14 +1,174 @@
-\documentclass{article}
-\usepackage[utf8]{inputenc}
+\documentclass[hyphens,prologue,x11names,rgb,sigconf]{acmart}
 
-\title{Finding Bugs in HLS}
-\author{Yann Herklotz}
-\date{August 2020}
+\def\ymhgistrue{1}\def\ymhgident%
+  {1}
+% ^^^ Set ident to 0 for anonymous, and 1 for personal info
+
+\usepackage[english]{babel}
+\usepackage{graphicx}
+\usepackage{siunitx}
+\usepackage{minted}
+\usepackage{amsthm}
+\usepackage{pgfplots}
+\usepackage{tikz}
+\usepackage{subcaption}
+\usepackage{booktabs}
+\usepackage{multirow}
+\usepackage{multicol}
+\usepackage{hyperref}
+%\usepackage{balance}
+
+\copyrightyear{2020}
+\acmYear{2020}
+\setcopyright{acmcopyright}
+\acmConference[FPGA '20]{Proceedings of the 2020 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays}{February 23--25, 2020}{Seaside, CA, USA}
+\acmBooktitle{Proceedings of the 2020 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA '20), February 23--25, 2020, Seaside, CA, USA}
+\acmPrice{15.00}
+\acmDOI{10.1145/3373087.3375310}
+\acmISBN{978-1-4503-7099-8/20/02}
 
+%%
+%% 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 HLS}
+
+%%
+%% 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{email@imperial.ac.uk}
+\affiliation{%
+  \institution{Imperial College London}
+  \streetaddress{South Kensington Campus}
+  \city{London}
+  \country{UK}
+  \postcode{SW7 2AZ}
+}
+
+\author{Nadesh Ramanathan}
+\email{email@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{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}{Short Authors}
+
+%%
+%% The abstract is a short summary of the work to be presented in the
+%% article.
+\begin{abstract}
+Abstract
+\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{fuzzing}
+
+%%
+%% This command processes the author and affiliation and title
+%% information and builds the first part of the formatted document.
 \maketitle
 
 \section{Introduction}
 
+
+
+\section{Conclusion and further work}
+
+
+
+\begin{acks}
+We acknowledge
+\end{acks}
+
+\bibliographystyle{ACM-Reference-Format}
+\addtolength{\textheight}{-310pt}
+% \balance
+\bibliography{conference.bib}
+
 \end{document}
+\endinput
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: t
+%%% End: