SIG Proceedings Paper in LaTeX Format∗

Extended Abstract†

Ben Trovato‡ G.K.M. Tobin§ Lars Thørväld ¶

Institute for Clarity in Documentation Institute for Clarity in Documentation The Thørväld Group
Dublin, Ohio Dublin, Ohio Hekla, Iceland
[email protected] [email protected] [email protected]

Valerie Béranger Aparna Patel Huifen Chan

Inria Paris-Rocquencourt Rajiv Gandhi University Tsinghua University
Rocquencourt, France Doimukh, Arunachal Pradesh, India Haidian Qu, Beijing Shi, China

Charles Palmer John Smith Julius P. Kumquat

Palmer Research Laboratories The Thørväld Group The Kumquat Consortium
San Antonio, Texas [email protected] [email protected]
[email protected]

ABSTRACT on the page, specified size of margins, specified column width and
This is part of the abstract. gutter size.

CCS CONCEPTS 2 THE BODY OF THE PAPER

• Computer systems organization → Embedded systems; Re- Typically, the body of a paper is organized into a hierarchical struc-
dundancy; Robotics; • Networks → Network reliability; ture, with numbered or unnumbered headings for sections, subsec-
tions, sub-subsections, and even smaller sections. The command
KEYWORDS \section that precedes this paragraph is part of such a hierarchy.2
ACM proceedings, LATEX, text tagging LATEX handles the numbering and placement of these headings for
you, when you use the appropriate heading commands around
ACM Reference Format:
the titles of the headings. If you want a sub-subsection or smaller
Ben Trovato, G.K.M. Tobin, Lars Thørväld, Valerie Béranger, Aparna Patel,
Huifen Chan, Charles Palmer, John Smith, and Julius P. Kumquat. 1997.
part to be unnumbered in your output, simply append an asterisk
SIG Proceedings Paper in LaTeX Format: Extended Abstract. In Proceed- to the command name. Examples of both numbered and unnum-
ings of ACM Woodstock conference (WOODSTOCK’97), Jennifer B. Sartor, bered headings will appear throughout the balance of this sample
Theo D’Hondt, and Wolfgang De Meuter (Eds.). ACM, New York, NY, USA, document.[3]
Article 4, 5 pages. https://doi.org/10.475/123_4 Because the entire article is contained in the document environ-
ment, you can indicate the start of a new paragraph with a blank
1 INTRODUCTION line in your input file; that is why this sentence forms a separate
The proceedings are the records of a conference.1 ACM seeks to give paragraph.
these conference by-products a uniform, high-quality appearance.
To do this, ACM has some rigid requirements for the format of the 2.1 Type Changes and Special Characters
proceedings documents: there is a specified format (balanced double We have already seen several typeface changes in this sample.
columns), a specified set of fonts (Arial or Helvetica and Times You can indicate italicized words or phrases in your text with the
Roman) in certain specified sizes, a specified live area, centered command \textit; emboldening with the command \textbf and
∗ Produces the permission block, and copyright information typewriter-style (for instance, for computer code) with \texttt.
† The full version of the author’s guide is available as acmart.pdf document But remember, you do not have to indicate typestyle changes when
‡ Dr. Trovato insisted his name be first.
such changes are part of the structural elements of your article;
§ The secretary disavows any knowledge of this author’s actions.
¶ This author is the one who did all the really hard work. for instance, the heading of this subsection will be in a sans serif3
1 This is a footnote typeface, but that is handled by the document class file. Take care
with the use of4 the curly braces in typeface changes; they mark the
Permission to make digital or hard copies of part or all of this work for personal or
classroom use is granted without fee provided that copies are not made or distributed
beginning and end of the text that is to be in the different typeface.
for profit or commercial advantage and that copies bear this notice and the full citation You can use whatever symbols, accented characters, or non-
on the first page. Copyrights for third-party components of this work must be honored. English characters you need anywhere in your document; you can
For all other uses, contact the owner/author(s).
WOODSTOCK’97, July 1997, El Paso, Texas USA
2 Thisis a footnote.
© 2016 Copyright held by the owner/author(s).
3 Another footnote here. Let’s make this a rather long one to see how it looks.
ACM ISBN 123-4567-24-567/08/06. . . $15.00
4 Another footnote.
https://doi.org/10.475/123_4
WOODSTOCK’97, July 1997, El Paso, Texas USA B. Trovato et al.

