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.6 required=5.0 tests=AWL,NO_REAL_NAME 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 670BDBB84 for ; Wed, 21 May 2008 09:53:11 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtYAAIBxM0jAEL8Ilmdsb2JhbACLR4VxfAEBAQEJBQgYmWY X-IronPort-AV: E=Sophos;i="4.27,519,1204498800"; d="scan'208";a="10946919" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 21 May 2008 09:53:11 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m4L7rAnO024640 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 21 May 2008 09:53:11 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtYAAIBxM0jAEL8Ilmdsb2JhbACLR4VxfAEBAQEJBQgYmWY X-IronPort-AV: E=Sophos;i="4.27,519,1204498800"; d="scan'208";a="10946917" Received: from hera.cwi.nl ([192.16.191.8]) by mail2-smtp-roc.national.inria.fr with ESMTP; 21 May 2008 09:53:10 +0200 Received: from arcanine.sen.cwi.nl (arcanine.sen.cwi.nl [192.16.201.131]) by hera.cwi.nl with ESMTP id m4L7rAid027273 for ; Wed, 21 May 2008 09:53:10 +0200 (MEST) Received: by arcanine.sen.cwi.nl (Postfix, from userid 10254) id 0611080063; Wed, 21 May 2008 09:53:10 +0200 (CEST) To: caml-list@inria.fr Subject: ECOOP 2008 Call for Participation Message-Id: <20080521075310.0611080063@arcanine.sen.cwi.nl> Date: Wed, 21 May 2008 09:53:10 +0200 (CEST) From: David.Clarke@cwi.nl X-Miltered: at concorde with ID 4833D4E6.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ecoop:01 ecoop:01 co-located:01 parallelism:01 model:01 wildcards:01 drossopoulou:01 model:01 mycroft:01 lukasz:01 quantified:01 prototyping:01 assessing:01 subtyping:01 scalable:01 [Apologies for multiple copies] *********************************************************************** CALL FOR PARTICIPATION 22nd European Conference on Object-Oriented Programming Paphos, Cyprus July 7th - 11th, 2008 http://2008.ecoop.org *********************************************************************** ECOOP is the premier forum in Europe for bringing together practitioners, researchers, and students to share their ideas and experiences in a broad range of disciplines woven with the common thread of object technology. It is a well-integrated collage of events, including outstanding invited speakers, carefully refereed technical papers, exciting tutorials, topic-focused workshops, and a summer school. ECOOP 2008 has opened its doors for registration. Early registration lasts until June 1, 2008. https://cyprusconferences.org/ecoop08/form_ecoop.htm The program is taking shape and promises another exciting scientific event: The Invited Speaker is Rachid Guerraoui: "The Return of Transactions" Technical Program (list of accepted papers follows): http://2008.ecoop.org/papers.html Workshops: http://2008.ecoop.org/workshop.html Tutorials: http://2008.ecoop.org/tutorials.html Co-located Event: Dynamic Languages Symposium (DLS). http://www.swa.hpi.uni-potsdam.de/dls/dls08/ NEW FOR 2008! ECOOP 2008 presents the inaugural ECOOP SUMMER SCHOOL. The school begins with three half-day tutorials (Data Parallelism in Ct, Context-Oriented Programming, and X10) during the first two days of the conference. Then five summer school sessions will run in parallel with the main conference (Newspeak, Multicore, SASyLF, JastAdd, JavaCOP). You can book and pay for half-day tutorials via the conference registration form. Summer school sessions cannot be booked in advance, but are included in the "Main Conference Registration" fee on a first-come, first-served basis. Summer school sessions: http://2008.ecoop.org/school.html The accepted technical papers are: A Model for Java with Wildcards Nicholas Cameron, Sophia Drossopoulou, Erik Ernst. On Validity of Program Transformations in the Java Memory Model Jaroslav Sevcik, David Aspinall. Safe Cross-language Inheritance Kathryn E Gray. Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary Shan Shan Huang, Amir Hormati, David Bacon, Rodric Rabbah. Kilim: Isolation-Typed Actors for Java Sriram Srinivasan, Alan Mycroft. A Uniform Transactional Execution Environment for Java Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay S Menon, Tatiana Shpeisman, Suresh Jagannathan. Ptolemy: A Language with Quantified, Typed Events Hridesh Rajan, Gary T. Leavens. Prototyping and Composing Aspect Languages - using an Aspect Interpreter Framework Wilke Havinga, Lodewijk Bergmans, Mehmet Aksit. Assessing the Impact of Aspects on Exception Flows: An Exploratory Study Roberta de Souza Coelho, Awais Rashid, Alessandro Fabricio Garcia, Fabiano Cutigi Ferrari, Nelio Cacho, Uira Kulesza, Arndt von Staa, Carlos Lucena UpgradeJ: Incremental Typechecking for Class Upgrades Gavin Bierman, Matthew Parkinson, James Noble Integrating Nominal and Structural Subtyping Donna Malayeri, Jonathan Aldrich Flow Analysis of Code Customizations Anders Hessellund, Peter Sestoft Online Phase-Adaptive Data Layout Selection Chengliang Zhang, Martin Hirzel MTM2: Scalable Memory Management for Multi-Tasking Managed Runtime Environments Sunil Soman, Chandra Krintz, Laurent Daynes. Externalizing Java Server Concurrency with CAL Charles Zhang, Hans-Arno Jacobsen Regional Logic for Local Reasoning about Global Invariants Anindya Banerjee, David Naumann, Stan Rosenberg A Unified Framework for Verification Techniques for Object Invariants Sophia Drossopoulou, Adrian Francalanza, Peter Mueller, Alexander J. Summers Extensible Universes for Object-oriented Data Models Achim Brucker, Burkhart Wolff. Programming with Live Distributed Objects Krzysztof Ostrowski, Ken Birman, Danny Dolev, Jong Hoon Ahnn. Bristlecone: A Language for Robust Software Systems Brian Demsky, Alokika Dash. Session-Based Distributed Programming in Java Raymond Hu, Nobuko Yoshida, Kohei Honda. ReCrash: Making Software Failures Reproducible by Preserving Object States Shay Artzi, Sunghun Kim, Michael D. Ernst. An Extensible State Machine Pattern for Interactive Applications Brian Chin, Todd Millstein. Practical Object-Oriented Back-in-Time Debugging Adrian Lienhard, Tudor Girba, Oscar Nierstrasz. Inference of Reference Immutability Jaime Quinonez, Matthew Tschantz, Michael Ernst. Computing Stack Maps with Interfaces Frederic Besson, Thomas Jensen, Tiphaine Turpin. How do Java Programs Use Inheritance? An Empirical Study of Inheritance in Java Software Ewan Tempero, James Noble, Hayden Melton. --- Dave Clarke, ECOOP 2008 Publicity Chair