Project: MRG - Mobile Resource Guarantees

MRG - Mobile Resource Guarantees (new web page)

Successor projects:

• EmBounded
• Mobius
• Request

People:

• Don Sannella @ LFCS
• Ian Stark @ LFCS
• David Aspinall @ LFCS
• Stephen Gilmore @ LFCS
• Martin Hofmann @ LMU

Project Info:

• Meetings
• Internal documents
• Related publications (local cache
• Related Projects (local cache)

Other Global Computing projects:

• ASAP Advanced Specialization and Analysis for Pervasive Computing
• DARTS Dynamic Assembly, Reconfiguration and Type-checking
• MyThS Models and Types for Security in Mobile Distributed Systems
• DEGAS Design Environments for Global applications
• MIKADO Mobile Calculi based on Domains
• AGILE Architectures for Mobility
• PEPITO Peer-to-Peer. Implementation and TheOry
• PROFUNDIS Proofs for Mobility
• SECURE

Papers etc:

• Bibliography Necula
• Bibliography Concert

Software:

• Isabelle Theorem Prover
  • Isabelle Theory Library
  • NanoJava
• JML Home Page
• JProfiler
• JFluid
• MIDP

Languages:

• Ocaml
• Moscow ML
• F#
• MLj
• SML.NET
• JVM Reference Manual
• Inside the Java Virtual Machine, Bill Venners
• The Java Virtual Machine Specification, (Second Edition), Tim Lindholm, Frank Yellin

Projects:

• CCured (Berkeley)
• Sec (UNSW)
• Cover Combining Verification Methods in Software Development (Chalmers)
• FLINT Project
• ConCert, PCC on Grid architectures

Tools:

• Sunrise
• PerfAnal a profiler for JVM bytecode execution

Misc:

• TCS@LMU Oberseminar
• LFCS Theory Seminars
• LFCS Technical Reports
• Ravenbrook's MPS system OpenSource package for mem mgmt
• Support @ EdiUni
• Rovereto stuff