[TYPES/announce] Call for participation: HotSWUp III

Michael Hicks mwh at cs.umd.edu
Tue Feb 22 20:47:18 EST 2011

[Types play a central role in many topics involved in software upgrades; e.g.,  types can be used to describe evolving database schemas or system data representations,  and dependent types can characterize relationships between old an new versions.  We have an interesting program and would welcome your participation! ---Mike]

                       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: http://www.icde2011.org/node/73


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:

More information about the Types-announce mailing list