| 2012 | Ensuring well-formedness of configured domain models in model-driven product lines based on negative variability. | Thomas Buchmann, Felix Schwgerl |
| 2012 | Faster program adaptation through reward attribution inference. | Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto |
| 2012 | Pol: specification-driven synthesis of architectural code frameworks for platform-based applications. | Hamid Bagheri, Kevin J. Sullivan |
| 2012 | Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java code. | Eyvind W. Axelsen, Stein Krogdahl |
| 2011 | Generating database migrations for evolving web applications. | Sander Danil Vermolen, Guido Wachsmuth, Eelco Visser |
| 2011 | Model-driven engineering and run-time model-usage in service robotics. | Andreas Steck, Alex Lotz, Christian Schlegel |
| 2011 | Comparing complexity of API designs: an exploratory experiment on DSL-based framework integration. | Stefan Sobernig, Patrick Gaubatz, Mark Strembeck, Uwe Zdun |
| 2011 | Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study. | Vidar Sltten, Frank Alexander Kraemer, Peter Herrmann |
| 2011 | Application of model based development to flexible code generation. | Gary J. Shubert |
| 2011 | Tailoring dynamic software product lines. | Marko Rosenmller, Norbert Siegmund, Mario Pukall, Sven Apel |
| 2011 | On the impact of feature dependencies when maintaining preprocessor-based software product lines. | Mrcio Ribeiro, Felipe Queiroz, Paulo Borba, Trsis Toldo, Claus Brabrand, Srgio Soares |
| 2011 | Infrastructure for component-based DDS application development. | William Otte, Aniruddha S. Gokhale, Douglas C. Schmidt, Johnny Willemsen |
| 2011 | Firepile: run-time compilation for GPUs in scala. | Nathaniel Nystrom, Derek White, Kishen Das |
| 2011 | Investigating the safe evolution of software product lines. | Las Neves, Leopoldo Teixeira, Demstenes Sena, Vander Alves, Uir Kulesza, Paulo Borba |
| 2011 | Generation of geometric programs specified by diagrams. | Yulin Li, Gordon S. Novak Jr. |
| 2011 | Declaratively defining domain-specific language debuggers. | Ricky T. Lindeman, Lennart C. L. Kats, Eelco Visser |
| 2011 | Theorem-based circuit derivation in cryptol. | John Launchbury |
| 2011 | Static analysis of aspect interaction and composition in component models. | Abdelhakim Hannousse, Rmi Douence, Gilles Ardourel |
| 2011 | Helping programmers help users. | John Freeman, Jaakko Jrvi, Wonseok Kim, Mat Marcus, Sean Parent |
| 2011 | Multilingual component programming in racket. | Matthias Felleisen |
| 2011 | Monitoring aspects for the customization of automatically generated code for big-step models. | Shahram Esmaeilsabzali, Bernd Fischer, Joanne M. Atlee |
| 2011 | Growing a language environment with editor libraries. | Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kstner, Klaus Ostermann, Eelco Visser |
| 2011 | Pragmatics for formal semantics. | Olivier Danvy |
| 2011 | Feature interactions, products, and composition. | Don S. Batory, Peter Hfner, Jongwook Kim |
| 2011 | Reflection in direct style. | Kenichi Asai |