find a complete list of what is available in the LATEX User’s Guide Table 1: Frequency of Special Characters
[14].
Non-English or Math Frequency Comments
2.2 Math Equations
Ø 1 in 1,000 For Swedish names
You may want to display math equations in three distinct styles: π 1 in 5 Common in math
inline, numbered or non-numbered display. Each of the three are $ 4 in 5 Used in business
discussed in the next sections. Ψ12 1 in 40,000 Unexplained usage
2.2.1 Inline (In-text) Equations. A formula that appears in the
running text is called an inline or in-text formula. It is produced
by the math environment, which can be invoked with the usual Some examples. A paginated journal article [2], an enumerated
\begin . . . \end construction or with the short form $ . . . $. journal article [12], a reference to an entire issue [11], a monograph
You can use any of the symbols and structures, from α to ω, available (whole book) [27], a monograph/whole book in a series (see 2a
in LATEX [28]; this section will simply show a few examples of in- in spec. document) [20], a divisible-book such as an anthology or
text equations in context. Notice how this equation: limn→∞ x = 0, compilation [15] followed by the same example, however we only
set here in in-line math style, looks slightly different when set in output the series if the volume number is given [16] (so Editor00a’s
display style. (See next section). series should NOT be present since it has no vol. no.), a chapter
in a divisible book [39], a chapter in a divisible book in a series
2.2.2 Display Equations. A numbered display equation—one set
[13], a multi-volume work as book [26], an article in a proceedings
off by vertical space from the text and centered horizontally—is
(of a conference, symposium, workshop for example) (paginated
produced by the equation environment. An unnumbered display
proceedings article) [5], a proceedings article with all possible ele-
equation is produced by the displaymath environment.
ments [38], an example of an enumerated proceedings article [18],
Again, in either environment, you can use any of the symbols
an informally published work [19], a doctoral dissertation [10], a
and structures available in LATEX; this section will just give a couple
master’s thesis: [6], an online document / world wide web resource
of examples of display equations in context. First, consider the
[1, 32, 40], a video game (Case 1) [31] and (Case 2) [30] and [29] and
equation, shown as an inline equation above:
(Case 3) a patent [37], work accepted for publication [33], ’YYYYb’-
lim x = 0 (1) test for prolific author [34] and [35]. Other cites might contain
n→∞
’duplicate’ DOI and URLs (some SIAM articles) [25]. Boris / Barbara
Notice how it is formatted somewhat differently in the display- Beeton: multi-volume works as books [23] and [22].
math environment. Now, we’ll enter an unnumbered equation: A couple of citations with DOIs: [24, 25].
∞
Õ Online citations: [40–42].
x +1
i=0 2.4 Tables
and follow it with another numbered equation: Because tables cannot be split across pages, the best placement for
Õ∞ ∫ π +2 them is typically the top of the page nearest their initial cite. To en-
xi = f (2) sure this proper “floating” placement of tables, use the environment
i=0 0 table to enclose the table’s contents and the table caption. The con-
just to demonstrate LATEX’s able handling of numbering. tents of the table itself must go in the tabular environment, to be
aligned properly in rows and columns, with the desired horizontal
and vertical rules. Again, detailed instructions on tabular material
2.3 Citations
are found in the LATEX User’s Guide.
Citations to articles [7–9, 21], conference proceedings [9] or maybe Immediately following this sentence is the point at which Table 1
books [28, 36] listed in the Bibliography section of your article will is included in the input file; compare the placement of the table
occur throughout the text of your article. You should use BibTeX to here with the table in the printed output of this document.
automatically produce this bibliography; you simply need to insert To set a wider table, which takes up the whole width of the page’s
one of several citation commands with a key of the item cited in the live area, use the environment table* to enclose the table’s contents
proper location in the .tex file [28]. The key is a short reference and the table caption. As with a single-column table, this wide
you invent to uniquely identify each work; in this sample document, table will “float” to a location deemed more desirable. Immediately
the key is the first author’s surname and a word from the title. This following this sentence is the point at which Table 2 is included in
identifying key is included with each item in the .bib file for your the input file; again, it is instructive to compare the placement of
article. the table here with the table in the printed output of this document.
The details of the construction of the .bib file are beyond the It is strongly recommended to use the package booktabs [17]
scope of this sample document, but more information can be found and follow its main principles of typography with respect to tables:
in the Author’s Guide, and exhaustive details in the LATEX User’s
Guide by Lamport [28]. (1) Never, ever use vertical rules.
This article shows only the plainest form of the citation com- (2) Never use double rules.
mand, using \cite. It is also a good idea not to overuse horizontal rules.
SIG Proceedings Paper in LaTeX Format WOODSTOCK’97, July 1997, El Paso, Texas USA

