#LyX 1.5.7svn created this file. For more info see http://www.lyx.org/ \lyxformat 276 \begin_document \begin_header \textclass sigplanconf \options natbib \language english \inputencoding default \font_roman default \font_sans default \font_typewriter default \font_default_family default \font_sc false \font_osf false \font_sf_scale 100 \font_tt_scale 100 \graphics default \float_placement tbh \paperfontsize default \spacing single \papersize default \use_geometry false \use_amsmath 1 \use_esint 0 \cite_engine basic \use_bibtopic false \paperorientation portrait \secnumdepth 3 \tocdepth 3 \paragraph_separation indent \defskip medskip \quotes_language english \papercolumns 2 \papersides 1 \paperpagestyle default \tracking_changes false \output_changes false \author "" \author "" \end_header \begin_body \begin_layout Conference PLDI ’05 \begin_inset ERT status collapsed \begin_layout Standard }{ \end_layout \end_inset June 12--15, 2005, Chicago, Illinois, USA. \begin_inset Note Note status open \begin_layout Standard The Conference expects 2 infos that are separated by \begin_inset Quotes eld \end_inset \series bold }{ \series default \begin_inset Quotes erd \end_inset in TeX code. \end_layout \end_inset \end_layout \begin_layout CopyrightYear 2005 \end_layout \begin_layout Copyrightdata 1-59593-057-4/05/0004 \end_layout \begin_layout Title Example ACM Paper \begin_inset Foot status open \begin_layout Standard This work was supported by\SpecialChar \ldots{} \end_layout \end_inset \end_layout \begin_layout Subtitle Subtitle \end_layout \begin_layout Author Suzi Smith \begin_inset ERT status collapsed \begin_layout Standard \backslash and \end_layout \end_inset Paul C. Anagnostopoulos \begin_inset ERT status collapsed \begin_layout Standard }{ \end_layout \end_inset Princeton University \begin_inset ERT status collapsed \begin_layout Standard }{ \end_layout \end_inset smith@cs.princeton.edu \newline anagnostopoulos@cs.princeton.edu \begin_inset Note Note status open \begin_layout Standard At least one autor is required. The Author field expects 3 infos that are separated by \begin_inset Quotes eld \end_inset \series bold }{ \series default \begin_inset Quotes erd \end_inset in TeX code. \end_layout \end_inset \end_layout \begin_layout Author Fred Flymuffin \begin_inset ERT status collapsed \begin_layout Standard }{ \end_layout \end_inset Washington University in St. Louis \newline Department of Electrical and Computer Engineering \newline 3301 S Dearborn Street \newline St. Louis, XX 60616, USA \begin_inset ERT status collapsed \begin_layout Standard }{ \end_layout \end_inset flymuffin@cs.wustl.edu \end_layout \begin_layout Abstract This paper is a demonstration of the Lyx template for the ACM alternate latex style file. It works quite well and makes writing an ACM paper so much easier. \end_layout \begin_layout Standard \begin_inset ERT status open \begin_layout Standard \backslash category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic} \end_layout \begin_layout Standard \backslash category{B.7.1}{Integrated Circuits}{Types and Design Styles}[algorithms implement ed into hardware] \end_layout \end_inset \begin_inset Note Note status open \begin_layout Standard \series bold \backslash category \series default has 3 mandatory + 1 optional arguments \end_layout \end_inset \end_layout \begin_layout Terms Algorithms, Performance, Design \end_layout \begin_layout Keywords Carry Propagate Addition, Ling Adder, Reed Adder, Carry-Skip Adder, Hybrid Adder, Pseudo-Complements, Domino Logic, Conditional Sum Adder \end_layout \begin_layout Section Introduction \end_layout \begin_layout Standard Bla bla, as listed in \begin_inset LatexCommand cite key "Parkin2005,LComp2004" \end_inset . \end_layout \begin_layout Subsection Subsection \end_layout \begin_layout Enumerate test \end_layout \begin_layout Enumerate test \end_layout \begin_layout Subsubsection Subsubsection \end_layout \begin_layout Standard Bla, bla \end_layout \begin_layout Acknowledgments We would like to thank ... \end_layout \begin_layout Section \start_of_appendix First appendix \end_layout \begin_layout Standard Appendix, only when needed, can also be started behind the bibliography. \end_layout \begin_layout Section* ----------------- \end_layout \begin_layout Standard You can use either BibTeX: \begin_inset Note Note status open \begin_layout Standard The following bibliography styles are allowed: \family sans none \family default or \family sans plainnat \family default (use then the document class option \family sans natbib \family default ) \end_layout \end_inset \end_layout \begin_layout Standard \begin_inset LatexCommand bibtex options "bibtotoc,plainnat" bibfiles "../examples/biblioExample" \end_inset \end_layout \begin_layout Section* --------------------- \end_layout \begin_layout Standard \noindent Or plain bibliography: \end_layout \begin_layout Bibliography \begin_inset LatexCommand bibitem key "ahmed02" \end_inset Amal\InsetSpace ~ J. Ahmed, Andrew\InsetSpace ~ W. Appel, and Roberto Virga. \begin_inset ERT status collapsed \begin_layout Standard \backslash newblock \end_layout \end_inset A stratified semantics of general references embeddable in higher-order logic. \begin_inset ERT status collapsed \begin_layout Standard \backslash newblock \end_layout \end_inset I \emph on n Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science (LICS 2002) \emph default , July 2002. \begin_inset Note Note status open \begin_layout Standard Reference parts have to be separated by \series bold \backslash newblock \series default . \end_layout \end_inset \end_layout \begin_layout Bibliography \begin_inset LatexCommand bibitem key "appel01:fpcc" \end_inset Andrew\InsetSpace ~ W. Appel. \begin_inset ERT status collapsed \begin_layout Standard \backslash newblock \end_layout \end_inset Foundational proof-carrying code. \begin_inset ERT status collapsed \begin_layout Standard \backslash newblock \end_layout \end_inset In \emph on Symposium on Logic in Computer Science (LICS ’01) \emph default , pages 247--258. IEEE, 2001. \end_layout \end_body \end_document