\documentclass[11pt]{article}

\title{Course Project}
\author{15-819O: Program Analysis \\
        Jonathan Aldrich ({\tt aldrich@cs.cmu.edu})}
\date{
Project Proposals due Friday, March 22 at 11:59pm \\
Milestone 1 Report due Monday, April 8 at 1:30pm \\
Milestone 2 Report due Monday, April 22 at 1:30pm \\
Project Presentations and Reports due Monday, May 6 at 8:30am \\
500 points total
}

\begin{document}
\begin{sloppypar}

\maketitle

The goal of the course project is to become deeply familiar with
a subarea of program analysis research and to make a research or
engineering contribution to the state of the art.  The expected
scope of the project is about 40 hours, spread out over the last
half of the course.

\textbf{Groups.}  Students may work on this project in groups.  Group
projects will be given a single grade, with exceptions only in
extraordinary circumstances (e.g. if someone is clearly not pulling
his or her weight).  You are free to choose your own groups.
Expectations for the project will be scaled (within reason) to the
size of the group.


\clearpage

\section{Project Proposals}

Your project proposal should be emailed to the instructor
(aldrich@cs.cmu.edu).  List the project title and
the members of your group.  You have several options for the project:

\begin{itemize}

\item  You may design and implement an interesting analysis.  In this case, describe the goals of the analysis, the techniques you plan to use in designing and implementing it, and how you will evaluate its success.

\item You may carry out an empirical evaluation of an existing analysis method and/or tool.  In this case, describe the analysis methodology and/or tool you will be using.  Also describe the code which you will be analyzing and how you will evaluate the analysis.

\item Other ideas are welcome, contact the instructor.

\end{itemize}

Whatever case you choose, also describe what you intend to do by the first
and second milestones.  Your proposal should be about a page of text,
and is worth 50 points.

\end{sloppypar}
\end{document}
