@inproceedings{pureID:5de5115b-faaf-4eb1-a5a3-5f2b61a854dc,
  author = "Loidl Hans-Wolfgang and Jost Steffen",
  title = "Improvements to a resource analysis for hume",
  booktitle = "1st International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2009",
  year = "2010",
  url = "http://dx.doi.org/10.1007/978-3-642-15331-0_2",
  pages = "18--33",
  abstract = "The core of our resource analysis for the embedded systems language Hume is a resource-generic, type-based inference engine that employs the concept of amortised costs to statically infer resource bounds. In this paper we present extensions and improvements of this resource analysis in several ways. We develop and assess a call count analysis for higher-order programs, as a specific instance of our inference engine. We address usability aspects in general and in particular discuss an improved presentation of the inferred resource bounds together with the possibility of interactively tuning these bounds. Finally, we demonstrate improvements in the performance of our analysis. © 2010 Springer-Verlag.",
}

@inproceedings{pureID:3b7b956b-8428-479f-99cf-528aab7860d0,
  author = "Trinder Philip William and Cole Murray and Loidl Hans-Wolfgang and Michaelson Gregory John",
  title = "Characterising effective resource analyses for parallel and distributed coordination",
  booktitle = "1st International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2009",
  year = "2010",
  url = "http://dx.doi.org/10.1007/978-3-642-15331-0_5",
  pages = "67--83",
  abstract = "An important application of resource analysis is to improve the performance of parallel and distributed programs. In this context key resources are time, space and communication. Given the spectrum of cost models and associated analysis techniques available, what combination should be selected for a specific parallel or distributed context? We address the question as follows. We outline a continuum of coordination cost models and a range of analysis techniques. We consider six representative parallel/distributed applications of resource analysis techniques, and aim to extract general principles governing why the combination of techniques is effective in its context. © 2010 Springer-Verlag.",
}