Mobile Resource Guarantees
(MRG, project IST-2001-33149)

Talks

During the course of the project MRG participants have given a large number of talks disseminating their work. The following sets of slides represent a small sample of these presentations.

• Don Sannella. Mobile Resource Guarantees Various. Slides to accompany an hour long talk describing the MRG project.

• Ian Stark. System Overview, Grail, and Proof-Carrying Code. Handout from the Global Computing Workshop, Rovereto, March 2004.

• Hans-Wolfgang Loidl. Mobile Resource Guarantees: Resource Bounds for Functional Languages, Technical University, Munich, October 29, 2003.

• Martin Hofmann. Certification of Memory Usage, October 15, 2003.

• Ian Stark. Mobile Resource Guarantees and a functional assembler that's purely imperative. March 2003. Also available in a shorter version.

• Roberto Amadio. Extraction of complexity bounds from first-order functional programs. December 2002.