[ The Types Forum (announcements only),
[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. If you have
ideas, we'd love to hear about them! ---Mike]
CALL FOR PAPERS
HotSWUp 2011: Third ACM Workshop on Hot Topics in Software Upgrades
(co-located with ICDE 2011)
April 16, 2011
Submission deadline: 15 November 2011
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.
Recently-introduced commercial products aim to address various aspects
of this problem; 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 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.
As such, HotSWUp seeks contributions from all these areas, ranging
from databases to distributed systems, and from programming languages
to software engineering, and separately reflected in conferences such
as SIGMOD, ICDE, SOSP, OSDI, OOPSLA, PLDI, ICSE, and FSE. By seeking
contributions from both academic researchers and industry
practitioners, HotSWUp aims to combine novel ideas with experience
from upgrading real systems. The present workshop aims to build on
the successes of HotSWUp'08 and HotSWUp'09 where the paper
presentations and lively discussions attracted a diverse audience of
The topics of interest include, but are not limited to:
- Upgrading Information Systems under Schema Evolution.
- Programming language / operating system / database support for
- Improving the reliability of upgrades (e.g., support for upgrade
validation and for rollback after failures).
- Support for system or data restructuring (e.g., evolving APIs,
changes to database schemas).
- Identifying dependencies between components and guaranteeing safe
interactions among mixed versions.
- Coordinating and disseminating upgrades in large-scale distributed
- Software upgrades and the Cloud Computing Infrastructure.
- Tools for preparing, testing, and applying software upgrades.
- Human factors in software upgrades (e.g., usability of upgrading
tools, common operator mistakes).
We are interested in papers that address practical as well as
theoretical aspects of software upgrades from large scale to embedded
applications. Particularly welcome this year are submissions
concerning software upgrade issues in database systems. Preferably,
submissions should fall into one of the following categories:
- Suggest how a successful approach can be applied in a different
(e.g., static dependency analysis applied to distributed-system
- Refute an old assumption about software upgrades (e.g., by presenting
- Describe a new problem or propose a novel solution to an old problem.
- Present empirical evidence related to the practical implementation of
Papers must not exceed 5 pages, in IEEE camera-ready format (templates
Papers must be submitted electronically at http://www.hotswup.org.
Submission deadline 15 November 2010
Acceptance notification 15 December 2010
Camera-ready deadline 3 January 2011
Workshop date 16 April 2011
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, National Technical University of Athens, Greece
Paolo Papotti, Università 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: