[ In short: deadline for (extended) abstracts of presentations: 1st Sep 2008 -- HWL ]
FINAL CALL FOR CONTRIBUTIONS
Workshop on Resource Analysis
University of Hertfordshire, Hatfield, UK
9th September 2008
SCOPE:
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 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:
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 the following web
page:
http://www.embounded.org/pubs/workshops/080909-Hertfordshire/
Contributions shall be submitted as PDF files by email to:
Hans-Wolfgang Loidl (hwloidl A_T tcs.ifi.lmu.de).
ORGANISATION:
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 the following web page
http://events.sac-home.org/ifl2008
Payment for accommodation and a small registration fee can be made either
when
co-registering for IFL08 or directly on-site (cash only).
ORGANISERS:
This workshop is organised by the members of the EmBounded project. For
direct
requests please contact Hans-Wolfgang Loidl (hwloidl A_T tcs.ifi.lmu.de).
DATES:
Submission of presentations: 1st September, 2008
Co-registration (with IFL08): 2nd September, 2008
Workshop: 9th September, 2008
LINKS:
IFL08: http://events.sac-home.org/ifl2008
EmBounded: http://www.embounded.org/
Workshop: http://www.embounded.org/pubs/workshops/080909-Hertfordshire/
or
http://www-fp.cs.st-andrews.ac.uk/embounded/pubs/workshops/080909-Hertfordshire/
Cheers,
--
Hans-Wolfgang Loidl
Tel: +4989 21809864 Fax: +4989 21809338 E-Mail: [EMAIL PROTECTED]
Ludwig-Maximilians-Universität München,
Institut für Informatik (Theoretische Informatik)
Oettingenstraße 67
D 80538 München, Germany
signature.asc
Description: PGP signature
_______________________________________________ clean-list mailing list [email protected] http://mailman.science.ru.nl/mailman/listinfo/clean-list
