Commits

David Schneider committed 818be65

Trying to save some space

Comments (0)

Files changed (1)

talk/vmil2012/paper.tex

 \usepackage[pdfpagelabels=true]{hyperref}
 \usepackage[colorinlistoftodos]{todonotes}
 \usepackage{flafter}
+\usepackage{enumitem}
+\setitemize{noitemsep,topsep=0pt,parsep=0pt,partopsep=0pt}
 
 \usepackage{listings}
 
 the Python interpreter there are several experimental language implementation at different
 levels of completeness, e.g. for Prolog~\cite{bolz_towards_2010}, Smalltalk~\cite{bolz_back_2008}, JavaScript and R.
 
-RPython can mean one of two things:
-\begin{itemize}
- \item the language itself
- \item the translation toolchain used to transform RPython programs to executable units
-\end{itemize}
+RPython can mean one of two things, the language itself and the translation
+toolchain used to transform RPython programs to executable units.
 The RPython language is a
 statically typed object-oriented high-level subset of Python. The subset is chosen in such a way to make type inference possible\cite{ancona_rpython:_2007}.
 The language tool-set provides
 the trace stem from an annotation provided by the interpreter
 author~\cite{bolz_runtime_2011}.
 
-\begin{figure}
+\begin{figure}[ht]
     \input{figures/example.tex}
     \caption{Example program}
     \label{fig:example}
 trace repeatedly halves the current value and checks whether it is equal to
 one, or odd. In either of these cases the trace is left via a guard failure.
 
-\begin{figure}
+\begin{figure}[ht]
     \input{figures/unopt-log.tex}
     \caption{Unoptimized trace, the line numbers in the trace correspond to the line numbers in Figure~\ref{fig:trace-log}.}
     \label{fig:unopt-trace}
 Two bits are used as a tag to denote where the value of the variable
 comes from.
 The remaining 14 bits are a payload that depends on the tag bits.
-
 The possible sources of information are:
 
 \begin{itemize}
 
 % section Resume Data (end)
 
-\begin{figure}
+\begin{figure}[ht]
     \input{figures/log.tex}
     \caption{Optimized trace}
     \label{fig:trace-log}
 \section{Guards in the Backend}
 \label{sec:Guards in the Backend}
 
-\begin{figure}
+\begin{figure}[ht]
 \includegraphics[width=0.4\textwidth]{figures/resume_data.pdf}
 \caption{The resume data for Figure~\ref{fig:trace-log}}
 \label{fig:resume-data}
 
 %___________________________________________________________________________
 
-
 \section{Evaluation}
 \label{sec:evaluation}
 
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.