pintos-os.org Git - pintos-anon/blob - sigcse2009/sigcse2009.tex

   1 % This is "sig-alternate.tex" V1.8 June 2007
   2 % This file should be compiled with V2.3 of "sig-alternate.cls" June 2007
   3 %
   4 % This example file demonstrates the use of the 'sig-alternate.cls'
   5 % V2.3 LaTeX2e document class file. It is for those submitting
   6 % articles to ACM Conference Proceedings WHO DO NOT WISH TO
   7 % STRICTLY ADHERE TO THE SIGS (PUBS-BOARD-ENDORSED) STYLE.
   8 % The 'sig-alternate.cls' file will produce a similar-looking,
   9 % albeit, 'tighter' paper resulting in, invariably, fewer pages.
  10 %
  11 % ----------------------------------------------------------------------------------------------------------------
  12 % This .tex file (and associated .cls V2.3) produces:
  13 %       1) The Permission Statement
  14 %       2) The Conference (location) Info information
  15 %       3) The Copyright Line with ACM data
  16 %       4) NO page numbers
  17 %
  18 % as against the acm_proc_article-sp.cls file which
  19 % DOES NOT produce 1) thru' 3) above.
  20 %
  21 % Using 'sig-alternate.cls' you have control, however, from within
  22 % the source .tex file, over both the CopyrightYear
  23 % (defaulted to 200X) and the ACM Copyright Data
  24 % (defaulted to X-XXXXX-XX-X/XX/XX).
  25 % e.g.
  26 % \CopyrightYear{2007} will cause 2007 to appear in the copyright line.
  27 % \crdata{0-12345-67-8/90/12} will cause 0-12345-67-8/90/12 to appear in the copyright line.
  28 %
  29 % ---------------------------------------------------------------------------------------------------------------
  30 % This .tex source is an example which *does* use
  31 % the .bib file (from which the .bbl file % is produced).
  32 % REMEMBER HOWEVER: After having produced the .bbl file,
  33 % and prior to final submission, you *NEED* to 'insert'
  34 % your .bbl file into your source .tex file so as to provide
  35 % ONE 'self-contained' source file.
  36 %
  37 % ================= IF YOU HAVE QUESTIONS =======================
  38 % Questions regarding the SIGS styles, SIGS policies and
  39 % procedures, Conferences etc. should be sent to
  40 % Adrienne Griscti (griscti@acm.org)
  41 %
  42 % Technical questions _only_ to
  43 % Gerald Murray (murray@acm.org)
  44 % ===============================================================
  45 %
  46 % For tracking purposes - this is V1.8 - June 2007
  47
  48 \documentclass{sig-alternate}
  49
  50 % force letter size (default is A4)
  51 \pdfpagewidth=8.5in
  52 \pdfpageheight=11in
  53
  54 \usepackage{graphicx}
  55
  56 % from http://mintaka.sdsu.edu/GF/bibliog/latex/floats.html
  57 % Alter some LaTeX defaults for better treatment of figures:
  58 % See p.105 of "TeX Unbound" for suggested values.
  59 % See pp. 199-200 of Lamport's "LaTeX" book for details.
  60 %   General parameters, for ALL pages:
  61 \renewcommand{\topfraction}{0.9}    % max fraction of floats at top
  62 \renewcommand{\bottomfraction}{0.8} % max fraction of floats at bottom
  63 %   Parameters for TEXT pages (not float pages):
  64 \setcounter{topnumber}{2}
  65 \setcounter{bottomnumber}{2}
  66 \setcounter{totalnumber}{4}     % 2 may work better
  67 \setcounter{dbltopnumber}{2}    % for 2-column pages
  68 \renewcommand{\dbltopfraction}{0.9} % fit big float above 2-col. text
  69 \renewcommand{\textfraction}{0.07}  % allow minimal text w. figs
  70 %   Parameters for FLOAT pages (not text pages):
  71 \renewcommand{\floatpagefraction}{0.7}  % require fuller float pages
  72 % N.B.: floatpagefraction MUST be less than topfraction !!
  73 \renewcommand{\dblfloatpagefraction}{0.7}   % require fuller float pages
  74 % remember to use [htp] or [htpb] for placement
  75 %------------------
  76
  77 \begin{document}
  78 %
  79 % --- Author Metadata here ---
  80 \conferenceinfo{SIGCSE}{'09 Chattanooga, Tennessee, USA}
  81 %\CopyrightYear{2007} % Allows default copyright year (200X) to be over-ridden - IF NEED BE.
  82 %\crdata{0-12345-67-8/90/01}  % Allows default copyright data (0-89791-88-6/97/05) to be over-ridden - IF NEED BE.
  83 % --- End of Author Metadata ---
  84
  85 \title{The Pintos Instructional Operating System Kernel}
  86
  87 % \subtitle{[Draft]}
  88
  89 \numberofauthors{3}
  90 \author{
  91 % 1st. author
  92 \alignauthor Ben Pfaff\\
  93        \affaddr{Nicira Networks}\\
  94        \affaddr{Palo Alto, CA}\\
  95        \email{blp@nicira.com}
  96 % 2nd. author
  97 \alignauthor Anthony Romano\\
  98        \affaddr{Stanford University}\\
  99        \affaddr{Palo Alto, CA}\\
 100        \email{ajromano@stanford.edu}
 101 % 3rd. author
 102 \alignauthor Godmar Back\\
 103        \affaddr{Virginia Tech}\\
 104        \affaddr{Blacksburg}\\
 105        \email{gback@cs.vt.edu}
 106 }
 107
 108 \maketitle
 109 \begin{abstract}
 110 \input{abstract}
 111 \end{abstract}
 112
 113 % A category with the (minimum) three required fields
 114 %\category{H.4}{Information Systems Applications}{Miscellaneous}
 115 %A category including the fourth, optional field follows...
 116 %\category{D.2.8}{Software Engineering}{Metrics}[complexity measures, performance measures]
 117
 118 % http://www.cs.arizona.edu/groups/sigcse09/format.html#reqs suggests
 119 \category{K.3.2}{Computers and Education}{Computer and Information Science Education}
 120
 121 \terms{Design, Experimentation}
 122
 123 \keywords{Pintos, instructional operating system, instructional kernel}
 124
 125 \input{figures}
 126
 127 \input{introduction}
 128
 129 \input{principles}
 130
 131 \input{assignments}
 132
 133 \input{racedt}
 134
 135 \input{rest}
 136
 137 % remove the following line before submitting!
 138 % \nocite{*}
 139
 140
 141 \bibliographystyle{abbrv}
 142
 143 %
 144 %
 145 { \small
 146 \vskip .3in
 147 \bibliography{sigcse2009}  % sigproc.bib is the name of the Bibliography in this case
 148 }
 149 \end{document}