| 2006 | Distributed meta-programming. | Rui Shi, Chiyan Chen, Hongwei Xi |
| 2006 | Assimilating MetaBorg: : embedding language tools in languages. | Jonathan Riehl |
| 2006 | Application-specific foreign-interface generation. | John H. Reppy, Chunyan Song |
| 2006 | A graphical programming system for molecular motif search. | Janina Reeder, Robert Giegerich |
| 2006 | Semantic reasoning about feature composition via multiple aspect-weavings. | Christian Prehofer |
| 2006 | Debugging C++ template metaprograms. | Zoltn Porkolb, Jzsef Mihalicza, dm Sipos |
| 2006 | Expressing heap-shape contracts in linear logic. | Frances Perry, Limin Jia, David Walker |
| 2006 | Creating custom containers with generative techniques. | Gabriel A. Moreno |
| 2006 | Towards an effective integrated reuse environment. | Jorge Cludio Cordeiro Pires Mascena, Silvio Romero de Lemos Meira, Eduardo Santana de Almeida, Vinicius Cardoso Garcia |
| 2006 | Roadmap for enhanced languages and methods to aid verification. | 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 |
| 2006 | Software extension and integration with type classes. | Ralf Lmmel, Klaus Ostermann |
| 2006 | Staging static analyses for program generation. | Sam Kamin, Baris Aktemur, Michael Katelman |
| 2006 | TCS: a DSL for the specification of textual concrete syntaxes in model engineering. | Frdric Jouault, Jean Bzivin, Ivan Kurtev |
| 2006 | Gaigen 2: a geometric algebra implementation generator. | Daniel Fontijne |
| 2006 | Reflective program generation with patterns. | Manuel Fhndrich, Michael Carbin, James R. Larus |
| 2006 | Concurrent aspects. | Rmi Douence, Didier Le Botlan, Jacques Noy, Mario Sdholt |
| 2006 | A generic annotation inference algorithm for the safety certification of automatically generated code. | Ewen Denney, Bernd Fischer |
| 2006 | Verifying feature-based model templates against well-formedness OCL constraints. | Krzysztof Czarnecki, Krzysztof Pietroszek |
| 2006 | Determining over- and under-constrained systems of equations using structural constraint delta. | David Broman, Kaj Nystrm, Peter Fritzson |
| 2006 | A verified staged interpreter is a verified compiler. | Edwin C. Brady, Kevin Hammond |
| 2006 | Flexible and efficient measurement of dynamic bytecode metrics. | Walter Binder, Jarle Hulaas |
| 2006 | YABS: a domain-specific language for pervasive computing based on stigmergy. | Peter Barron, Vinny Cahill |
| 2006 | Stayin' alert: : moulding failure and exceptions to your needs. | Anya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg |
| 2006 | When to use features and aspects?: a case study. | Sven Apel, Don S. Batory |
| 2006 | Refactoring product lines. | Vander Alves, Rohit Gheyi, Tiago Massoni, Uir Kulesza, Paulo Borba, Carlos Jos Pereira de Lucena |