From 4a441c67ff5645e0db912c9e874c626f2b8138fb Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 3 Jun 2020 11:55:45 +0100 Subject: Add ACM template --- main.tex | 199 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++-- 1 file changed, 194 insertions(+), 5 deletions(-) (limited to 'main.tex') diff --git a/main.tex b/main.tex index 6c5aa77..cd40e59 100644 --- a/main.tex +++ b/main.tex @@ -1,14 +1,203 @@ -\documentclass{article} -\usepackage[utf8]{inputenc} +%% For double-blind review submission, w/o CCS and ACM Reference (max submission space) +\documentclass[acmsmall,review,anonymous]{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{} % \acmDOI{10.1145/nnnnnnn.nnnnnnn} +\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} %% If different from \acmYear + +%% Bibliography style +\bibliographystyle{ACM-Reference-Format} +%% Citation style +%% Note: author/year citations are required for papers published as an +%% issue of PACMPL. +\citestyle{acmauthoryear} %% For author/year citations + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%% Note: Authors migrating a paper from PACMPL format to traditional +%% SIGPLAN proceedings format must update the '\documentclass' and +%% topmatter commands above; see 'acmart-sigplanproc-template.tex'. +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + +%% Some recommended packages. +\usepackage{booktabs} %% For formal tables: + %% http://ctan.org/pkg/booktabs +\usepackage{subcaption} %% For complex figures with subfigures/subcaptions + %% http://ctan.org/pkg/subcaption -\title{Formally Verified HLS} -\author{ymherklotz } -\date{June 2020} \begin{document} +%% Title information +\title[Short Title]{Full Title} %% [Short Title] is optional; + %% when present, will be used in + %% header instead of Full Title. +\titlenote{with title note} %% \titlenote is optional; + %% can be repeated if necessary; + %% contents suppressed with 'anonymous' +\subtitle{Subtitle} %% \subtitle is optional +\subtitlenote{with subtitle note} %% \subtitlenote is optional; + %% can be repeated if necessary; + %% contents suppressed with 'anonymous' + + +%% Author information +%% Contents and number of authors suppressed with 'anonymous'. +%% Each author should be introduced by \author, followed by +%% \authornote (optional), \orcid (optional), \affiliation, and +%% \email. +%% An author may have multiple affiliations and/or emails; repeat the +%% appropriate command. +%% Many elements are not rendered, but should be provided for metadata +%% extraction tools. + +%% Author with single affiliation. +\author{First1 Last1} +\authornote{with author1 note} %% \authornote is optional; + %% can be repeated if necessary +\orcid{nnnn-nnnn-nnnn-nnnn} %% \orcid is optional +\affiliation{ + \position{Position1} + \department{Department1} %% \department is recommended + \institution{Institution1} %% \institution is required + \streetaddress{Street1 Address1} + \city{City1} + \state{State1} + \postcode{Post-Code1} + \country{Country1} %% \country is recommended +} +\email{first1.last1@inst1.edu} %% \email is recommended + +%% Author with two affiliations and emails. +\author{First2 Last2} +\authornote{with author2 note} %% \authornote is optional; + %% can be repeated if necessary +\orcid{nnnn-nnnn-nnnn-nnnn} %% \orcid is optional +\affiliation{ + \position{Position2a} + \department{Department2a} %% \department is recommended + \institution{Institution2a} %% \institution is required + \streetaddress{Street2a Address2a} + \city{City2a} + \state{State2a} + \postcode{Post-Code2a} + \country{Country2a} %% \country is recommended +} +\email{first2.last2@inst2a.com} %% \email is recommended +\affiliation{ + \position{Position2b} + \department{Department2b} %% \department is recommended + \institution{Institution2b} %% \institution is required + \streetaddress{Street3b Address2b} + \city{City2b} + \state{State2b} + \postcode{Post-Code2b} + \country{Country2b} %% \country is recommended +} +\email{first2.last2@inst2b.org} %% \email is recommended + + +%% Abstract +%% Note: \begin{abstract}...\end{abstract} environment must come +%% before \maketitle command +\begin{abstract} +Text of abstract \ldots. +\end{abstract} + + +%% 2012 ACM Computing Classification System (CSS) concepts +%% Generate at 'http://dl.acm.org/ccs/ccs.cfm'. +\begin{CCSXML} + + +10011007.10011006.10011008 +Software and its engineering~General programming languages +500 + + +10003456.10003457.10003521.10003525 +Social and professional topics~History of programming languages +300 + + +\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{keyword1, keyword2, keyword3} %% \keywords are mandatory in final camera-ready submission + + +%% \maketitle +%% Note: \maketitle command must come after title commands, author +%% commands, abstract environment, Computing Classification System +%% environment and commands, and keywords command. \maketitle + \section{Introduction} +Text of paper \ldots + + +%% Acknowledgments +\begin{acks} %% acks environment is optional + %% contents suppressed with 'anonymous' + %% Commands \grantsponsor{}{}{} and + %% \grantnum[]{}{} should be used to + %% acknowledge financial support and will be used by metadata + %% extraction tools. + This material is based upon work supported by the + \grantsponsor{GS100000001}{National Science + Foundation}{http://dx.doi.org/10.13039/100000001} under Grant + No.~\grantnum{GS100000001}{nnnnnnn} and Grant + No.~\grantnum{GS100000001}{mmmmmmm}. Any opinions, findings, and + conclusions or recommendations expressed in this material are those + of the author and do not necessarily reflect the views of the + National Science Foundation. +\end{acks} + + +%% Bibliography +%\bibliography{bibfile} + + +%% Appendix +\appendix +\section{Appendix} + +Text of appendix \ldots + \end{document} -- cgit