[Fwd: CFP: USE2002]


Subject: [Fwd: CFP: USE2002]
From: Craig Chambers (chambers@cs.washington.edu)
Date: Thu Feb 28 2002 - 11:58:37 PST


FYI, this workshop might produce some papers that are related to our interests
in dynamic software updating.

-- Craig

mwh wrote:
>
> [----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]
>
> [ For types readers: The following workshop solicits papers that
> tackle the problem of unanticipated software evolution, which
> considers upgrading a program while it runs. Types can play a
> significant role in proving useful properties in such a setting, such
> as whether an upgrade is safe, whether it preserves some useful
> program invariant, what sorts of upgrades are permitted, etc. -- MWH ]
>
> Call For Papers
> USE2002
>
> First International Workshop on
> Unanticipated Software Evolution
>
> June 11th, 2002
> co-located with ECOOP
> Malaga, Spain
>
> Deadline for paper submissions:
>
> April 8, 2002
>
> http://www.cs.uni-bonn.de/~gk/use2002/
>
> Full call for papers follows. It may also be found at the Workshop website.
>
> Background
> ----------
>
> Many studies of complex software systems have shown that more than 80% of
> the total cost of software development is devoted to software
> maintenance. This is mainly due to the need for software systems to evolve
> in the face of changing requirements. In some cases, software evolution may
> need to be dynamic, with changes being performed on running systems.
>
> Despite the importance of software evolution, techniques and technologies
> that offer support for software evolution are far from ideal. In particular,
> unanticipated requirement changes are not well supported, although they
> account for most of the technical complications and related costs of
> evolving software.
>
> By definition, unanticipated software evolution (USE) is not something for
> which we can prepare during the design of a software system. Therefore,
> support for such evolution in programming languages, component models and
> related runtime infrastructures becomes a key issue. Without it,
> unanticipated changes often force software engineers to perform extensive
> invasive modification of existing designs and code.
>
> This one-day workshop will address the issues inherent in incremental static
> and dynamic evolution of object-oriented and component based systems. The
> main goal of the workshop is to discuss new approaches and technologies for
> building large-scale software systems that are evolvable when faced with
> unanticipated requirements. We also want to promote lively discussion
> between researchers proposing new approaches and practitioners reporting on
> their experience with the strengths and limitations of current technologies.
>
> Topics of Interest
> ------------------
>
> The workshop is intended to cover all aspects of unanticipated software
> evolution, from theoretical foundations to industrial experience. Position
> paper topics of interest include, but are not limited to:
>
> . Formal methods, language concepts and implementation techniques for USE.
>
> . USE support at different stages of a program's life-cycle: compile-time,
> load-time and run-time.
>
> . USE support in object-oriented languages, component models and related
> infrastructures (JVM, EJB, JavaBeans, CORBA, DCOM, and .NET).
>
> . USE support by prototype-based language concepts, reflection, and
> aspect-oriented approaches.
>
> . Consistency, safety, integrity, constraint enforcement and dependency
> management issues.
>
> . Learning from object-oriented databases: Application of techniques for
> schema evolution and instance adaptation for run-time USE.
>
> . Experience reports on engineering for 24x7 availability and on-line
> software upgrades.
>
> . Related descriptions of hard problems from a practitioner's perspective.
>
> Important dates
> ---------------
>
> Attendance at the workshop is by invitation based on submitted position
> papers, and will be limited to aproximately 20 people in order to facilitate
> lively discussion and the exchange of ideas.
>
> Deadline for reviewed paper submissions:
> April 8, 2002
>
> Deadline for late submissions:
> April 30, 2002
>
> Notification of acceptance or rejection:
> April 30, 2002
>
> ECOOP early registration deadline:
> May 6, 2002
>
> Deadline for final paper versions:
> May 18, 2002
>
> Workshop: June 11, 2000
>
> Late paper submissions will not enter the review process and will not be
> considered for journal publication. For late submissions, the organisers
> cannot guarantee a response prior to the early registration deadline of
> ECOOP 2002.
>
> Submission Guidelines
> ---------------------
>
> We seek high-quality submissions in two categories:
>
> . Full technical papers, describing original, unpublished research (up to 10
> pages).
>
> . Work-in-progress papers, describing on-going work and interim results (up
> to 6 pages).
>
> Prospective participants should forward submissions in PDF format. All
> articles must include the full contact information of at least one author
> and must be sent to Guenter.Kniesel@cs.uni-bonn.de.
>
> Proceedings
> -----------
>
> Online Proceedings
>
> All submitted papers will be published online on the website of the workshop
> at least two weeks prior to the workshop. Participants are encouraged to
> prepare for the workshop by reading the papers.
>
> Journal Publication
>
> In addition, the best papers will be considered for a Special Issue of
> Software Practice and Experience. Selection of papers will be based on the
> results of the review process and on the discussions at the
> workshop. Authors of selected papers will be informed shortly after the
> workshop and will be requested to prepare extended versions of their papers
> based on the reviewers' comments, the feedback they received at the workshop
> and the formatting guidelines of the publisher (John Wiley & Sons,
> Ltd). LaTex styles are available at
> http://www.interscience.wiley.com/jpages/0038-0644/.
>
> ECOOP 2002 Workshop Reader
>
> Springer-Verlag will publish the ECOOP'2002 Workshop Reader as an LNCS
> volume. This volume will include a report for each workshop that will be
> written by the organizers in collaboration with the participants of the
> workshop. It will provide a summary of the workshop with the major issues
> discussed and the conclusions of the working groups. The report should also
> include the current research being carried out in the area and open research
> directions on the workshop themes.
>
> Organisers
> ----------
>
> Gunter Kniesel, University of Bonn (contact organiser)
>
> Gunter Kniesel is currently a lecturer at the Computer Science Department of
> the University of Bonn. His research focuses on unanticipated software
> composition with object object-oriented programming languages and component
> technologies. Other research interests include encapsulation, aliasing,
> reflection, knowledge representation and aspect-oriented software
> development. Inspired by the ultimate support for unanticipated software
> evolution in the prototype-based language SELF, he has developed the Darwin
> model, which extends mainstream object-oriented languages by type-safe
> object-based inheritance. He leads the group working on the implementation
> of Lava, a corresponding extension of Java. Gunter holds a Diploma in
> Computer Science from the University of Dortmund and a Ph.D. in Computer
> Science from the University of Bonn.
>
> Pascal Costanza, University of Bonn
>
> Pascal Costanza has an MS degree from the University of Bonn, Germany, and
> has been a research assistant at the University of Bonn for the last 4
> years, focusing mostly on programming language constructs for unanticipated
> software evolution. Currently he pursues these issues in the Tailor
> Project. Previously, he has also been involved in the definition of the
> programming language Lava. He can be reached at
> http://www.pascalcostanza.de.
>
> Mikhail Dimitriev, Sun Microsystems
>
> Mikhail Dmitriev is currently a software engineer in Sun Microsystems
> Laboratories. His research interests include various aspects of safe and
> scalable evolution of computer applications. During his PhD work, done in
> close collaboration with Sun Microsystems, he was developing persistent
> object evolution infrastructure and tools for the PJama orthogonally
> persistent system. He then started to work on the HotSwap project at Sun
> Labs, that investigates safe runtime evolution of Java applications. He has
> also implemented smart recompilation technology and tool for Java
> ("Javamake"), and is contributing to the ongoing work on Java profiling
> based on dynamic bytecode instrumentation. Mikhail holds a Diploma in
> Computer Science from Cambridge University and a Ph.D. in Computer Science
> from the University of Glasgow.
>
> Program Commitee
>
> Pascal Costanza, University of Bonn, Germany
> Martine Devos, Avaya Labs, USA
> Mikhail Dmitriev, Sun Microsystems, USA
> Babak Esfandiari, Carleton University, Canada
> Peter Grogono, Concordia University, Canada
> Michael Hicks, Cornell University, USA
> Gunter Kniesel, University of Bonn, Germany
> Tom Mens, Free University of Brussels, Belgium
> Bernard Pagurek, Carleton University, Canada
> Frantisek Plasil, Charles University Prague, Czech Republik
> Clemens Szyperski, Microsoft Corporation, USA
> Dave Thomas, Bedarra Corporation, Canada
> Kris De Volder, University of British Columbia, Canada
>
> Workshop Format
> ---------------
>
> In keeping with the spirit and format of a workshop, USE 2002 will have a
> highly discursive nature, with different theme-based discussion
> tracks. Authors are encouraged to bring up to three slides which they will
> be able to present. We plan to allow slots of 5 minutes for each paper
> presentation. There will be plenty of time for discussion in small focused
> working groups.
>
> Further details will be made available in May, after the deadline for
> notification of acceptance or rejection.
>
> Website
> -------
>
> Further details are available at http://www.cs.uni-bonn.de/~gk/use2002/.
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil



This archive was generated by hypermail 2b25 : Thu Feb 28 2002 - 11:59:06 PST