\documentclass{acm_proc_article-sp}
\usepackage[utf8]{inputenc}
\usepackage{amsmath,amsfonts}
\usepackage{algorithm}
\usepackage{algpseudocode,bbm,color,verbatim}
\input{definitions}
\title{Budgeted Mechanisms for Experimental Design}
\begin{document}

\maketitle

\section{Intro}
\input{intro}

\section{Preliminaries}
\input{problem}
\section{Main result}
\input{main}
\section{Extension to Other Problems}
\input{general}
\section{Conclusion}
\input{conclusion}

\bibliographystyle{abbrv}
\bibliography{notes}
\end{document}