The International Conference on Generative Programming and Component Engineering

 <<O>>  Difference Topic ConferenceProgram (21 - 13 Oct 2006 - Main.EmirPasalic)
Line: 1 to 1
 
META TOPICPARENT name="Venue"
The OOPSLA'06 Advance Program, including GPCE-related events, is available now.

Workshops

Line: 72 to 72
 Krzysztof Czarnecki
1:30pm - 5pm, Room D137
Added:
>
>

Special Events

Welcome Reception. Monday, 17:00-19:30, OOPSLA Courtyard, Portland Ballroom Foyer.

 
Added:
>
>		Big Event. Oregon Museum of Science and Industry. Wednesday 19:00-23:00.
Shuttles begin at 18:30 in front of the Convention Center.
 

Technical Papers

Tuesday, October 24 Room D135/D136

Line: 155 to 160
 
  • Manuel Fahndrich, Michael Carbin and James Larus. Reflective Program Generation with Patterns.

17:00-17:10 Closing Session

Deleted:
<
<

Special Events

Welcome Reception. Monday, 17:00-19:30, OOPSLA Courtyard, Portland Ballroom Foyer.

Big Event. Oregon Museum of Science and Industry. Wednesday 19:00-23:00.
Shuttles begin at 18:30 in front of the Convention Center.

 \ No newline at end of file
 <<O>>  Difference Topic ConferenceProgram (20 - 13 Oct 2006 - Main.EmirPasalic)
Line: 1 to 1
 
META TOPICPARENT name="Venue"
The OOPSLA'06 Advance Program, including GPCE-related events, is available now.

Workshops

Line: 82 to 82
 Session chair: Eelco Visser
  • Samuel Kamin, Baris Aktemur and Michael Katelman. Staging static analyses for program generation.
  • Marcos Viera and Alberto Pardo. A Multi-Stage Language with Intensional Analysis.
Changed:
<
<
  • Jonathan Riehl. Assimilating MetaBorg?: Embedding language tools in languages.
>
>
  • Jonathan Riehl. Assimilating MetaBorg: Embedding language tools in languages.
 10:30-12:00 Technical papers 2: Components
Session chair: Don Batory
 <<O>>  Difference Topic ConferenceProgram (19 - 13 Oct 2006 - Main.EmirPasalic)
Line: 1 to 1
 
META TOPICPARENT name="Venue"
The OOPSLA'06 Advance Program, including GPCE-related events, is available now.

Workshops

Line: 16 to 16
 8:30 am - 5pm, Room E145
