From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 8C574BBAF for ; Fri, 27 Feb 2009 06:24:22 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqACAL8Hp0mC7V3klGdsb2JhbACBb4tNAYdAAQEBAQkLCAkRBbI1AY9pgmIBgS8G X-IronPort-AV: E=Sophos;i="4.38,274,1233529200"; d="scan'208";a="21761302" Received: from smtp3.su.se (HELO smtp.su.se) ([130.237.93.228]) by mail2-smtp-roc.national.inria.fr with ESMTP; 27 Feb 2009 06:24:22 +0100 Received: from localhost (localhost [127.0.0.1]) by smtp.su.se (Postfix) with ESMTP id 64EA23C147 for ; Fri, 27 Feb 2009 06:24:21 +0100 (CET) Received: from smtp.su.se ([127.0.0.1]) by localhost (smtp3.su.se [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 24466-01-48 for ; Fri, 27 Feb 2009 06:24:21 +0100 (CET) Received: from unni.dsv.su.se (unni.dsv.su.se [130.237.161.27]) by smtp.su.se (Postfix) with ESMTP id 83E1A3C215 for ; Fri, 27 Feb 2009 06:22:12 +0100 (CET) Received: from triton.localdomain (triton.dsv.su.se [130.237.161.173]) by unni.dsv.su.se (Postfix) with ESMTP id 5EBD34A3FC for ; Fri, 27 Feb 2009 06:22:12 +0100 (CET) Received: by triton.localdomain (Postfix, from userid 26234) id 4DA50DAB61; Fri, 27 Feb 2009 06:22:12 +0100 (CET) To: caml-list@inria.fr Subject: STOP 2009 Call for Papers Message-Id: <20090227052212.4DA50DAB61@triton.localdomain> Date: Fri, 27 Feb 2009 06:22:12 +0100 (CET) From: tobias@dsv.su.se (Tobias Wrigstad) X-Virus-Scanned: by amavisd-new at smtp.su.se X-Spam: no; 0.00; tobias:01 tobias:01 ecoop:01 genova:01 error-prone:01 compile-time:01 annotations:01 run-time:01 semantics:01 untyped:01 untyped:01 compile-time:01 acm's:01 kostis:01 sagonas:01 Call for Papers Script to Program Evolution (STOP) at ECOOP 2009 July 6th, 2009, Genova, Italy Recent years have seen increased use of scripting languages in large applications. Scripting languages optimize development time, especially early in the software life cycle, over safety and robustness. As the understanding of the system reaches a critical point and requirements stabilize, scripting languages become less appealing. Compromises made to optimize development time make it harder to reason about program correctness, harder to do semantic-preserving refactorings, and harder to optimize execution speed. Lack of type information makes code harder to navigate and to use correctly. In the worst cases, this situation leads to a costly and potentially error-prone rewrite of a program in a compiled language, losing the flexibility of scripting languages for future extension. Recently, pluggable type systems and annotation systems have been proposed. Such systems add compile-time checkable annotations without changing a program's run-time semantics which facilitates early error checking and program analysis. It is believed that untyped scripts can be retrofitted to work with such systems. Furthermore, integration of typed and untyped code, for example, through use of gradual typing, allows scripts to evolve into safer programs more suitable for program analysis and compile-time optimisations. With very few exceptions, practical reports are yet to be found. The STOP workshop focuses on the evolution of scripts, largely untyped code, into safer programs, with more rigid structure and more constrained behaviour through the use of gradual/hybrid/ pluggable typing, optional contract checking, extensible languages, refactoring tools, and the like. The goal is to further the understanding and use of such systems in practise, and connect practise and theory. To this end, we encourage not only submissions presenting original research results, but also papers that attempt to establish links between different approaches and/or papers that include survey material, experience reports and tool demonstrations. Original research results should be clearly described, and their usefulness to practitioners outlined. Paper selection will be based on the quality of the submitted material, including surveys. Demos will judged on the perceived relevance for the intended audience. The accepted papers will be made available through ACM's digital library. Important Dates =============== Submission: April 8, 2009 Notification: May 8, 2009 Final Version: June 8, 2009 Workshop: July 6, 2009 Programme Committee =================== Cormac Flanagan, University of California Santa Cruz Jan Vitek, Purdue University Jeff Foster, University of Maryland Jeremy Siek, University of Colorado Kostis Sagonas, Uppsala University Nate Nystrom, IBM T.J. Watson Research Peter Thiemann, Universität Freiburg Philip Wadler, University of Edinburgh Tobias Wrigstad, Purdue University (Chair) Todd Millstein, UCLA Organizers ========== Nate Nystrom, IBM T.J. Watson Research Center Jan Vitek, Purdue University Tobias Wrigstad, Purdue University Selection Process ================= Both full papers (up to 12 pages LNCS) and position papers (1-2 pages LNCS) are welcome. All submissions will be reviewed by the programme committee. The accepted papers, after rework by the authors, will be published in the Workshop Proceedings, which will be distributed at the workshop. All accepted submissions shall remain available from the workshop web page. Papers should be submitted through EasyChair by April 8, 2009. (https://www.easychair.org/login.cgi?conf=stop09) Questions may be directed to Tobias Wrigstad (wrigstad AT cs DOT purdue DOT edu).