Monday, 20 October 2008 [Room 107]
8:30	-	10:10	Welcome and Introduction
			One-minute madness
			Session 1: Upgrade Models
			Chair: Danny Dig
			From Java to UpgradeJ: An empirical study
			Ewan Tempero (University of Auckland, New Zealand), Gavin Bierman (Microsoft Research, UK), James Noble (Victoria University of Wellington) and Matthew Parkinson (University of Cambridge, UK)
			A Language Model for Dynamic Code Updating
			Pierre Duquesne and Ciarán Bryce (INRIA, France)
			An Operating System Infrastructure for Remote Code Update in Deeply Embedded Systems
			Giovani Gracioli and Antônio Augusto Fröhlich (Federal University of Santa Catarina, Brazil)
			Discussion
10:10	-	10:30	Coffee Break
10:30	-	12:10	Session 2: Upgrade Mechanisms
			Chair: Iulian Neamtiu
			Introspecting Continuations in Order to Update Active Code
			Jérémy Buisson and Fabien Dagnat (TELECOM Bretagne, France)
			Overcoming JVM HotSwap Constraints via Binary Rewriting
			Dong Kwan Kim and Eli Tilevich (Virginia Tech, USA)
			Issues in Applying a Model Driven Approach to Reconfigurations of Satellite Software
			Jérémy Buisson, Cecilia Carro and Fabien Dagnat (TELECOM Bretagne, France)
			Package Upgrades in FOSS Distributions: Details and Challenges
			Roberto Di Cosmo, Paulo Trezentos (Université Paris Diderot, France) and Stefano Zacchiroli (UNIDE / ISCTE, Portugal)
			Discussion
12:10	-	13:30	Lunch Break
13:30	-	14:50	Session 3: Distributed Upgrades
			Chair: Tudor Dumitraş
			Atomic Upgrading of Distributed Systems
			Sander van der Burg, Eelco Dolstra (Delft University of Technology, The Netherlands) and Merijn de Jonge (Philips Research, The Netherlands)
			Consistently Applying Updates to Compositions of Distributed OSGi Modules
			Jan Rellermeyer, Michael Duller and Gustavo Alonso (ETH Zurich, Switzerland)
			Resilient Software Mirroring with Untrusted Third Parties
			Håvard Johansen and Dag Johansen (University of Tromsø, Norway)
			Discussion
14:50	-	15:20	Coffee Break
15:20	-	17:30	Session 4: Large and Small Group Discussions