From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p1N1tKVp007503 for ; Wed, 23 Feb 2011 02:55:20 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am0BADr4Y02ACH+RmWdsb2JhbACmOAEBAQEBCAsKBxEktA6IaoJ9gmEEhQ2KQg X-IronPort-AV: E=Sophos;i="4.62,209,1297033200"; d="scan'208";a="76399423" Received: from router-304.cs.umd.edu (HELO bacon.cs.umd.edu) ([128.8.127.145]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 23 Feb 2011 02:54:47 +0100 X-CSD-MailScanner-Watermark: 1299030881.89018@tVXedG6JbmIXiDFWBav4qA Received: from [10.0.1.3] (pool-173-79-35-153.washdc.fios.verizon.net [173.79.35.153]) (authenticated bits=0) by bacon.cs.umd.edu (8.13.1/8.14.1) with ESMTP id p1N1seDb029083 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO) for ; Tue, 22 Feb 2011 20:54:41 -0500 From: Michael Hicks Content-Type: text/plain; charset=iso-8859-1 Date: Tue, 22 Feb 2011 20:54:40 -0500 Message-Id: <8B35D022-8393-4760-B4FE-4C9FE56D1A0D@cs.umd.edu> To: caml-list@inria.fr Mime-Version: 1.0 (Apple Message framework v1082) X-Mailer: Apple Mail (2.1082) X-Greylist: Sender succeeded SMTP AUTH, not delayed by milter-greylist-4.0 (bacon.cs.umd.edu [172.24.3.34]); Tue, 22 Feb 2011 20:54:41 -0500 (EST) X-CSD-Milter-Status: Skipped p1N1seDb029083 on bacon (user authenticated to SMTP server) X-CSD-MailScanner-Information: Please email staff@cs.umd.edu for more information X-MailScanner-ID: p1N1seDb029083 X-CSD-MailScanner: Found to be clean X-CSD-MailScanner-SpamCheck: not spam, SpamAssassin (not cached, score=-48.561, required 5, ALL_TRUSTED -50.00, EMPTY_MESSAGE 1.44) X-CSD-MailScanner-From: mwh@cs.umd.edu Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p1N1tKVp007503 Subject: [Caml-list] Call for participation: HotSWUp III [Many functional languages support some form of dynamic upgrade, e.g., Erlang, and researchers have used OCaml as a testbed for this sort of work. We have a couple of papers that consider semantic issues using functional language techniques. --Mike] CALL FOR PARTICIPATION HotSWUp 2011: Third Workshop on Hot Topics in Software Upgrades Hannover, Germany April 16, 2011 http://www.hotswup.org/2011 co-located with ICDE 2011 Registration site: http://www.icde2011.org/node/73 OBJECTIVES 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 expensive. 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. PROGRAM 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 Dagnat * 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. PROGRAM COMMITTEE 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) MORE INFORMATION Visit the workshop's homepage at: http://www.hotswup.org/2011 or the ICDE main site at: http://www.icde2011.org