Workshop on Resource Analysis


9th September 2008
University of Hertfordshire, Hatfield, UK


The programme for the workshop is online.


Static analyses for inferring bounds on the resource consumption of programs are receiving increasing interest in several application areas. A resource can be heap space, execution time or any other quantitative aspect of program execution. Resource bounds can be used to pokiesaustralian.com certify that (embedded) system resources are not exhausted, to guide reservation policies in Grid-like infrastructures, to enhance the adaptivity of high-performance runtime-environments or simply represent a quality seal for provably efficient algorithms. For inferring high-quality resource bounds, approaches such as type-based inference, abstract interpretation or model checking can be applied. This workshop strives to bring together researchers active in one or more areas of resource analysis. This covers, but is not limited to the design, foundations, verification, implementation, and application of resource analyses.


Contributions are sought for in the form of (extended) abstracts, or full papers. No formal proceedings will be produced, but the submitted material and the slides of the presentations will be made available on this web page.

This workshop is organised by the members of the EmBounded project. Contributions shall be submitted as PDF files by email to: Hans-Wolfgang Loidl (hwloidl A_T tcs.ifi.lmu.de).

The programme for the workshop is online. Thanks to everbody for contributing to the workshop!


This will be a one-day informal workshop with presentations, demos and discussion sessions, covering various aspects of resource analysis. The workshop is planned to start at about 10:30am and last to about 5pm, with 30 minute slots. Registration is done jointly with IFL08 via this web page.

Payment for accommodation and a small registration fee can be made either when co-registering for IFL08 or directly on-site (cash only).

Details on how to get to the conference venue etc, are posted on the venue page of IFL08.

For Monday no joint dinner is scheduled. Recommended places for dinner are the restaurants in the Galeria, just next to the campus, and for a drink the Three Horse Shoes pub. On Tuesday evening the local organisers are planning to go to the pub at around 19:00 (see IFL travel information).




Maintained by Hans-Wolfgang Loidl.