GPCE 2006: Portland, Oregon, USA

Staging

• Sam Kamin, Baris Aktemur, Michael Katelman:
  Staging static analyses for program generation. 1-10
  
• Marcos Viera, Alberto Pardo:
  A multi-stage language with intensional analysis. 11-20
  
• Jonathan Riehl:
  Assimilating MetaBorg: : embedding language tools in languages. 21-28
  

Components

• Gabriel A. Moreno:
  Creating custom containers with generative techniques. 29-38
  
• Alexander Stuckenholz, Andre Osterloh:
  Safe component updates. 39-48
  
• John H. Reppy, Chunyan Song:
  Application-specific foreign-interface generation. 49-58
  

Advanced aspects

• Sven Apel, Don S. Batory:
  When to use features and aspects?: a case study. 59-68
  
• Yoshisato Yanagisawa, Kenichi Kourai, Shigeru Chiba:
  A dynamic aspect-oriented system for OS kernels. 69-78
  
• Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt:
  Concurrent aspects. 79-88
  

Short papers

• Eli Tilevich, Yannis Smaragdakis:
  Transparent program transformationsin the presence of opaque code. 89-94
  
• Jorge Cláudio Cordeiro Pires Mascena, Silvio Romero de Lemos Meira, Eduardo Santana de Almeida, Vinicius Cardoso Garcia:
  Towards an effective integrated reuse environment. 95-100
  

Safety and verification

• Frances Perry, Limin Jia, David Walker:
  Expressing heap-shape contracts in linear logic. 101-110
  
• Edwin Brady, Kevin Hammond:
  A verified staged interpreter is a verified compiler. 111-120
  
• Ewen Denney, Bernd Fischer:
  A generic annotation inference algorithm for the safety certification of automatically generated code. 121-130
  

Applications

• Janina Reeder, Robert Giegerich:
  A graphical programming system for molecular motif search. 131-140
  
• Daniel Fontijne:
  Gaigen 2: a geometric algebra implementation generator. 141-150
  
• David Broman, Kaj Nyström, Peter Fritzson:
  Determining over- and under-constrained systems of equations using structural constraint delta. 151-160
  
• Peter Barron, Vinny Cahill:
  YABS: a domain-specific language for pervasive computing based on stigmergy. 285-294
  

Measurement and evaluation

• Ralf Lämmel, Klaus Ostermann:
  Software extension and integration with type classes. 161-170
  
• Walter Binder, Jarle Hulaas:
  Flexible and efficient measurement of dynamic bytecode metrics. 171-180
  
• Westley Weimer:
  Patches as better bug reports. 181-190
  

Program families

• Salvador Trujillo, Don S. Batory, Oscar Díaz:
  Feature refactoring a multi-representation program into a product line. 191-200
  
• Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba, Carlos José Pereira de Lucena:
  Refactoring product lines. 201-210
  
• Krzysztof Czarnecki, Krzysztof Pietroszek:
  Verifying feature-based model templates against well-formedness OCL constraints. 211-220
  

Panel discussion

• Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump:
  Roadmap for enhanced languages and methods to aid verification. 221-236
  

Short papers

• Christian Prehofer:
  Semantic reasoning about feature composition via multiple aspect-weavings. 237-242
  
• Rui Shi, Chiyan Chen, Hongwei Xi:
  Distributed meta-programming. 243-248
  
• Frédéric Jouault, Jean Bézivin, Ivan Kurtev:
  TCS: a DSL for the specification of textual concrete syntaxes in model engineering. 249-254
  

Compilation

• Zoltán Porkoláb, József Mihalicza, Ádám Sipos:
  Debugging C++ template metaprograms. 255-264
  
• Anya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg:
  Stayin' alert: : moulding failure and exceptions to your needs. 265-274
  
• Manuel Fähndrich, Michael Carbin, James R. Larus:
  Reflective program generation with patterns. 275-284