Call for participation: HotSWUp III

                      CALL FOR PARTICIPATION

HotSWUp 2011: Third Workshop on Hot Topics in Software Upgrades

                        Hannover, Germany
                         April 16, 2011


                    co-located with ICDE 2011
        Registration site:


Actively-used software systems are upgraded regularly to incorporate
bug fixes and security patches or to keep up with the evolving
requirements. Whether upgrades are applied offline or online, they
significantly impact the system's performance and reliability.
Commercial products aiming to address some of these issues are 
starting to appear; however, recent studies and a large body of anecdotal
evidence suggest that upgrades remain failure-prone, tedious, and

The goal of the HotSWUp Workshop is to identify, promote, and
disseminate cutting-edge research for supporting software system
upgrades that are flexible, efficient, robust, and easy to specify and
apply.  Many diverse research areas are concerned with building large,
evolving, highly-available systems.  By seeking contributions from
both academic researchers and industry practitioners, HotSWUp aims to
combine novel ideas with experience from upgrading real systems.


Invited Talk:

Phil Bernstein, Microsoft Research. Schema and Mapping Evolution in an
Object-Relational Mapper

ABSTRACT: Schema evolution is an unavoidable consequence of the
application development lifecycle. In a database application, the
conceptual model, the persistent database model, and the mapping
specification between them must co-evolve so they are always mutually
consistent and can compile into executable code. We study scenarios
where the conceptual model changes and the database and mapping must
evolve in kind, in the context of Microsoft's ADO.NET Entity
Framework. We present two new techniques that, in most cases, allow
those evolutions to progress automatically. The first technique treats
the mapping as data, mines it for mapping patterns such as
table-per-hierarchy or table-per-type, and automatically derives
proper store and mapping changes that are consistent with the
pattern. The second technique incrementally compiles the mapping
specification into executable views, thereby avoiding the expense of a
recompiling the entire mapping specification. Together, the techniques
enable a developer to modify the conceptual model and let the system
do the rest.

Session 1: Update Semantics and Analysis

* Formal Reasoning about Runtime Code Update. Nathaniel Charlton, Ben
Horsfall and Bernhard Reus 

* Towards a categorical framework to ensure correct software
evolutions. Sylvain Bouveret, Julien Brunel, David Chemouil and Fabien

* Predicting Upgrade Failures Using Dependency Analysis. Roberto Di
Cosmo and Pietro Abate

Session 2: Database Upgrades

* Schema Evolution Analysis for Embedded Databases. Shengfeng Wu and
Iulian Neamtiu 

* Causes for Dynamic Inconsistency-tolerant Schema Update
Management. Hendrik Decker 

* Propagating Evolution Events  in Data-Centric Software
Artifacts. George Papastefanatos, Panos Vassiliadis and Alkis Simitsis 

Session 3: Approaches and Systems

* Agnes Cristèle Noubissi, Julien Iguchi-Cartigny and Jean-Louis Lanet .
Hot updates for Java-based Smart Cards 

* Non-disruptive Large-scale Component Updates for Real-Time
ControllersUpgrade. Michael Wahler, Stefan Richter, Sumit Kumar and
Manuel Oriol. 

* State Transfer for Clear and Efficient Runtime Upgrades. Christopher
Hayden, Edward Smith, Michael Hicks and Jeffrey Foster. 


Rida Bazzi, Arizona State University, USA (co-organizer)
Carlo Aldo Curino, Massachusetts Institute of Technology, USA
Fabien Dagnat, Telecom Bretagne, France
Johann Eder, University of Vienna, Austria
Michael Hicks, University of Maryland, College park, USA (co-organizer)
Manuel Oriol, University of York, UK 
George Papastefanatos, Inst. for the Mgmt. of Information Systems, Greece 
Paolo Papotti, Universita Roma Tre, Italy
Jason Nieh, Columbia University, USA 
Xin Qi, Facebook, USA
Mark Segal, Laboratory for Telecommunications Sciences, USA
Liuba Shrira, Brandeis University, USA
Carlo Zaniolo, University of California, Los Angeles, USA (co-organizer)


Visit the workshop's homepage at:

or the ICDE main site at:

Received on Wednesday, 23 February 2011 01:50:25 UTC