Organizers:
Magne Haveraaen (University of Bergen, Norway)
Changed:
<
<		Jim Cordy (Queen?s University, Canada)
>
>		Jim Cordy (Queen's University, Canada)
 Jan Heering (CWI, Amsterdam, Netherlands)
Eelco Visser (Utrecht University, Netherlands)

Monday, October 23

Changed:
<
<		Domain-Specific Aspect Languages (DSAL?06)
>
>		Domain-Specific Aspect Languages (DSAL'06)
 8:30am - 5pm, Room C121
Organizers:
Thomas Cleenewerck (Vrije Universiteit Brussel, Belgium)
Line: 32 to 32
 Éric Tanter (University of Chile, Chile)
Changed:
<
<		Generative Programming and Component Engineering for QoS? Provisioning in Distributed Systems (GPCE4QoS)
>
>		Generative Programming and Component Engineering for QoS Provisioning in Distributed Systems (GPCE4QoS)
 8:30am - 5pm, Room C128
Organizers:
Aniruddha S. Gokhale (Vanderbilt University)
Line: 45 to 45
 Bruce Trask, Angel Roman
8:30am - noon, Room C120
Changed:
<
<		GPCE2. Building domain specific languages with Eclipse and open ArchitectureWare?
>
>		GPCE2. Building domain specific languages with Eclipse and open ArchitectureWare
 Markus Völter, Arno Haase
1:30pm - 5pm, Room C120
 <<O>>  Difference Topic ConferenceProgram (18 - 13 Oct 2006 - Main.EmirPasalic)
Line: 1 to 1
 
META TOPICPARENT name="Venue"
The OOPSLA'06 Advance Program, including GPCE-related events, is available now.

Workshops

Line: 155 to 155
 
  • Manuel Fahndrich, Michael Carbin and James Larus. Reflective Program Generation with Patterns.

17:00-17:10 Closing Session \ No newline at end of file

Added:
>
>

Special Events

Welcome Reception. Monday, 17:00-19:30, OOPSLA Courtyard, Portland Ballroom Foyer.

Big Event. Oregon Museum of Science and Industry. Wednesday 19:00-23:00.
Shuttles begin at 18:30 in front of the Convention Center.

 \ No newline at end of file
 <<O>>  Difference Topic ConferenceProgram (17 - 13 Oct 2006 - Main.EmirPasalic)
Line: 1 to 1
 
META TOPICPARENT name="Venue"
The OOPSLA'06 Advance Program, including GPCE-related events, is available now.

Workshops

Line: 99 to 99
 
  • Rémi Douence, Didier Le Botlan, Jacques Noyé and Mario Sudholt. Concurrent Aspects.
Added:
>
>

Wednesday, October 25 Room D135/D136

 
Added:
>
>		08:30-09:30 Keynote speaker: Krzysztof Czarnecki
 
Changed:
<
<

Events

Monday, October 23, 2006
  • Welcome Reception, 17:00-19:30, OOPSLA Courtyard, Portland Ballroom Foyer

Wednesday, October 25, 2006

  • The Big Event, 19:00-23:00, Oregon Museum of Science and Industry
    • We know you come to OOPSLA expecting a phenomenal Big Event. This year, we've outdone ourselves. The Big Event will be held at the Oregon Museum of Science and Industry (OMSI), which has a fascinating set of exhibits, including the talk of the town: Star Wars. Mingle, eat, dance, play with lots of great toys, and see OOPSLA's own Darth Vader vs. Luke Skywalker!
    • Shuttle transportation will begin at 18:30 in front of the Oregon Convention Center.
>
>		09:30-10:10 Short paper
Session Chair: Ira Baxter
  • Eli Tilevich and Yannis Smaragdakis. Transparent Program Transformations in the Presence of Opaque Code.
  • Jorge Mascena, Silvio Meira, Eduardo Almeida and Vinicius Cardoso Garcia. Towards an Effective Integrated Reuse Environment.

10:30-12:00 Technical papers: Safety and Verification
Session Chair: Yannis Smaragdakis

  • Frances Perry, Limin Jia and David Walker. Expressing Heap-shape Contracts in Linear Logic.
  • Edwin Brady and Kevin Hammond. A Verified Staged Interpreter is a Verified Compiler.
  • Ewen Denney and Bernd Fischer. A Generic Annotation Inference Algorithm for the Safety Certification of Automatically Generated Code.

13:00-15:00 Technical papers: Applications
Session Chair: Bernd Fischer

  • Janina Reeder and Robert Giegerich. A graphical programming system for molecular motif search.
  • Daniel Fontijne. Gaigen 2: Geometric Algebra Implementation Generator.
  • David Broman, Peter Fritzson and Kaj Nyström. Determining Over- and Under-Constrained Systems of Equations using Structural Constraint Delta.
  • Peter Barron and Vinny Cahill. YABS: A Domain-Specific Language for Pervasive Computing based on Stigmergy.

15:30-17:00 Technical papers: Measurement and Evaluation
Session Chair: Jeff Gray

  • Ralf Laemmel and Klaus Ostermann. Software Extension and Integration with Type Classes - A tutorial for functional and OO programmers.
  • Walter Binder and Jarle Hulaas. Flexible and Efficient Measurement of Dynamic Bytecode Metrics.
  • Westley Weimer. Patches as Better Bug Reports.

Thursday, October 26 Room D135/D136

8:30-10:00 Phil Wadler OOPSLA Keynote Portland Ballroom 252?254

10:30-12:00 Technical papers: Program Families
Session Chair: Kevin Hammond

  • Salvador Trujillo, Don Batory and Oscar Diaz. Feature Refactoring a Multi-Representation Program into a Product Line.
  • Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba and Carlos Lucena. Refactoring Product Lines.
  • Krzysztof Czarnecki and Krzysztof Pietroszek. Verifying Feature-Based Model Templates Against Well-Formedness OCL Constraints.

13:00-14:00 Panel session: Enhanced Languages to Aid Verification
Gary T. Leavens (Iowa State)
Don Batory (U. of Texas, Austin)
Gilad Bracha (Sun Microsystems)
Walid Taha (Rice University)

14:00-15:00 Short papers Session
Chair: Douglas Schmidt

  • Christian Prehofer. Semantic Reasoning about Feature Composition via multiple Aspect-weavings.
  • Rui Shi, Chiyan Chen and Hongwei Xi. Distributed Meta-Programming.
  • Frédéric Jouault, Jean Bézivin and Ivan Kurtev. TCS: a DSL for the Specification of Textual Concrete Syntaxes in Model Engineering.

15:30-17:00 Technical papers: Compilation
Session Chair: Samuel Kamin

  • Zoltan Porkolab, Jozsef Mihalicza and Adam Sipos. Debugging C++ Template Metaprograms.
  • Anya Helene Bagge, Valentin David, Karl Trygve Kalleberg and Magne Haveraaen. Flexible Exception Handling.
  • Manuel Fahndrich, Michael Carbin and James Larus. Reflective Program Generation with Patterns.
 
Deleted:
<
<

Technical papers

Tuesday, October 24

  • 8:30-10:00 Technical papers: Staging Session chair: Eelco Visser
    • Samuel Kamin, Baris Aktemur and Michael Katelman. Staging static analyses for program generation
    • Marcos Viera and Alberto Pardo. A Multi-Stage Language with Intensional Analysis
    • Jonathan Riehl. Assimilating MetaBorg?: Embedding language tools in languages

  • 10:30-12:00 Technical papers: Components Session chair: Don Batory
    • Gabriel Moreno. Creating Custom Containers with Generative Techniques
    • Alexander Stuckenholz and Andre Osterloh. Safe Component Updates
    • John Reppy and Chunyan Song. Application-specific foreign-interface generation

  • 15:30-17:00 Technical papers: Advanced Aspects Session Chair: Shigeru Chiba
    • Sven Apel and Don Batory. When to Use Features and Aspects -- A Case Study
    • Yoshisato Yanagisawa, Kenichi Kourai, Shigeru Chiba and Rei Ishikawa. A Dynamic Aspect-oriented System for OS Kernels
    • Rémi Douence, Didier Le Botlan, Jacques Noyé and Mario Sudholt. Concurrent Aspects

Wednesday, October 25

  • 08:30-09:30 Keynote speaker: Krzysztof Czarnecki

  • 09:30-10:10 Short papers Session Chair: Ira Baxter
    • Eli Tilevich and Yannis Smaragdakis. Transparent Program Transformations in the Presence of Opaque Code
    • Jorge Mascena, Silvio Meira, Eduardo Almeida and Vinicius Cardoso Garcia. Towards an Effective Integrated Reuse Environment

  • 10:30-12:00 Technical papers: Safety and Verification Session Chair: Yannis Smaragdakis
    • Frances Perry, Limin Jia and David Walker. Expressing Heap-shape Contracts in Linear Logic
    • Edwin Brady and Kevin Hammond. A Verified Staged Interpreter is a Verified Compiler
    • Ewen Denney and Bernd Fischer. A Generic Annotation Inference Algorithm for the Safety Certification of Automatically Generated Code

  • 13:00-15:00 Technical papers: Applications Session Chair: Bernd Fischer
    • Janina Reeder and Robert Giegerich. A graphical programming system for molecular motif search
    • Daniel Fontijne. Gaigen 2: Geometric Algebra Implementation Generator
    • David Broman, Peter Fritzson and Kaj Nyström. Determining Over- and Under-Constrained Systems of Equations using Structural Constraint Delta
    • Peter Barron and Vinny Cahill. YABS: A Domain-Specific Language for Pervasive Computing based on Stigmergy

  • 15:30-17:00 Technical papers: Measurement and Evaluation Session Chair: Jeff Gray
    • Ralf Laemmel and Klaus Ostermann. Software Extension and Integration with Type Classes - A tutorial for functional and OO programmers
    • Walter Binder and Jarle Hulaas. Flexible and Efficient Measurement of Dynamic Bytecode Metrics
    • Westley Weimer. Patches as Better Bug Reports

Thursday, October 26

  • 10:30-12:00 Technical papers: Program Families Session Chair: Kevin Hammond
    • Salvador Trujillo, Don Batory and Oscar Diaz. Feature Refactoring a Multi-Representation Program into a Product Line
    • Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba and Carlos Lucena. Refactoring Product Lines
    • Krzysztof Czarnecki and Krzysztof Pietroszek. Verifying Feature-Based Model Templates Against Well-Formedness OCL Constraints

  • 13:00-14:00 Panel session: Enhanced Languages to Aid Verification
    • Gary T. Leavens (Iowa State)
    • Don Batory (U. of Texas, Austin)
    • Gilad Bracha (Sun Microsystems)
    • Walid Taha (Rice University)

  • 14:00-15:00 Short papers Session Chair: Douglas Schmidt
    • Christian Prehofer. Semantic Reasoning about Feature Composition via multiple Aspect-weavings
    • Rui Shi, Chiyan Chen and Hongwei Xi. Distributed Meta-Programming
    • Frédéric Jouault, Jean Bézivin and Ivan Kurtev. TCS: a DSL for the Specification of Textual Concrete Syntaxes in Model Engineering

  • 15:30-17:00 Technical papers: Compilation Session Chair: Samuel Kamin
    • Zoltan Porkolab, Jozsef Mihalicza and Adam Sipos. Debugging C++ Template Metaprograms
    • Anya Helene Bagge, Valentin David, Karl Trygve Kalleberg and Magne Haveraaen. Flexible Exception Handling
    • Manuel Fahndrich, Michael Carbin and James Larus. Reflective Program Generation with Patterns

Tutorials and Workshops

  Sunday, October 22nd
morning GPCE1
Model-driven development basics using Eclipse
Bruce Trask, Angel Roman 		 
    WS1 AOPLE
Aspect-Oriented Product Line Engineering
Neil Loughran, Iris Groher, Roberto Lopez-Herrejon 		WS2 STS
Software transformation systems
Magne Haveraaen, Jim Cordy, Jan Heering, Eelco Visser 		 
afternoon GPCE2
Building domain specific languages with Eclipse and open ArchitectureWare
Markus Völter, Arno Haase 		 

  Monday, October 23rd
morning GPCE3
Using Feature Models for Product Derivation
Danilo Beuche, Olaf Spinczyk 		 
    WS3 DSAL
Workshop on Domain-Specific Aspect Languages
Thomas Cleenewerck, Johan Fabry, Anne-Francoise Le Meur, Jacques Noy, Eric Tanter 		WS4 GPCE4QoS
Generative Programming and Component Engineering for QoS Provisioning in Distributed Systems
Aniruddha S. Gokhale, Jeffrey G. Gray 		 
afternoon GPCE4
Building Java Transformations with Stratego/XT
Martin Bravenboer, Karl Trygve Kalleberg, Eelco Visser 		 

  Tuesday, October 24th
morning    
       
afternoon GPCE5
Engineering Software Factories for Developing Enterprise Applications Using Model-Driven Techniques
Vinay Kulkarni, Sreedhar Reddy 		GPCE6
Feature Modularity in Software Product Lines
Don Batory

  Wednesday, October 25th
morning    
       
afternoon GPCE7
Generative Software Development
Krzysztof Czarnecki 		 
 \ No newline at end of file
Added:
>
>		17:00-17:10 Closing Session
 \ No newline at end of file
 <<O>>  Difference Topic ConferenceProgram (16 - 13 Oct 2006 - Main.EmirPasalic)
Line: 1 to 1
 
META TOPICPARENT name="Venue"
The OOPSLA'06 Advance Program, including GPCE-related events, is available now.

Workshops

Line: 73 to 73
 1:30pm - 5pm, Room D137
Added:
>
>

Technical Papers

Tuesday, October 24 Room D135/D136

8:30-8:40 Opening Session

8:40-10:10 Technical papers 1: Staging
Session chair: Eelco Visser

  • Samuel Kamin, Baris Aktemur and Michael Katelman. Staging static analyses for program generation.
  • Marcos Viera and Alberto Pardo. A Multi-Stage Language with Intensional Analysis.
  • Jonathan Riehl. Assimilating MetaBorg?: Embedding language tools in languages.

10:30-12:00 *Technical papers 2: Components*
Session chair: Don Batory

  • Gabriel Moreno. Creating Custom Containers with Generative Techniques.
  • Alexander Stuckenholz and Andre Osterloh. Safe Component Updates.
  • John Reppy and Chunyan Song. Application-specific foreign-interface generation.

1:30pm Linda Northrup OOPSLA keynote Portland Ballroom 252?254

15:30-17:00 Technical papers 3: Advanced Aspects
Session chair: Shigeru Chiba

  • Sven Apel and Don Batory. When to Use Features and Aspects -- A Case Study.
  • Yoshisato Yanagisawa, Kenichi Kourai, Shigeru Chiba and Rei Ishikawa. A Dynamic Aspect-oriented System for OS Kernels.
  • Rémi Douence, Didier Le Botlan, Jacques Noyé and Mario Sudholt. Concurrent Aspects.

 

Events

Monday, October 23, 2006
  • Welcome Reception, 17:00-19:30, OOPSLA Courtyard, Portland Ballroom Foyer
 <<O>>  Difference Topic ConferenceProgram (15 - 13 Oct 2006 - Main.EmirPasalic)
Line: 1 to 1
 
META TOPICPARENT name="Venue"
The OOPSLA'06 Advance Program, including GPCE-related events, is available now.

Workshops

Line: 48 to 48
 GPCE2. Building domain specific languages with Eclipse and open ArchitectureWare?
Markus Völter, Arno Haase
1:30pm - 5pm, Room C120
Deleted:
<
<		Monday, October 23
 
Added:
>
>

Monday, October 23

 GPCE3. Using Feature Models for Product Derivation
Danilo Beuche, Olaf Spinczyk
8:30am - noon, Room C120
Line: 57 to 57
 GPCE4. Building Java Transformations with Stratego/XT
Martin Bravenboer, Karl Trygve Kalleberg, Eelco Visser
1:30pm - 5pm, Room C120
Deleted:
<
<		Tuesday, October 24
 
Added:
>
>

Tuesday, October 24

 GPCE5. Engineering Software Factories for Developing Enterprise Applications Using Model-Driven Techniques
Vinay Kulkarni, Sreedhar Reddy
1:30pm - 5pm, Room E141
 <<O>>  Difference Topic ConferenceProgram (14 - 13 Oct 2006 - Main.EmirPasalic)
Line: 1 to 1
 
META TOPICPARENT name="Venue"
The OOPSLA'06 Advance Program, including GPCE-related events, is available now.

Workshops

Line: 32 to 32
 Éric Tanter (University of Chile, Chile)
Changed:
<
<		*Generative Programming and Component Engineering for QoS? Provisioning in Distributed Systems (GPCE4QoS)*
>
>		Generative Programming and Component Engineering for QoS? Provisioning in Distributed Systems (GPCE4QoS)
 8:30am - 5pm, Room C128
Organizers:
Aniruddha S. Gokhale (Vanderbilt University)
Jeff Gray (University of Alabama at Birmingham)
Added:
>
>

Tutorials

Sunday, October 22

GPCE1. Model-driven development basics using Eclipse
Bruce Trask, Angel Roman
8:30am - noon, Room C120

GPCE2. Building domain specific languages with Eclipse and open ArchitectureWare?
Markus Völter, Arno Haase
1:30pm - 5pm, Room C120
Monday, October 23

GPCE3. Using Feature Models for Product Derivation
Danilo Beuche, Olaf Spinczyk
8:30am - noon, Room C120

GPCE4. Building Java Transformations with Stratego/XT
Martin Bravenboer, Karl Trygve Kalleberg, Eelco Visser
1:30pm - 5pm, Room C120
Tuesday, October 24

GPCE5. Engineering Software Factories for Developing Enterprise Applications Using Model-Driven Techniques
Vinay Kulkarni, Sreedhar Reddy
1:30pm - 5pm, Room E141

GPCE6. Feature Modularity in Software Product Lines
Don Batory
1:30pm - 5pm, Room E142

Wednesday, October 25

GPCE7. Generative Software Development
Krzysztof Czarnecki
1:30pm - 5pm, Room D137
 

Events

Monday, October 23, 2006
  • Welcome Reception, 17:00-19:30, OOPSLA Courtyard, Portland Ballroom Foyer
 <<O>>  Difference Topic ConferenceProgram (13 - 13 Oct 2006 - Main.EmirPasalic)
Line: 1 to 1
 
META TOPICPARENT name="Venue"
The OOPSLA'06 Advance Program, including GPCE-related events, is available now.

Workshops

Line: 22 to 21
 Eelco Visser (Utrecht University, Netherlands)
Changed:
<
<

Monday, October 23

>
>

Monday, October 23

 *Domain-Specific Aspect Languages (DSAL?06)*
8:30am - 5pm, Room C121
Organizers:
 <<O>>  Difference Topic ConferenceProgram (12 - 13 Oct 2006 - Main.EmirPasalic)
Line: 1 to 1
 
META TOPICPARENT name="Venue"
The OOPSLA'06 Advance Program, including GPCE-related events, is available now.
Added:
>
>

Workshops

Sunday, October 22

Aspect-Oriented Product Line Engineering (AOPLE)
8:30am - 5pm, Room C121
Organizers:
Neil Loughran (Lancaster University)
Iris Groher, Siemens AG (Munich, Germany & Linz University, Austria)
Roberto Lopez-Herrejon (University of Oxford)

*Software Transformation Systems*
8:30 am - 5pm, Room E145
Organizers:
Magne Haveraaen (University of Bergen, Norway)
Jim Cordy (Queen?s University, Canada)
Jan Heering (CWI, Amsterdam, Netherlands)
Eelco Visser (Utrecht University, Netherlands)

Monday, October 23

*Domain-Specific Aspect Languages (DSAL?06)*
8:30am - 5pm, Room C121
Organizers:
Thomas Cleenewerck (Vrije Universiteit Brussel, Belgium)
Johan Fabry (Vrije Universiteit Brussel, Belgium)
Anne-Françoise Le Meur (University of Lille, France)
Jacques Noyé (École des Mines de Nantes, France)
Éric Tanter (University of Chile, Chile)

*Generative Programming and Component Engineering for QoS? Provisioning in Distributed Systems (GPCE4QoS)*
8:30am - 5pm, Room C128
Organizers:
Aniruddha S. Gokhale (Vanderbilt University)
Jeff Gray (University of Alabama at Birmingham)

 

Events

Monday, October 23, 2006
 <<O>>  Difference Topic ConferenceProgram (11 - 09 Oct 2006 - Main.EmirPasalic)
Line: 1 to 1
 
META TOPICPARENT name="Venue"
The OOPSLA'06 Advance Program, including GPCE-related events, is available now.

Events

Added:
>
>		Monday, October 23, 2006
  • Welcome Reception, 17:00-19:30, OOPSLA Courtyard, Portland Ballroom Foyer
 
Added:
>
>		Wednesday, October 25, 2006
  • The Big Event, 19:00-23:00, Oregon Museum of Science and Industry
    • We know you come to OOPSLA expecting a phenomenal Big Event. This year, we've outdone ourselves. The Big Event will be held at the Oregon Museum of Science and Industry (OMSI), which has a fascinating set of exhibits, including the talk of the town: Star Wars. Mingle, eat, dance, play with lots of great toys, and see OOPSLA's own Darth Vader vs. Luke Skywalker!
    • Shuttle transportation will begin at 18:30 in front of the Oregon Convention Center.
 

Technical papers

Tuesday, October 24

  • 8:30-10:00 Technical papers: Staging Session chair: Eelco Visser
    • Samuel Kamin, Baris Aktemur and Michael Katelman. Staging static analyses for program generation
    • Marcos Viera and Alberto Pardo. A Multi-Stage Language with Intensional Analysis
    • Jonathan Riehl. Assimilating MetaBorg?: Embedding language tools in languages

  • 10:30-12:00 Technical papers: Components Session chair: Don Batory
    • Gabriel Moreno. Creating Custom Containers with Generative Techniques
    • Alexander Stuckenholz and Andre Osterloh. Safe Component Updates
    • John Reppy and Chunyan Song. Application-specific foreign-interface generation

  • 15:30-17:00 Technical papers: Advanced Aspects Session Chair: Shigeru Chiba
    • Sven Apel and Don Batory. When to Use Features and Aspects -- A Case Study
    • Yoshisato Yanagisawa, Kenichi Kourai, Shigeru Chiba and Rei Ishikawa. A Dynamic Aspect-oriented System for OS Kernels
    • Rémi Douence, Didier Le Botlan, Jacques Noyé and Mario Sudholt. Concurrent Aspects

Wednesday, October 25

  • 08:30-09:30 Keynote speaker: Krzysztof Czarnecki

  • 09:30-10:10 Short papers Session Chair: Ira Baxter
    • Eli Tilevich and Yannis Smaragdakis. Transparent Program Transformations in the Presence of Opaque Code
    • Jorge Mascena, Silvio Meira, Eduardo Almeida and Vinicius Cardoso Garcia. Towards an Effective Integrated Reuse Environment

  • 10:30-12:00 Technical papers: Safety and Verification Session Chair: Yannis Smaragdakis
    • Frances Perry, Limin Jia and David Walker. Expressing Heap-shape Contracts in Linear Logic
    • Edwin Brady and Kevin Hammond. A Verified Staged Interpreter is a Verified Compiler
    • Ewen Denney and Bernd Fischer. A Generic Annotation Inference Algorithm for the Safety Certification of Automatically Generated Code

  • 13:00-15:00 Technical papers: Applications Session Chair: Bernd Fischer
    • Janina Reeder and Robert Giegerich. A graphical programming system for molecular motif search
    • Daniel Fontijne. Gaigen 2: Geometric Algebra Implementation Generator
    • David Broman, Peter Fritzson and Kaj Nyström. Determining Over- and Under-Constrained Systems of Equations using Structural Constraint Delta
    • Peter Barron and Vinny Cahill. YABS: A Domain-Specific Language for Pervasive Computing based on Stigmergy

  • 15:30-17:00 Technical papers: Measurement and Evaluation Session Chair: Jeff Gray
    • Ralf Laemmel and Klaus Ostermann. Software Extension and Integration with Type Classes - A tutorial for functional and OO programmers
    • Walter Binder and Jarle Hulaas. Flexible and Efficient Measurement of Dynamic Bytecode Metrics
    • Westley Weimer. Patches as Better Bug Reports

Thursday, October 26

  • 10:30-12:00 Technical papers: Program Families Session Chair: Kevin Hammond
    • Salvador Trujillo, Don Batory and Oscar Diaz. Feature Refactoring a Multi-Representation Program into a Product Line
    • Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba and Carlos Lucena. Refactoring Product Lines
    • Krzysztof Czarnecki and Krzysztof Pietroszek. Verifying Feature-Based Model Templates Against Well-Formedness OCL Constraints

  • 13:00-14:00 Panel session: Enhanced Languages to Aid Verification
    • Gary T. Leavens (Iowa State)
    • Don Batory (U. of Texas, Austin)
    • Gilad Bracha (Sun Microsystems)
    • Walid Taha (Rice University)

  • 14:00-15:00 Short papers Session Chair: Douglas Schmidt
    • Christian Prehofer. Semantic Reasoning about Feature Composition via multiple Aspect-weavings
    • Rui Shi, Chiyan Chen and Hongwei Xi. Distributed Meta-Programming
    • Frédéric Jouault, Jean Bézivin and Ivan Kurtev. TCS: a DSL for the Specification of Textual Concrete Syntaxes in Model Engineering

  • 15:30-17:00 Technical papers: Compilation Session Chair: Samuel Kamin
    • Zoltan Porkolab, Jozsef Mihalicza and Adam Sipos. Debugging C++ Template Metaprograms
    • Anya Helene Bagge, Valentin David, Karl Trygve Kalleberg and Magne Haveraaen. Flexible Exception Handling
    • Manuel Fahndrich, Michael Carbin and James Larus. Reflective Program Generation with Patterns
 <<O>>  Difference Topic ConferenceProgram (10 - 09 Oct 2006 - Main.EmirPasalic)
Line: 1 to 1
 
META TOPICPARENT name="Venue"
The OOPSLA'06 Advance Program, including GPCE-related events, is available now.
Changed:
<
<		The list of accepted papers is also available.
>
>

Events

 

Technical papers

Tuesday, October 24

  • 8:30-10:00 Technical papers: Staging Session chair: Eelco Visser
    • Samuel Kamin, Baris Aktemur and Michael Katelman. Staging static analyses for program generation
    • Marcos Viera and Alberto Pardo. A Multi-Stage Language with Intensional Analysis
    • Jonathan Riehl. Assimilating MetaBorg?: Embedding language tools in languages

  • 10:30-12:00 Technical papers: Components Session chair: Don Batory
    • Gabriel Moreno. Creating Custom Containers with Generative Techniques
    • Alexander Stuckenholz and Andre Osterloh. Safe Component Updates
    • John Reppy and Chunyan Song. Application-specific foreign-interface generation

  • 15:30-17:00 Technical papers: Advanced Aspects Session Chair: Shigeru Chiba
    • Sven Apel and Don Batory. When to Use Features and Aspects -- A Case Study
    • Yoshisato Yanagisawa, Kenichi Kourai, Shigeru Chiba and Rei Ishikawa. A Dynamic Aspect-oriented System for OS Kernels
    • Rémi Douence, Didier Le Botlan, Jacques Noyé and Mario Sudholt. Concurrent Aspects

Wednesday, October 25

  • 08:30-09:30 Keynote speaker: Krzysztof Czarnecki

  • 09:30-10:10 Short papers Session Chair: Ira Baxter
    • Eli Tilevich and Yannis Smaragdakis. Transparent Program Transformations in the Presence of Opaque Code
    • Jorge Mascena, Silvio Meira, Eduardo Almeida and Vinicius Cardoso Garcia. Towards an Effective Integrated Reuse Environment

  • 10:30-12:00 Technical papers: Safety and Verification Session Chair: Yannis Smaragdakis
    • Frances Perry, Limin Jia and David Walker. Expressing Heap-shape Contracts in Linear Logic
    • Edwin Brady and Kevin Hammond. A Verified Staged Interpreter is a Verified Compiler
    • Ewen Denney and Bernd Fischer. A Generic Annotation Inference Algorithm for the Safety Certification of Automatically Generated Code

  • 13:00-15:00 Technical papers: Applications Session Chair: Bernd Fischer
    • Janina Reeder and Robert Giegerich. A graphical programming system for molecular motif search
    • Daniel Fontijne. Gaigen 2: Geometric Algebra Implementation Generator
    • David Broman, Peter Fritzson and Kaj Nyström. Determining Over- and Under-Constrained Systems of Equations using Structural Constraint Delta
    • Peter Barron and Vinny Cahill. YABS: A Domain-Specific Language for Pervasive Computing based on Stigmergy

  • 15:30-17:00 Technical papers: Measurement and Evaluation Session Chair: Jeff Gray
    • Ralf Laemmel and Klaus Ostermann. Software Extension and Integration with Type Classes - A tutorial for functional and OO programmers
    • Walter Binder and Jarle Hulaas. Flexible and Efficient Measurement of Dynamic Bytecode Metrics
    • Westley Weimer. Patches as Better Bug Reports

Thursday, October 26

  • 10:30-12:00 Technical papers: Program Families Session Chair: Kevin Hammond
    • Salvador Trujillo, Don Batory and Oscar Diaz. Feature Refactoring a Multi-Representation Program into a Product Line
    • Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba and Carlos Lucena. Refactoring Product Lines
    • Krzysztof Czarnecki and Krzysztof Pietroszek. Verifying Feature-Based Model Templates Against Well-Formedness OCL Constraints

  • 13:00-14:00 Panel session: Enhanced Languages to Aid Verification
    • Gary T. Leavens (Iowa State)
    • Don Batory (U. of Texas, Austin)
    • Gilad Bracha (Sun Microsystems)
    • Walid Taha (Rice University)

  • 14:00-15:00 Short papers Session Chair: Douglas Schmidt
    • Christian Prehofer. Semantic Reasoning about Feature Composition via multiple Aspect-weavings
    • Rui Shi, Chiyan Chen and Hongwei Xi. Distributed Meta-Programming
    • Frédéric Jouault, Jean Bézivin and Ivan Kurtev. TCS: a DSL for the Specification of Textual Concrete Syntaxes in Model Engineering

  • 15:30-17:00 Technical papers: Compilation Session Chair: Samuel Kamin
    • Zoltan Porkolab, Jozsef Mihalicza and Adam Sipos. Debugging C++ Template Metaprograms
    • Anya Helene Bagge, Valentin David, Karl Trygve Kalleberg and Magne Haveraaen. Flexible Exception Handling
    • Manuel Fahndrich, Michael Carbin and James Larus. Reflective Program Generation with Patterns
 <<O>>  Difference Topic ConferenceProgram (9 - 07 Sep 2006 - Main.ToddVeldhuizen)
Line: 1 to 1
 
META TOPICPARENT name="Venue"
The OOPSLA'06 Advance Program, including GPCE-related events, is available now.
 <<O>>  Difference Topic ConferenceProgram (8 - 07 Sep 2006 - Main.ToddVeldhuizen)
Line: 1 to 1
 
META TOPICPARENT name="Venue"
The OOPSLA'06 Advance Program, including GPCE-related events, is available now.
 <<O>>  Difference Topic ConferenceProgram (7 - 07 Sep 2006 - Main.ToddVeldhuizen)
Line: 1 to 1
 
META TOPICPARENT name="Venue"
The OOPSLA'06 Advance Program, including GPCE-related events, is available now.

The list of accepted papers is also available.

Added:
>
>

Technical papers

Tuesday, October 24

  • 8:30-10:00 Technical papers: Staging Session chair: Eelco Visser
    • Samuel Kamin, Baris Aktemur and Michael Katelman. Staging static analyses for program generation
    • Marcos Viera and Alberto Pardo. A Multi-Stage Language with Intensional Analysis
    • Jonathan Riehl. Assimilating MetaBorg?: Embedding language tools in languages

  • 10:30-12:00 Technical papers: Components Session chair: Don Batory
    • Gabriel Moreno. Creating Custom Containers with Generative Techniques
    • Alexander Stuckenholz and Andre Osterloh. Safe Component Updates
    • John Reppy and Chunyan Song. Application-specific foreign-interface generation

  • 15:30-17:00 Technical papers: Advanced Aspects Session Chair: Shigeru Chiba
    • Sven Apel and Don Batory. When to Use Features and Aspects -- A Case Study
    • Yoshisato Yanagisawa, Kenichi Kourai, Shigeru Chiba and Rei Ishikawa. A Dynamic Aspect-oriented System for OS Kernels
    • Rémi Douence, Didier Le Botlan, Jacques Noyé and Mario Sudholt. Concurrent Aspects

Wednesday, October 25

  • 08:30-09:30 Keynote speaker: Krzysztof Czarnecki

  • 09:30-10:10 Short papers Session Chair: Ira Baxter
    • Eli Tilevich and Yannis Smaragdakis. Transparent Program Transformations in the Presence of Opaque Code
    • Jorge Mascena, Silvio Meira, Eduardo Almeida and Vinicius Cardoso Garcia. Towards an Effective Integrated Reuse Environment

  • 10:30-12:00 Technical papers: Safety and Verification Session Chair: Yannis Smaragdakis
    • Frances Perry, Limin Jia and David Walker. Expressing Heap-shape Contracts in Linear Logic
    • Edwin Brady and Kevin Hammond. A Verified Staged Interpreter is a Verified Compiler
    • Ewen Denney and Bernd Fischer. A Generic Annotation Inference Algorithm for the Safety Certification of Automatically Generated Code

  • 13:00-15:00 Technical papers: Applications Session Chair: Bernd Fischer
    • Janina Reeder and Robert Giegerich. A graphical programming system for molecular motif search
    • Daniel Fontijne. Gaigen 2: Geometric Algebra Implementation Generator
    • David Broman, Peter Fritzson and Kaj Nyström. Determining Over- and Under-Constrained Systems of Equations using Structural Constraint Delta
    • Peter Barron and Vinny Cahill. YABS: A Domain-Specific Language for Pervasive Computing based on Stigmergy

  • 15:30-17:00 Technical papers: Measurement and Evaluation Session Chair: Jeff Gray
    • Ralf Laemmel and Klaus Ostermann. Software Extension and Integration with Type Classes - A tutorial for functional and OO programmers
    • Walter Binder and Jarle Hulaas. Flexible and Efficient Measurement of Dynamic Bytecode Metrics
    • Westley Weimer. Patches as Better Bug Reports

Thursday, October 26

  • 10:30-12:00 Technical papers: Program Families Session Chair: Kevin Hammond
    • Salvador Trujillo, Don Batory and Oscar Diaz. Feature Refactoring a Multi-Representation Program into a Product Line
    • Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba and Carlos Lucena. Refactoring Product Lines
    • Krzysztof Czarnecki and Krzysztof Pietroszek. Verifying Feature-Based Model Templates Against Well-Formedness OCL Constraints

  • 13:00-14:00 Panel session: Enhanced Languages to Aid Verification
    • Gary T. Leavens (Iowa State)
    • Don Batory (U. of Texas, Austin)
    • Gilad Bracha (Sun Microsystems)
    • Walid Taha (Rice University)

  • 14:00-15:00 Short papers Session Chair: Douglas Schmidt
    • Christian Prehofer. Semantic Reasoning about Feature Composition via multiple Aspect-weavings
    • Rui Shi, Chiyan Chen and Hongwei Xi. Distributed Meta-Programming
    • Frédéric Jouault, Jean Bézivin and Ivan Kurtev. TCS: a DSL for the Specification of Textual Concrete Syntaxes in Model Engineering

  • 15:30-17:00 Technical papers: Compilation Session Chair: Samuel Kamin
    • Zoltan Porkolab, Jozsef Mihalicza and Adam Sipos. Debugging C++ Template Metaprograms
    • Anya Helene Bagge, Valentin David, Karl Trygve Kalleberg and Magne Haveraaen. Flexible Exception Handling
    • Manuel Fahndrich, Michael Carbin and James Larus. Reflective Program Generation with Patterns
 

Tutorials and Workshops

  Sunday, October 22nd
morning GPCE1
Model-driven development basics using Eclipse
Bruce Trask, Angel Roman 		 
    WS1 AOPLE
Aspect-Oriented Product Line Engineering
Neil Loughran, Iris Groher, Roberto Lopez-Herrejon 		WS2 STS
Software transformation systems
Magne Haveraaen, Jim Cordy, Jan Heering, Eelco Visser 		 
afternoon GPCE2
Building domain specific languages with Eclipse and open ArchitectureWare
Markus Völter, Arno Haase 		 

  Monday, October 23rd
morning GPCE3
Using Feature Models for Product Derivation
Danilo Beuche, Olaf Spinczyk 		 
    WS3 DSAL
Workshop on Domain-Specific Aspect Languages
Thomas Cleenewerck, Johan Fabry, Anne-Francoise Le Meur, Jacques Noy, Eric Tanter 		WS4 GPCE4QoS
Generative Programming and Component Engineering for QoS Provisioning in Distributed Systems
Aniruddha S. Gokhale, Jeffrey G. Gray 		 
afternoon GPCE4
Building Java Transformations with Stratego/XT
Martin Bravenboer, Karl Trygve Kalleberg, Eelco Visser 		 

  Tuesday, October 24th
morning    
       
afternoon GPCE5
Engineering Software Factories for Developing Enterprise Applications Using Model-Driven Techniques
Vinay Kulkarni, Sreedhar Reddy 		GPCE6
Feature Modularity in Software Product Lines
Don Batory

  Wednesday, October 25th
morning    
       
afternoon GPCE7
Generative Software Development
Krzysztof Czarnecki 		 
\ No newline at end of file
 <<O>>  Difference Topic ConferenceProgram (6 - 06 Aug 2006 - Main.EmirPasalic)
Line: 1 to 1
 
META TOPICPARENT name="Venue"
Changed:
<
<		The OOPSLA'06 Advance Program, including GPCE-related events, is available now.
>
>		The OOPSLA'06 Advance Program, including GPCE-related events, is available now.
 The list of accepted papers is also available.
 <<O>>  Difference Topic ConferenceProgram (5 - 21 Jul 2006 - Main.ToddVeldhuizen)
Line: 1 to 1
 
META TOPICPARENT name="Venue"
The OOPSLA'06 Advance Program, including GPCE-related events, is available now.
Added:
>
>		The list of accepted papers is also available.
 

Tutorials and Workshops

  Sunday, October 22nd
morning GPCE1
Model-driven development basics using Eclipse
Bruce Trask, Angel Roman 		 
    WS1 AOPLE
Aspect-Oriented Product Line Engineering
Neil Loughran, Iris Groher, Roberto Lopez-Herrejon 		WS2 STS
Software transformation systems
Magne Haveraaen, Jim Cordy, Jan Heering, Eelco Visser 		 
afternoon GPCE2
Building domain specific languages with Eclipse and open ArchitectureWare
Markus Völter, Arno Haase 		 

  Monday, October 23rd
morning GPCE3
Using Feature Models for Product Derivation
Danilo Beuche, Olaf Spinczyk 		 
    WS3 DSAL
Workshop on Domain-Specific Aspect Languages
Thomas Cleenewerck, Johan Fabry, Anne-Francoise Le Meur, Jacques Noy, Eric Tanter 		WS4 GPCE4QoS
Generative Programming and Component Engineering for QoS Provisioning in Distributed Systems
Aniruddha S. Gokhale, Jeffrey G. Gray 		 
afternoon GPCE4
Building Java Transformations with Stratego/XT
Martin Bravenboer, Karl Trygve Kalleberg, Eelco Visser 		 

  Tuesday, October 24th
morning    
       
afternoon GPCE5
Engineering Software Factories for Developing Enterprise Applications Using Model-Driven Techniques
Vinay Kulkarni, Sreedhar Reddy 		GPCE6
Feature Modularity in Software Product Lines
Don Batory

  Wednesday, October 25th
morning    
       
afternoon GPCE7
Generative Software Development
Krzysztof Czarnecki 		 
Deleted:
<
<
META FILEATTACHMENT attr="h" comment="OOPSLA advance program" date="1150587542" moveby="EmirPasalic" movedto="GPCE06.ConferenceProgram" movedwhen="1150588019" movefrom="GPCE06.ConferenceProgram" name="oopsla_06_advance_program.pdf" path="oopsla_06_advance_program.pdf" size="399612" user="EmirPasalic" version="1.1"
META FILEATTACHMENT attr="h" comment="" date="1150588310" name="program.pdf" path="program.pdf" size="399612" user="EmirPasalic" version="1.1"
 <<O>>  Difference Topic ConferenceProgram (4 - 19 Jun 2006 - Main.EmirPasalic)
Line: 1 to 1
 
META TOPICPARENT name="Venue"
The OOPSLA'06 Advance Program, including GPCE-related events, is available now.
Added:
>
>

Tutorials and Workshops

  Sunday, October 22nd
morning GPCE1
Model-driven development basics using Eclipse
Bruce Trask, Angel Roman 		 
    WS1 AOPLE
Aspect-Oriented Product Line Engineering
Neil Loughran, Iris Groher, Roberto Lopez-Herrejon 		WS2 STS
Software transformation systems
Magne Haveraaen, Jim Cordy, Jan Heering, Eelco Visser 		 
afternoon GPCE2
Building domain specific languages with Eclipse and open ArchitectureWare
Markus Völter, Arno Haase 		 

  Monday, October 23rd
morning GPCE3
Using Feature Models for Product Derivation
Danilo Beuche, Olaf Spinczyk 		 
    WS3 DSAL
Workshop on Domain-Specific Aspect Languages
Thomas Cleenewerck, Johan Fabry, Anne-Francoise Le Meur, Jacques Noy, Eric Tanter 		WS4 GPCE4QoS
Generative Programming and Component Engineering for QoS Provisioning in Distributed Systems
Aniruddha S. Gokhale, Jeffrey G. Gray 		 
afternoon GPCE4
Building Java Transformations with Stratego/XT
Martin Bravenboer, Karl Trygve Kalleberg, Eelco Visser 		 

  Tuesday, October 24th
morning    
       
afternoon GPCE5
Engineering Software Factories for Developing Enterprise Applications Using Model-Driven Techniques
Vinay Kulkarni, Sreedhar Reddy 		GPCE6
Feature Modularity in Software Product Lines
Don Batory

  Wednesday, October 25th
morning    
       
afternoon GPCE7
Generative Software Development
Krzysztof Czarnecki 		 
 
META FILEATTACHMENT attr="h" comment="OOPSLA advance program" date="1150587542" moveby="EmirPasalic" movedto="GPCE06.ConferenceProgram" movedwhen="1150588019" movefrom="GPCE06.ConferenceProgram" name="oopsla_06_advance_program.pdf" path="oopsla_06_advance_program.pdf" size="399612" user="EmirPasalic" version="1.1"
META FILEATTACHMENT attr="h" comment="" date="1150588310" name="program.pdf" path="program.pdf" size="399612" user="EmirPasalic" version="1.1"
 <<O>>  Difference Topic ConferenceProgram (3 - 17 Jun 2006 - Main.EmirPasalic)
Line: 1 to 1
 
META TOPICPARENT name="Venue"
Changed:
<
<		Details about the conference program will follow later.
>
>		The OOPSLA'06 Advance Program, including GPCE-related events, is available now.
 
Added:
>
>
META FILEATTACHMENT attr="h" comment="OOPSLA advance program" date="1150587542" moveby="EmirPasalic" movedto="GPCE06.ConferenceProgram" movedwhen="1150588019" movefrom="GPCE06.ConferenceProgram" name="oopsla_06_advance_program.pdf" path="oopsla_06_advance_program.pdf" size="399612" user="EmirPasalic" version="1.1"
META FILEATTACHMENT attr="h" comment="" date="1150588310" name="program.pdf" path="program.pdf" size="399612" user="EmirPasalic" version="1.1"
 <<O>>  Difference Topic ConferenceProgram (2 - 04 May 2006 - Main.EmirPasalic)
Line: 1 to 1
Changed:
<
<
META TOPICPARENT name="Venuehtml"
>
>
META TOPICPARENT name="Venue"
 Details about the conference program will follow later.
 <<O>>  Difference Topic ConferenceProgram (1 - 13 Jan 2006 - Main.EmirPasalic)
Line: 1 to 1
Added:
>
>
META TOPICPARENT name="Venuehtml"
Details about the conference program will follow later.
View topic | Diffs r21 < r20 < r19 < r18 | More
Revision %REVTITLE2% - %REVINFO2%
Revision %REVTITLE1% - %REVINFO1%