diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-03-24 17:25:46 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-03-24 17:25:46 +0000 |
commit | aebe1d6df37d1562baa93546bb566a4d0325cac1 (patch) | |
tree | 40826d518ce7e0dbe0d02ff72aafecd812af71c7 | |
parent | 222363cb6cc1814a32c60cdf078bf9608094c3a7 (diff) | |
download | latte21_hlstpc-aebe1d6df37d1562baa93546bb566a4d0325cac1.tar.gz latte21_hlstpc-aebe1d6df37d1562baa93546bb566a4d0325cac1.zip |
Fix formatting wrt. the requirements
-rw-r--r-- | main.tex | 72 |
1 files changed, 10 insertions, 62 deletions
@@ -1,40 +1,14 @@ -%% For double-blind review submission, w/o CCS and ACM Reference (max submission space) -\documentclass[sigplan,10pt,pagebackref=true,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false} -%\documentclass[pagebackref=true,acmsmall,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false} -%% For double-blind review submission, w/ CCS and ACM Reference -%\documentclass[acmsmall,review,anonymous]{acmart}\settopmatter{printfolios=true} -%% For single-blind review submission, w/o CCS and ACM Reference (max submission space) -%\documentclass[acmsmall,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false} -%% For single-blind review submission, w/ CCS and ACM Reference -%\documentclass[acmsmall,review]{acmart}\settopmatter{printfolios=true} -%% For final camera-ready submission, w/ required CCS and ACM Reference -%\documentclass[acmsmall]{acmart}\settopmatter{} - -%% 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} - -%% 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} -%\copyrightyear{2018} - -%% Bibliography style +\documentclass[sigplan,screen,sigconf]{acmart} + +\settopmatter{printfolios=false,printacmref=false} \bibliographystyle{ACM-Reference-Format} -%% Citation style -%\citestyle{acmauthoryear} + +\setcopyright{rightsretained} +\acmDOI{} +\acmISBN{} +\acmConference[LATTE '21]{1st Workshop on Languages, Tools, and Techniques for Accelerator Design}{April 15, 2021}{Virtual, Earth} + +\setcopyright{rightsretained} \usepackage{amsmath} \usepackage{booktabs} @@ -124,32 +98,6 @@ We argue that a formally verified HLS tool could solve this issue by dramatically reducing the amount of trusted code, and providing a formal description of the input language that is supported. To this end, we have developed \vericert{}, a formally verified HLS tool, based on \compcert{}, a formally verified C compiler. \end{abstract} -%% 2012 ACM Computing Classification System (CSS) concepts -%% Generate at 'http://dl.acm.org/ccs/ccs.cfm'. -\begin{CCSXML} -<ccs2012> -<concept> -<concept_id>10011007.10011006.10011008</concept_id> -<concept_desc>Software and its engineering~General programming languages</concept_desc> -<concept_significance>500</concept_significance> -</concept> -<concept> -<concept_id>10003456.10003457.10003521.10003525</concept_id> -<concept_desc>Social and professional topics~History of programming languages</concept_desc> -<concept_significance>300</concept_significance> -</concept> -</ccs2012> -\end{CCSXML} - -\ccsdesc[500]{Software and its engineering~General programming languages} -\ccsdesc[300]{Social and professional topics~History of programming languages} -%% End of generated code - - -%% Keywords -%% comma separated list -%\keywords{\compcert{}, Coq, high-level synthesis, C, Verilog} - \maketitle \section{Introduction} |