Schedule for GPCE 2011

Generative Programming and Component Engineering

Registration: Salon Foyer (Hilton Executive Tower, downstairs)

Conference location: Salon Ballroom I and II (Hilton Executive Tower, downstairs)

Saturday, October 22

8.00	Breakfast (outside conference room)
8.30	Welcome (Ewen Denney)
8.45	Keynote by Matthias Felleisen: Multilingual Component Programming in Racket (Slides)^? (chair: Ulrik Pagh Schultz)
9.45	Break
10.15	Session: Software product lines part 1, Software components (chairs: Jaakko Jaarvi, Eelco Visser)
	Marko Rosenmueller, Norbert Siegmund, Mario Pukall and Sven Apel: Tailoring Dynamic Software Product Lines (Slides)^?
	Don Batory, Peter Höfner and Jongwook Kim: Feature Interactions, Products, and Composition (Slides)^?
	Abdelhakim Hannousse, Rémi Douence and Gilles Ardourel: Static Analysis of Aspect Interaction and Composition in Component Models (Slides)^?
	William R. Otte, Aniruddha Gokhale, Douglas C. Schmidt and Johnny Willemsen: Infrastructure for Component-Based DDS Application Development (Slides)^?
11.55	Lunch
14.00	Session: Applications (chair: Bernd Fischer)
	Yulin Li and Gordon Novak: Generation of Geometric Programs Specified by Diagrams (Slides)^?
	Andreas Steck, Alex Lotz and Christian Schlegel: Model-Driven Engineering and Run-Time Model-Usage in Service Robotics (Slides)^?
	Sander Vermolen, Guido Wachsmuth and Eelco Visser: Generating Database Migrations for Evolving Web Applications (Slides)^?
15.15	Break
15.45	Session: Software product lines, part 2 (chair: Jaakko Jaarvi)
	Márcio Ribeiro, Felipe Queiroz, Paulo Borba, Társis Tolêdo, Claus Brabrand and Sérgio Soares: On the Impact of Feature Dependencies when Maintaining Preprocessor-based Software Product Lines (Slides)^?
	Laís Neves, Leopoldo Teixeira, Demóstenes Sena, Vander Alves, Uirá Kulesza and Paulo Borba: Investigating the Safe Evolution of Software Product Lines (Slides)^?
16.35	Tech talk by Olivier Danvy: Pragmatics for Formal Semantics Hands-on talk, bring your laptop! (Slides)^? (chair: Ulrik Pagh Schultz)
17.35	End of day

Sunday, October 23

8.00	Breakfast (outside conference room)
8.45	Keynote talk by Gary Shubert: Application of Model Based Development to Flexible Code Generation (Slides)^? (chair: Ewen Denney)
9.45	Break
10.15	Session: Runtime (chair: Julia Lawall)
	Kenichi Asai: Reflection in Direct Style (Slides)^?
	Nathaniel Nystrom, Derek White and Kishen Das: Firepile: Run-time Compilation for GPUs in Scala (Slides)^?
	Shahram Esmaeilsabzali, Bernd Fischer and Joanne Atlee: Monitoring Aspects for the Customization of Automatically Generated Code for Big-Step Models (Slides)^?
	Ricky T. Lindeman, Lennart C. L. Kats and Eelco Visser: Declaratively Defining Domain-Specific Language Debuggers (Slides)^?
11.55	Lunch
14.00	Session: Programming (chair: Walter Binder)
	Stefan Sobernig, Patrick Gaubatz, Mark Strembeck and Uwe Zdun: Comparing Complexity of API Designs: An Exploratory Experiment on DSL-based Framework Integration (Slides)^?
	Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann and Eelco Visser: Growing a Language Environment with Editor Libraries (Slides)^?
	John Freeman, Jaakko Järvi, Wonseok Kim, Mat Marcus and Sean Parent: Helping Programmers Help Users (Slides)^?
15.15	Break
15.45	Session: Theory (chair: Don Batory)
	Jeroen Arnoldus, Mark van den Brand and Alexander Serebrenik: Less is More: Unparser-completeness of Metalanguages for Template Engines (Slides)^?
	Vidar Slåtten, Frank Alexander Kraemer and Peter Herrmann: Towards Automatic Generation of Formal Specifications to Validate and Verify Reliable Distributed Systems (Slides)^?
16.35	Tech talk by John Launchbury: Theorem-based Circuit Derivation in Cryptol (Slides)^? (chair: Ewen Denney)
17.35	PC chair report, closing remarks (Ulrik Pagh Schultz)
17.50	End of day
19.30	Social event at Rogue Public House