GPCE 2006: Portland, Oregon, USA

Staging

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

Components

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

Advanced aspects

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

Short papers

• Eli Tilevich, Yannis Smaragdakis:
  Transparent program transformationsin the presence of opaque code. 89-94
  Electronic Edition (ACM DL) BibTeX
• 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
  Electronic Edition (ACM DL) BibTeX

Safety and verification

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

Applications

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

Measurement and evaluation

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

Program families

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

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
  Electronic Edition (ACM DL) BibTeX

Short papers

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

Compilation

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