Table 2: Some Typical Commands

Command A Number Comments

\author 100 Author
\table 300 For tables
\table* 400 For wider tables

proofs. ACM uses two types of these constructs: theorem-like and

definition-like.
Here is a theorem:

Figure 1: A sample black and white graphic. Theorem 2.1. Let f be continuous on [a, b]. If G is an antideriva-
tive for f on [a, b], then
∫ b
f (t) dt = G(b) − G(a).
a
Here is a definition:
Definition 2.2. If z is irrational, then by e z we mean the unique
number that has logarithm z:
log e z = z.
Figure 2: A sample black and white graphic that has been The pre-defined theorem-like constructs are theorem, conjec-
resized with the includegraphics command. ture, proposition, lemma and corollary. The pre-defined defini-
tion-like constructs are example and definition. You can add your
own constructs using the amsthm interface [4]. The styles used in
the \theoremstyle command are acmplain and acmdefinition.
Another construct is proof, for example,

Proof. Suppose on the contrary there exists a real number L

such that
f (x)
lim = L.
x →∞ д(x)

Figure 4: A sample black and white graphic that has been Then
 
resized with the includegraphics command. f (x) f (x)
l = lim f (x) = lim дx · = lim д(x)· lim = 0·L = 0,
x →c x →c д(x) x →c x →c д(x)

which contradicts our assumption that l , 0. 

2.5 Figures
Like tables, figures cannot be split across pages; the best placement 3 CONCLUSIONS
for them is typically the top or the bottom of the page nearest their This paragraph will end the body of this sample document. Remem-
initial cite. To ensure this proper “floating” placement of figures, ber that you might still have Acknowledgments or Appendices;
use the environment figure to enclose the figure and its caption. brief samples of these follow. There is still the Bibliography to deal
This sample document contains examples of .eps files to be with; and we will make a disclaimer about that here: with the excep-
displayable with LATEX. If you work with pdfLATEX, use files in the tion of the reference to the LATEX book, the citations in this paper
.pdf format. Note that most modern TEX systems will convert .eps are to articles which have nothing to do with the present subject
to .pdf for you on the fly. More details on each of these are found and are used as examples only.
in the Author’s Guide.
As was the case with tables, you may want a figure that spans two A HEADINGS IN APPENDICES
columns. To do this, and still to ensure proper “floating” placement The rules about hierarchical headings discussed above for the body
of tables, use the environment figure* to enclose the figure and its of the article are different in the appendices. In the appendix en-
caption. And don’t forget to end the environment with figure*, not vironment, the command section is used to indicate the start of
figure! each Appendix, with alphabetic order designation (i.e., the first is
A, the second B, etc.) and a title (if you include one). So, if you need
2.6 Theorem-like Constructs hierarchical structure within an Appendix, start with subsection
Other common constructs that may occur in your article are the as the highest level. Here is an outline of the body of this document
forms for logical constructs like theorems, axioms, corollaries and in Appendix-appropriate form:
WOODSTOCK’97, July 1997, El Paso, Texas USA B. Trovato et al.

Figure 3: A sample black and white graphic that needs to span two columns of text.

