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=AWL,HTML_MESSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id CB864BBAF for ; Fri, 5 Sep 2008 17:49:39 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqkDAA3ywEiAKscggWdsb2JhbACCMzCPUgEBECAFnS+GNj2BZYMx X-IronPort-AV: E=Sophos;i="4.32,320,1217800800"; d="scan'208,217";a="16879540" Received: from mh5.mail.rice.edu ([128.42.199.32]) by mail1-smtp-roc.national.inria.fr with ESMTP; 05 Sep 2008 17:49:38 +0200 Received: from mh5.mail.rice.edu (localhost.localdomain [127.0.0.1]) by mh5.mail.rice.edu (Postfix) with ESMTP id EF661346640 for ; Fri, 5 Sep 2008 10:49:36 -0500 (CDT) X-Virus-Scanned: by amavis-2.6.0 at mh5.mail.rice.edu Received: from mh5.mail.rice.edu ([127.0.0.1]) by mh5.mail.rice.edu (mh5.mail.rice.edu [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id bHGNcGf9dvZF for ; Fri, 5 Sep 2008 10:49:36 -0500 (CDT) Received: from [192.168.1.2] (64_30_165_27.hyperband.com [64.30.165.27]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (No client certificate requested) by mh5.mail.rice.edu (Postfix) with ESMTPSA id 9293634664D; Fri, 5 Sep 2008 10:49:33 -0500 (CDT) Message-Id: From: Emir Pasalic To: prog-lang@diku.dk, caml-list@yquem.inria.fr, boost@lists.boost.org, oon-list@oonumerics.org, planetmde@imag.fr, haskell-cafe@haskell.org, eCommerce List , gpce-news@cs.rice.edu, aiia@di.unito.it, amast@cs.utwente.nl, announce@aosd.net, announcements@oopsla.acm.org, appiar@ncc.up.pt, cgn-talk@yahoogroups.com, clean-list@cs.kun.nl, clp@comp.nus.edu.sg, compulog@doc.imperial.ac.uk, compulognet-parimp@dia.fi.upm.es, compunode@compulog.org, compunode@dfki.de, concurrency@cwi.nl, coq-club@pauillac.inria.fr, cphc-conf@jiscmail.ac.uk, csl@dbai.tuwien.ac.at, cs-logic@cs.indiana.edu, curry@informatik.rwth-aachen.de, dbworld@cs.wisc.edu, eapls@jiscmail.ac.uk, ecoop-info@ecoop.org, forum@jsoftware.com, fsdm@cs.uq.oz.au, gnome-announce-list@gnome.org, gulp@di.unipi.it, haskell@haskell.org, lande@irisa.fr, lcs@cis.upenn.edu, lfcs-interest@dcs.ed.ac.uk, logic-list@cs.rice.edu, logic@theory.lcs.mit.edu, mercury-ads@cs.mu.oz.au, plt-scheme@fast.cs.utah.edu, pept@kb.ecei.tohoku.ac.jp, python-announce-list@python.org, seworld@cs.colorado.edu, stratego@cs.uu.nl, template-haskell@haskell.org, theory-logic@cs.cmu.edu, types-wg@durham.ac.uk, types@cis.upenn.edu, Boost-Interest@lists.boost.org, types-announce@lists.seas.upenn.edu Content-Type: multipart/alternative; boundary=Apple-Mail-3--343080965 Mime-Version: 1.0 (Apple Message framework v928.1) Subject: GPCE'08 Call for Participation Date: Fri, 5 Sep 2008 11:49:31 -0400 X-Mailer: Apple Mail (2.928.1) X-Spam: no; 0.00; generative:01 co-located:01 oopsla:01 generative:01 synthesize:01 notations:01 deploying:01 co-located:01 oopsla:01 sigplan:01 sigsoft:01 sven:01 gunter:01 compilation:01 andrzej:01 --Apple-Mail-3--343080965 Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit < http://gpce08.gpce.org > Seventh International Conference on Generative Programming and Component Engineering (GPCE'08) Nashville, Tennessee (co-located with OOPSLA 2008) * Only Six Days Left for Early Registration * *** CALL FOR PARTICIPATION Generative and component approaches are revolutionizing software development similar to how automation and components revolutionized manufacturing. Generative Programming (developing programs that synthesize other programs), Component Engineering (raising the level of modularization and analysis in application design), and Domain-Specific Languages (elevating program specifications to compact domain-specific notations that are easier to write, maintain, and analyze) are key technologies for automating program development. GPCE provides a venue for researchers and practitioners interested in foundational techniques for enhancing the productivity, quality, and time-to-market in software development that stems from deploying standard components and automating program generation. In addition to exploring cutting-edge techniques for developing generative and component-based software, our goal is to foster further cross-fertilization between the software engineering research community and the programming languages community. GPCE 2008 will be co-located with OOPSLA, in Nashville, Tennessee. The GPCE technical program will take place on Oct. 19-20, before the OOPSLA technical program begins. Other GPCE events (workshops and tutorials) will run in parallel with OOPSLA events on Oct 21-23. GPCE'08 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGSOFT. GPCE'08 proceedings published by ACM Press. For full conference program and the latest news, check the GPCE'08 web site (http://gpce08.gpce.org). **** REGISTRATION Registration for GPCE'08 is handled through the OOPSLA registration page (http://www.regmaster.com/conf/oopsla2008.html). Early registration deadline is Septermber 11. *** TECHNICAL PROGRAM Sunday, October 19 8:50-9:00 Welcome 9:00-10:00 Keynote Session Chair: Julia Lawall * Emerging Challenges for Large Scale Systems Integration Dr. Andrew Fano (Accenture) 10:30-12:00 Technical papers 1 Session Chair: Julia Lawall * Code Generation to Support Static and Dynamic Composition of Software Product Lines Marko Rosenmueller, Norbert Siegmund, Sven Apel and Gunter Saake. * Efficient Compilation Techniques for Large Scale Feature Models Marcilio Mendonca, Andrzej Wasowski, Krzysztof Czarnecki and Don Cowan. * On the Modularity of Feature Interactions Chang Hwan Peter Kim, Christian Kaestner and Don Batory. 13:30-15:00 Technical papers 2 Session Chair: Jaakko Jarvi * Using Simple Mathematics as a Modeling Language Don Batory. * From Generic to Specific: Off-line Optimization for General Constraint Solver Ye Zhang, Torben Amtoft and Flemming Nielson. * Generating Incremental Implementations of Object-Set Queries Tom Rothamel and Yanhong A. Liu. 15:30-17:00 Technical papers 3 Session Chair: Aniruddha Gokhale * Integrating Semantics and Compilation Peter Gottschling and Andrew Lumsdaine. * Generating Customized Verifiers for Automatically Generated Code Ewen Denney and Bernd Fischer. * Property Models: From Incidental Algorithms to Reusable Components Jaakko Jarvi, Mat Marcus, Sean Parent, John Freeman and Jacob Smith. 17:00-17:30 PC chair's report Monday, October 20 9:00-10:00 Keynote Session Chair: William Cook * Fundamentalist Functional Programming Erik Meijer (Microsoft) 10:30-12:00 Technical papers 4 Session Chair: William Cook * Feature Featherweight Java: A Calculus for Feature-Oriented Programming and Stepwise Refinement Sven Apel, Christian Kastner and Christian Lengauer. * Lightweight Dependent Classes Tetsuo Kamina and Tetsuo Tamai. * Typing Communicating Component Assemblages Michael Lienhardt, Vivien Quema, Alan Schmitt and Jean-Bernard Stefani. 14:00-15:00 Technical papers 5 Session Chair: David Abrahams * Polymorphic Embedding of DSLs Christian Hofer, Klaus Ostermann, Tillmann Rendel and Adriaan Moors. * Pantaxou: a Domain-Specific Language for Developing Safe Coordination Services Julien Mercadal, Nicolas Palix, Charles Consel and Julia Lawall. 15:30-17:00 Technical papers 6 Session Chair: Mark Grechanik * Program Refactoring using Functional Aspects Sven Apel, Christian Kastner and Don Batory. * Rigorous and Practical Refactoring-Based Framework Upgrade Ilie Savga, Michael Rudolf, Sebastian Gotz and Uwe Assmann. * An abstraction for reusable MDD components Vinay Kulkarni and Sreedhar Reddy. --Apple-Mail-3--343080965 Content-Type: text/html; charset=US-ASCII Content-Transfer-Encoding: quoted-printable
Se= venth International Conference on
Generative Programming and = Component Engineering (GPCE'08)
Nashville, = Tennessee
(co-located with OOPSLA = 2008)

*  Only Six Days Left for Early = Registration  *

*** CALL FOR = PARTICIPATION

Generative and component approaches are = revolutionizing software
development similar to how automation and = components revolutionized
manufacturing. Generative Programming = (developing programs that
synthesize other programs), Component = Engineering (raising the level
of modularization and analysis in = application design), and
Domain-Specific Languages (elevating program = specifications to compact
domain-specific notations that are easier = to write, maintain, and
analyze) are key technologies for automating = program development.

GPCE provides a venue for researchers and = practitioners interested in
foundational techniques for enhancing the = productivity, quality, and
time-to-market in software development = that stems from deploying
standard components and automating program = generation. In addition to
exploring cutting-edge techniques for = developing generative and
component-based software, our goal is to = foster further
cross-fertilization between the software engineering = research
community and the programming languages = community.

GPCE 2008 will be co-located with OOPSLA, in = Nashville, Tennessee. The
GPCE technical program will take place on = Oct. 19-20, before the OOPSLA
technical program begins. Other GPCE = events (workshops and tutorials)
will run in parallel with OOPSLA = events on Oct 21-23. GPCE'08 is
sponsored by ACM SIGPLAN, in = cooperation with ACM SIGSOFT.  GPCE'08
proceedings published by = ACM Press.

For full conference program and the latest news, check = the GPCE'08 web site
(http://gpce08.gpce.org).

**** = REGISTRATION

Registration for GPCE'08 is handled through the = OOPSLA registration
page (http://www.regmaste= r.com/conf/oopsla2008.html). Early
registration deadline is = Septermber 11.

*** TECHNICAL PROGRAM
Sunday, October = 19

8:50-9:00 Welcome

9:00-10:00 Keynote
Session Chair: = Julia Lawall

  * Emerging Challenges for Large Scale = Systems Integration
    Dr. Andrew Fano = (Accenture)

10:30-12:00 Technical papers 1
Session Chair: = Julia Lawall


  * Code Generation to Support Static = and Dynamic Composition of
    Software Product = Lines
    Marko Rosenmueller, Norbert Siegmund, = Sven Apel and Gunter Saake.
  * Efficient Compilation = Techniques for Large Scale Feature = Models
    Marcilio Mendonca, Andrzej Wasowski, = Krzysztof Czarnecki and Don Cowan.
  * On the Modularity of = Feature Interactions
    Chang Hwan Peter Kim, = Christian Kaestner and Don Batory.

13:30-15:00 Technical papers = 2
Session Chair: Jaakko Jarvi

  * Using Simple = Mathematics as a Modeling Language
    Don = Batory.
  * =46rom Generic to Specific: Off-line = Optimization for
    General Constraint = Solver
    Ye Zhang, Torben Amtoft and Flemming = Nielson.
  * Generating Incremental Implementations of = Object-Set Queries
    Tom Rothamel and Yanhong = A. Liu.

15:30-17:00 Technical papers 3
Session Chair: = Aniruddha Gokhale

  * Integrating Semantics and = Compilation
    Peter Gottschling and Andrew = Lumsdaine.
  * Generating Customized Verifiers for = Automatically Generated Code
    Ewen Denney and = Bernd Fischer.
  * Property Models: =46rom Incidental = Algorithms to Reusable Components
    Jaakko = Jarvi, Mat Marcus, Sean Parent, John Freeman and Jacob = Smith.

17:00-17:30 PC chair's report

Monday, October = 20

9:00-10:00 Keynote
Session Chair: William = Cook

  * Fundamentalist Functional = Programming
    Erik Meijer = (Microsoft)

10:30-12:00 Technical papers 4
Session Chair: = William Cook

  * Feature Featherweight Java: A Calculus = for Feature-Oriented
    Programming and Stepwise = Refinement
    Sven Apel, Christian Kastner and = Christian Lengauer.
  * Lightweight Dependent = Classes
    Tetsuo Kamina and Tetsuo = Tamai.
  * Typing Communicating Component = Assemblages
    Michael Lienhardt, Vivien Quema, = Alan Schmitt and Jean-Bernard Stefani.

14:00-15:00 Technical = papers 5
Session Chair: David Abrahams

  * = Polymorphic Embedding of DSLs
    Christian = Hofer, Klaus Ostermann, Tillmann Rendel and Adriaan = Moors.
  * Pantaxou: a Domain-Specific Language for = Developing
    Safe Coordination = Services
    Julien Mercadal, Nicolas Palix, = Charles Consel and Julia Lawall.

15:30-17:00 Technical papers = 6
Session Chair: Mark Grechanik

  * Program = Refactoring using Functional Aspects
    Sven = Apel, Christian Kastner and Don Batory.
  * Rigorous and = Practical Refactoring-Based Framework = Upgrade
    Ilie Savga, Michael Rudolf, Sebastian = Gotz and Uwe Assmann.
  * An abstraction for reusable MDD = components
    Vinay Kulkarni and Sreedhar = Reddy.
= --Apple-Mail-3--343080965--