\input{preamble}

\title{Resource Analysis: Problem Set 6}% \\ Type Inference and Unification}
\setcounter{section}{6}

\begin{document}
\maketitle

\begin{center}
  \noindent
  \large{Due before 1:30pm on Monday, March 14}
\end{center}

\subsection{(20 Points) Course Project Proposal}

Write a 2-3 page proposal for a course project.
%
A course project can be a presentation, a short paper, or an
implementation. It should complement the material that has been
discussed in the course. To pass the course, the project has to be
completed before the last lecture (April 27).

All students will present their course projects in class.  If the
project is a presentation then the presentation should fill one
lecture (80 minutes). Other presentations should be about 20 minutes.

You are encouraged to propose your own ideas for projects. It is good
to be ambitious. However, keep time management in mind. The total time
you spend with the project should be similar to the time you have
spent with the weekly problem sets so far. Below are some suggestions
for course projects.
\begin{enumerate}[a)]
\item Identify an interesting application area for resource bounds and
  implement a case study in Resource Aware ML
\item Implement a simple automatic solver for recurrence relations
\item Present the undecidability of type checking for System F~\cite{Wells99}
\item Implement Hofmann's type system for in-place computation~\cite{Hofmann02}
\item Write a paper about the design of a type system that mixes
  linear types and unrestricted types
\item Present the programming language Rust and the techniques that
  are used for memory management
\item Proof an interesting theorem that we discussed in the course
  with a proof assistant
\item Present one of the papers listed in the following bibliography
\end{enumerate}
%

\emph{The first step of writing the project proposal is to discuss the
  project with the instructor.} Start writing the proposal
\emph{after} you agreed with the instructor on a topic. Your proposal
should include the following parts.
\begin{enumerate}[1)]
\item Title and project type (presentation, short paper, or implementation)
\item Motivation (Why are you interested in this project? How does it
  relate to the topics discussed in class?)
\item Technical presentation (Summarize the technical results that are
  most relevant for your project)
\item Project description (Outline the scope and goals of your
  project, e.g., a sketch of a presentation)
\item Team (Why are you in a good position to complete this project in time?)
\item Milestones and timeline (Define at least three milestones with
  dates that you need to complete for a successful project)
\end{enumerate}


\subsection{(2 Points) Points of Problem Set 2}

Please email the number of points you received in problem set 2 to Jan.

\nocite{CarbonneauxHZ15,Hofmann02,SimoesVFJH12,Crary00,BlellochH13}
\bibliographystyle{alpha} \bibliography{../lit,../publications}

\end{document}

%%% Local Variables:
%%% mode: latex
%%% mode: flyspell
%%% TeX-master: t
%%% End: