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=HTML_MESSAGE autolearn=disabled version=3.1.3 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 CCB82BB84 for ; Wed, 10 Sep 2008 15:42:29 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgABAMRrx0hA6bjnlGdsb2JhbACCNS+PNz4BAQEBCQMKBxGeRIZ0AQKEB4ES X-IronPort-AV: E=Sophos;i="4.32,372,1217800800"; d="scan'208,217";a="14784302" Received: from wr-out-0506.google.com ([64.233.184.231]) by mail2-smtp-roc.national.inria.fr with ESMTP; 10 Sep 2008 15:42:28 +0200 Received: by wr-out-0506.google.com with SMTP id c55so2512364wra.11 for ; Wed, 10 Sep 2008 06:42:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:from:to :content-type:subject:mime-version:date:x-mailer; bh=e3bP4SVdDd5jnoz105x0YqR2xnmVF7co0KeQw5Nx1WY=; b=WCR8C+cNeYlzp9BewhT3I0RebjTY4h5GTOO+jLuz1ZB7ZzXiJ/H/Ohb0PHbCQAXauj VdN4FZ6CppC0six4rPn4rovtSWS1D1H+qWX5BLmLlo8KvWMW5tCZokQV/11gcD4O5UbV NgwnVU7NynDVFxYJ93bCXPVj/71SeqN/dDZ/c= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:from:to:content-type:subject:mime-version:date:x-mailer; b=CkL1nq5gydEBzPHquoWy7EDGXVjdhLNCWcTUOXsIxmq/lZKR6YF9QtBvORgUZTthWC XeuQuTrC8q7sE4ovzK9arFJu1YL19R/yMJhtFFkE0hoYo7ki2PF8XZaaOUvnjlo5zLu6 cNALBQb9NWgvubAZEVbnL5saXUHmSxRWffiAc= Received: by 10.90.98.12 with SMTP id v12mr1553128agb.6.1221054146906; Wed, 10 Sep 2008 06:42:26 -0700 (PDT) Received: from ?192.168.1.2? ( [64.30.165.27]) by mx.google.com with ESMTPS id 30sm7913462hso.3.2008.09.10.06.42.24 (version=TLSv1/SSLv3 cipher=RC4-MD5); Wed, 10 Sep 2008 06:42:26 -0700 (PDT) Message-Id: <794AF652-AA5E-46FF-B1FC-4AFF0D82E334@gmail.com> From: Pasalic Emir 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-7-81289688 Subject: GPCE'08 Second Call for Participation -- NEWS -- Mime-Version: 1.0 (Apple Message framework v928.1) Date: Wed, 10 Sep 2008 09:42:21 -0400 X-Mailer: Apple Mail (2.928.1) X-Spam: no; 0.00; oopsla:01 generative:01 co-located:01 oopsla:01 co-located:01 sigplan:01 sigsoft:01 sven:01 gunter:01 compilation:01 andrzej:01 solver:01 semantics:01 compilation:01 verifiers:01 --Apple-Mail-7-81289688 Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit * NEWS * * Early registration for OOPSLA and GPCE'08 has been * * extended until Septermber 15 * < http://gpce08.gpce.org > Seventh International Conference on Generative Programming and Component Engineering (GPCE'08) Nashville, Tennessee (co-located with OOPSLA 2008) *** CALL FOR PARTICIPATION *** 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 has been moved to Septermber 15. If registering for OOPSLA as well, the GPCE surcharge is just $200! If registering for GPCE alone, the charge is $375 for ACM members. *** 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-7-81289688 Content-Type: text/html; charset=US-ASCII Content-Transfer-Encoding: quoted-printable
http://gpce08.gpce.org >
Se= venth International Conference on
Generative Programming and = Component Engineering (GPCE'08)
Nashville, = Tennessee
(co-located with OOPSLA = 2008)

*** CALL FOR PARTICIPATION = ***

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 has been = moved to  Septermber 15.  If registering for OOPSLA as = well, 
the GPCE surcharge is just $200! If registering = for GPCE alone, the charge is $375 
for ACM = members. 

*** 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-7-81289688--