A.1 Introduction [3] I. F. Akyildiz, T. Melodia, and K. R. Chowdhury. 2007. A Survey on Wireless
Multimedia Sensor Networks. Computer Netw. 51, 4 (2007), 921–960.
A.2 The Body of the Paper [4] American Mathematical Society 2015. Using the amsthm Package. American
Mathematical Society. http://www.ctan.org/pkg/amsthm.
A.2.1 Type Changes and Special Characters. [5] Sten Andler. 1979. Predicate Path expressions. In Proceedings of the 6th. ACM
SIGACT-SIGPLAN symposium on Principles of Programming Languages (POPL ’79).
A.2.2 Math Equations. ACM Press, New York, NY, 226–236. https://doi.org/10.1145/567752.567774
[6] David A. Anisi. 2003. Optimal Motion Control of a Ground Vehicle. Master’s thesis.
Inline (In-text) Equations. Royal Institute of Technology (KTH), Stockholm, Sweden.
[7] Mic Bowman, Saumya K. Debray, and Larry L. Peterson. 1993. Reasoning About
Display Equations. Naming Systems. ACM Trans. Program. Lang. Syst. 15, 5 (November 1993), 795–
825. https://doi.org/10.1145/161468.161471
A.2.3 Citations. [8] Johannes Braams. 1991. Babel, a Multilingual Style-Option System for Use with
LaTeX’s Standard Document Styles. TUGboat 12, 2 (June 1991), 291–301.
A.2.4 Tables. [9] Malcolm Clark. 1991. Post Congress Tristesse. In TeX90 Conference Proceedings.
TeX Users Group, 84–89.
A.2.5 Figures. [10] Kenneth L. Clarkson. 1985. Algorithms for Closest-Point Problems (Computational
Geometry). Ph.D. Dissertation. Stanford University, Palo Alto, CA. UMI Order
A.2.6 Theorem-like Constructs. Number: AAT 8506171.
[11] Jacques Cohen (Ed.). 1996. Special issue: Digital Libraries. Commun. ACM 39, 11
A Caveat for the TEX Expert. (Nov. 1996).
[12] Sarah Cohen, Werner Nutt, and Yehoshua Sagic. 2007. Deciding equivalances
among conjunctive aggregate queries. J. ACM 54, 2, Article 5 (April 2007),
A.3 Conclusions 50 pages. https://doi.org/10.1145/1219092.1219093
[13] Bruce P. Douglass, David Harel, and Mark B. Trakhtenbrot. 1998. Statecarts in
A.4 References use: structured analysis and object-orientation. In Lectures on Embedded Systems,
Grzegorz Rozenberg and Frits W. Vaandrager (Eds.). Lecture Notes in Computer
Generated by bibtex from your .bib file. Run latex, then bibtex, then Science, Vol. 1494. Springer-Verlag, London, 368–394. https://doi.org/10.1007/
latex twice (to resolve references) to create the .bbl file. Insert that 3-540-65193-4_29
.bbl file into the .tex source file and comment out the command [14] D. D. Dunlop and V. R. Basili. 1985. Generalizing specifications for uniformly
implemented loops. ACM Trans. Program. Lang. Syst. 7, 1 (Jan. 1985), 137–158.
\thebibliography. [15] Ian Editor (Ed.). 2007. The title of book one (1st. ed.). The name of the series
one, Vol. 9. University of Chicago Press, Chicago. https://doi.org/10.1007/
B MORE HELP FOR THE HARDY 3-540-09237-4
[16] Ian Editor (Ed.). 2008. The title of book two (2nd. ed.). University of Chicago Press,
Of course, reading the source code is always useful. The file acmart. Chicago, Chapter 100. https://doi.org/10.1007/3-540-09237-4
pdf contains both the user guide and the commented code. [17] Simon Fear. 2005. Publication quality tables in LATEX. http://www.ctan.org/pkg/
booktabs.
[18] Matthew Van Gundy, Davide Balzarotti, and Giovanni Vigna. 2007. Catch me, if
ACKNOWLEDGMENTS you can: Evading network signatures with web-based polymorphic worms. In
Proceedings of the first USENIX workshop on Offensive Technologies (WOOT ’07).
The authors would like to thank Dr. Yuhua Li for providing the USENIX Association, Berkley, CA, Article 7, 9 pages.
MATLAB code of the BEPS method. [19] David Harel. 1978. LOGICS of Programs: AXIOMATICS and DESCRIPTIVE POWER.
MIT Research Lab Technical Report TR-200. Massachusetts Institute of Technol-
The authors would also like to thank the anonymous referees ogy, Cambridge, MA.
for their valuable comments and helpful suggestions. The work is [20] David Harel. 1979. First-Order Dynamic Logic. Lecture Notes in Computer Science,
supported by the National Natural Science Foundation of China Vol. 68. Springer-Verlag, New York, NY. https://doi.org/10.1007/3-540-09237-4
[21] Maurice Herlihy. 1993. A Methodology for Implementing Highly Concurrent
under Grant No.: 61273304 and Young Scientists’ Support Program Data Objects. ACM Trans. Program. Lang. Syst. 15, 5 (November 1993), 745–770.
(http://www.nnsf.cn/youngscientists). https://doi.org/10.1145/161468.161469
[22] Lars Hörmander. 1985. The analysis of linear partial differential operators. III.
Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of
REFERENCES Mathematical Sciences], Vol. 275. Springer-Verlag, Berlin, Germany. viii+525
[1] Rafal Ablamowicz and Bertfried Fauser. 2007. CLIFFORD: a Maple 11 Package pages. Pseudodifferential operators.
for Clifford Algebra Computations, version 11. (2007). Retrieved February 28, [23] Lars Hörmander. 1985. The analysis of linear partial differential operators. IV.
2008 from http://math.tntech.edu/rafal/cliff11/index.html Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of
[2] Patricia S. Abril and Robert Plant. 2007. The patent holder’s dilemma: Buy, sell, Mathematical Sciences], Vol. 275. Springer-Verlag, Berlin, Germany. vii+352
or troll? Commun. ACM 50, 1 (Jan. 2007), 36–44. https://doi.org/10.1145/1188913. pages. Fourier integral operators.
1188915
SIG Proceedings Paper in LaTeX Format WOODSTOCK’97, July 1997, El Paso, Texas USA

