MRG Project Logo

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

The MRG project was funded in 2002-2005 under the Global Computing pro-active initiative of the Future and Emerging Technologies part of the Information Society Technologies programme of the European Commission's Fifth Framework Programme.

Home
People
Publications
MRG
Talks
Related
Other
Camelot
Internal
Related Projects
Admin

Papers

The following list has been automatically generated from mrg.bib.
It was last updated on the 6th April 2006.
  • Lennart Beringer, Martin Hofmann, Alberto Momigliano and Olha Shkaravska. Automatic Certification of Heap Consumption. In Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings, Publisher: Springer-Verlag GmbH, February 2005, Vol. 3452, pages 347-362. [pdf]

  • David Aspinall and Martin Hofmann. Dependent Types. In Advanced Topics in Types and Programming Languages, MIT Press, 2005.

  • M. Hofmann and S. Jost. Static prediction of heap space usage for first-order functional programs. In Proceedings of the 30th ACM Symposium on Principles of Programming Languages, ACM Press, New York, January 2003, Vol. 38, No. 1, pages 185-197. [postscript]

  • Kenneth MacKenzie and Nicholas Wolverson. Camelot and Grail: resource-aware functional programming on the JVM. In Trends in Functional Programing, Intellect, 2004, Vol. 4, pages 29-46. [postscript]

  • Stephen Gilmore. Extending Camelot with Mutable State and Concurrency. In Proceedings of 4th International Conference on Computational Science, Springer-Verlag LNCS, Heidelberg, June 2004, Vol. 3038, pages 306-313. [pdf]

  • S. Gilmore, K. MacKenzie and N. Wolverson. Extending resource-bounded functional programming languages with mutable state and concurrency. In Parallel and Distributed Computing Practices, 2005.

  • Lennart Beringer, Martin Hofmann, Alberto Momigliano and Olha Shkaravska. Towards certificate generation for linear heap consumption. In Proceedings of ICALP/LICS Workshop on Logics for Resources, Processes, and Programs (LRPP2004), July 2004. [pdf]

  • S. Gilmore and O. Shkaravska. Estimating the cost of native method calls for resource-bounded functional progamming languages. In PASM '05: Proceedings of the Second International Workshop on Practical Applications of Stochastic Modelling, 2005. [pdf]

  • S. Gilmore and M. Prowse. Proof-carrying bytecode. In Proceedings of First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE '05), Edinburgh, Scotland, April 2005. [postscript]

  • Lennart Beringer, Kenneth MacKenzie and Ian Stark. Grail: a Functional Form for Imperative Mobile Code. In Foundations of Global Computing: Proceedings of the 2nd EATCS Workshop, Elsevier, June 2003, No. 85.1. [pdf] Link...

  • David Aspinall and Adriana Compagnoni. Heap-Bounded Assembly Language. In Journal of Automated Reasoning, Kluwer, Dordrecht, The Netherlands, 2003, Vol. 31, No. 3-4, pages 261-302. [pdf]

  • Michal Konečný. Functional In-Place Update with Layered Datatype Sharing. In Proceedings of 6th International Conference on Typed Lambda Calculi and Applications, Springer-Verlag LNCS, Heidelberg, June 2003, Vol. 2701, pages 195-210. [pdf]

  • Roberto Amadio. Max-plus quasi-interpretations. In Proceedings of 6th International Conference on Typed Lambda Calculi and Applications, Springer-Verlag LNCS, Heidelberg, June 2003, Vol. 2701, pages 31-45. [postscript]

  • Nicholas Wolverson and Kenneth MacKenzie. O'Camelot: Adding Objects to a Resource Aware Functional Language. In Trends in Functional Programing, Intellect, 2004, Vol. 4, pages 47-62. [pdf]

  • David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl and Alberto Momigliano. A Program Logic for Resource Verification. In Proceedings of 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs2004), Springer-Verlag LNCS, Heidelberg, September 2004, Vol. 3223, pages 34-49. [pdf]

  • David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella and Ian Stark. Mobile Resource Guarantees for Smart Devices. In Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Proceedings of the International Workshop CASSIS 2004, Springer-Verlag, 2005, No. 3362, pages 1-26. [pdf] Link...

  • Hans-Wolfgang Loidl and Kenneth MacKenzie. A Gentle Introduction to Camelot. LFCS, Univ of Edinburgh & Inst for Informatics, LMU Univ, September 2004. [postscript]

  • Hans-Wolfgang Loidl. A Resource-aware Program Logic for a JVM-like Language. In Kolloquium Programmiersprachen und Grundlagen der Programmierung 2004, Univ of Freiburg, Germany, 17-19 March, 2004, Vol. Technical Report 213 of the Inst for Informatics. [pdf]

  • Brian Campbell. Folding stack memory usage prediction into heap. In Proceedings of Quantitative Aspects of Programming Languages Workshop, ETAPS 2005, April 2005. [postscript]

  • Robert Atkey. A lambda-Calculus for Resource Separation. In Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Springer, July 2004, Vol. 3142, pages 158-170. [pdf]

  • Robert Atkey. A Calculus for Resource Relationships. In SPACE 2004: Proceedings of the Second Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management, January 2004. [pdf]

  • Steffen Jost. tt lfd_infer: an Implementation of a Static Inference on Heap Space Usage. In SPACE 2004: Proceedings of the Second Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management, January 2004. [pdf]

  • Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano and Olha Shkaravska. Mobile Resource Guarantees. In Trends in Functional Programing, Intellect, Tallinn, Estonia, Sep 23-24, 2005, Vol. 6. [pdf]

  • Martin Hofmann, Hans-Wolfgang Loidl and Lennart Beringer. Certification of Quantitative Properties of. In Logical Aspects of Secure Computer Systems, IOS Press, Marktoberdorf, Aug 2-13, 2005. [pdf]

Programs

See the Camelot page for MRG downloads.

Google
www groups.inf.ed.ac.uk
These pages are hosted by the Informatics Groups server at the University of Edinburgh.
Site maintained by Robert Atkey. This page last updated on: 2004-07-15.

Valid HTML 4.01!
Validate this page