bib-phd.bib

@phdthesis{bac-thesis08,
  title = {Type-based amortized stack memory prediction},
  author = {Brian Campbell},
  school = {University of Edinburgh},
  year = 2008,
  pdf = {thesis/thesis-final.pdf}
}

@inproceedings{bac-giveback08,
  title = {Prediction of linear memory usage for first-order functional programs},
  author = {Brian Campbell},
  booktitle = {Trends in Functional Programming},
  editor = {Peter Achten and Pieter Koopman and Moraz\'an, Marco T.},
  volume = 9,
  year = 2009,
  pages = {1--16},
  publisher = {Intellect},
  isbn = {978-1-84150-277-9},
  slides = {tfp08/talk.pdf}
}

@inproceedings{bac-esop09,
  title = {Amortised Memory Analysis using the Depth of Data Structures},
  author = {Brian Campbell},
  booktitle = {Programming Languages and Systems: 18th European Symposium on Programming (ESOP 2009)},
  pages = {190--204},
  year = 2009,
  editor = {Giuseppe Castagna},
  volume = 5502,
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  doi = {10.1007/978-3-642-00590-9_14},
  slides = {depth-analysis/esop-talk.pdf},
  preprint = {depth-analysis/depth.pdf},
  preprintnote = {Copyright Springer-Verlag Berlin Heidelberg 2009}
}