[24] IEEE 2004. IEEE TCSC Executive Committee. In Proceedings of the IEEE Interna-
tional Conference on Web Services (ICWS ’04). IEEE Computer Society, Washington,
DC, USA, 21–22. https://doi.org/10.1109/ICWS.2004.64
[25] Markus Kirschmer and John Voight. 2010. Algorithmic Enumeration of Ideal
Classes for Quaternion Orders. SIAM J. Comput. 39, 5 (Jan. 2010), 1714–1747.
https://doi.org/10.1137/080734467
[26] Donald E. Knuth. 1997. The Art of Computer Programming, Vol. 1: Fundamental
Algorithms (3rd. ed.). Addison Wesley Longman Publishing Co., Inc.
[27] David Kosiur. 2001. Understanding Policy-Based Networking (2nd. ed.). Wiley,
New York, NY.
[28] Leslie Lamport. 1986. LATEX: A Document Preparation System. Addison-Wesley,
Reading, MA.
[29] Newton Lee. 2005. Interview with Bill Kinder: January 13, 2005. Video. Com-
put. Entertain. 3, 1, Article 4 (Jan.-March 2005). https://doi.org/10.1145/1057270.
1057278
[30] Dave Novak. 2003. Solder man. Video. In ACM SIGGRAPH 2003 Video Review on
Animation theater Program: Part I - Vol. 145 (July 27–27, 2003). ACM Press, New
York, NY, 4. https://doi.org/99.9999/woot07-S422
[31] Barack Obama. 2008. A more perfect union. Video. (5 March 2008).
Retrieved March 21, 2008 from http://video.google.com/videoplay?docid=
6528042696351994555
[32] Poker-Edge.Com. 2006. Stats and Analysis. (March 2006). Retrieved June 7, 2006
from http://www.poker-edge.com/stats.php
[33] Bernard Rous. 2008. The Enabling of Digital Libraries. Digital Libraries 12, 3,
Article 5 (July 2008). To appear.
[34] Mehdi Saeedi, Morteza Saheb Zamani, and Mehdi Sedighi. 2010. A library-based
synthesis methodology for reversible logic. Microelectron. J. 41, 4 (April 2010),
185–194.
[35] Mehdi Saeedi, Morteza Saheb Zamani, Mehdi Sedighi, and Zahra Sasanian. 2010.
Synthesis of Reversible Circuit Using Cycle-Based Approach. J. Emerg. Technol.
Comput. Syst. 6, 4 (Dec. 2010).
[36] S.L. Salas and Einar Hille. 1978. Calculus: One and Several Variable. John Wiley
and Sons, New York.
[37] Joseph Scientist. 2009. The fountain of youth. (Aug. 2009). Patent No. 12345,
Filed July 1st., 2008, Issued Aug. 9th., 2009.
[38] Stan W. Smith. 2010. An experiment in bibliographic mark-up: Parsing metadata
for XML export. In Proceedings of the 3rd. annual workshop on Librarians and
Computers (LAC ’10), Reginald N. Smythe and Alexander Noble (Eds.), Vol. 3.
Paparazzi Press, Milan Italy, 422–431. https://doi.org/99.9999/woot07-S422
[39] Asad Z. Spector. 1990. Achieving application requirements. In Distributed
Systems (2nd. ed.), Sape Mullender (Ed.). ACM Press, New York, NY, 19–33.
https://doi.org/10.1145/90417.90738
[40] Harry Thornburg. 2001. Introduction to Bayesian Statistics. (March 2001).
Retrieved March 2, 2005 from http://ccrma.stanford.edu/~jos/bayes/bayes.html
[41] TUG 2017. Institutional members of the TEX Users Group. (2017). Retrieved May
27, 2017 from http://wwtug.org/instmem.html
[42] Boris Veytsman. [n. d.]. acmart—Class for typesetting publications of ACM. ([n.
d.]). Retrieved May 27, 2017 from http://www.ctan.org/pkg/acmart