October 26, 2013

FOSD Workshop

October 27, 2013

Opening and Keynote Address

• 08:30-08:40 Welcome and Introduction
• 08:40-10:00 Don Batory. Dark Knowledge and Graph Grammars in Automated Software Design

Session 1: Extensible and Domain-Specific Languages (Session Chair: Eelco Visser)

• 10:30-10:40 PC Chair's Welcome
• 10:40-11:05 Sebastian Erdweg, Felix Rieger. A Framework for Extensible Languages
• 11:05-11:30 Matthew Flatt. Submodules in Racket: You Want it When, Again?
• 11:30-11:55 Robert Dyer, Hridesh Rajan, Tien Nguyen. Declarative Visitors to Ease Fine-grained Source Code Mining with Full History on Billions of AST Nodes

Session 2: Programming Languages (Session Chair: Matthew Flatt)

• 13:30-13:55 Yuriy Solodkyy, Gabriel Dos Reis, Bjarne Stroustrup. Open Pattern Matching for C++
• 13:55-14:20 Marko Martin, Mira Mezini, Sebastian Erdweg. Template Constructors for Reusable Object Initialization
• 14:20-14:45 Julien Richard-Foy, Olivier Barais, Jean-Marc Jézéquel. Efficient High-Level Abstractions for Web Programming
• 14:45-15:00 Prodromos Gerakios, Aggelos Biboudis, Yannis Smaragdakis. Reified Type Parameters Using Java Annotations

Session 3: Product-Line Implementation (Session Chair: Julia Lawall)

• 15:30-15:55 Sandro Schulze, Jörg Liebig, Janet Siegmund, Sven Apel. Does the Discipline of Preprocessor Annotations Matter? A Controlled Experiment
• 15:55-16:20 Flávio Medeiros, Márcio Ribeiro, Rohit Gheyi. Investigating Preprocessor-Based Syntax Errors
• 16:20-16:45 Dean Kramer, Samia Oussena, Tony Clark, Peter Komisarczuk. Using Document-Oriented GUIs in Dynamic Software Product Lines

October 28, 2013

Keynote Address

• 08:30-10:00 Ras Bodik. Modeling Biology with Solver-Aided Programming Languages

Session 4: Analysis (Session Chair: Jan Vitek)

• 10:30-10:55 Norbert Siegmund, Alexander von Rhein, Sven Apel. Family-Based Performance Measurement
• 10:55-11:20 Lukas Marek, Stephen Kell, Yudi Zheng, Lubomír Bulej, Petr Tuma, Walter Binder, Danilo Ansaloni, Aibek Sarimbekov, Andreas Sewe. ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform
• 11:20-11:45 Sergiy Kolesnikov, Alexander von Rhein, Claus Hunsen, Sven Apel. A Comparison of Product-based, Feature-based, and Family-based Type Checking

Session 5: Staging and Synthesis (Session Chair: Sebastian Erdweg)

• 13:30-13:55 Georg Ofenbeck, Tiark Rompf, Alen Stojanov, Martin Odersky, Markus Püschel. Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries
• 13:55-14:20 Peter Chapin, Christian Skalka, Scott Smith, Michael Watson. Scalaness/nesT: Type Specialized Staged Programming for Sensor Networks
• 14:20-14:45 Arvind Sujeeth, Austin Gibbons, Kevin Brown, Hyoukjoong Lee, Tiark Rompf, Martin Odersky, Kunle Olukotun. Forge: Generating a High Performance DSL Implementation from a Declarative Specification
• 14:45-15:00 Darya Kurilova, Derek Rayside. On the Simplicity of Synthesizing Linked Data Structure Operations

Session 6: Industrial Applications (Session Chair: Yannis Smaragdakis)

• 15:30-15:55 Deepak Dhungana, Andreas Falkner, Alois Haselboeck. Generation of Conjoint Domain Models for System-of-Systems
• 15:55-16:20 Fábio Basso, Raquel Pillat. Supporting Large Scale Model Transformation Reuse
• 16:20-16:35 Kyoungho An, Takayuki Kuroda, Aniruddha Gokhale, Sumant Tambe, Andrea Sorbini. Model-driven Generative Framework for Automated OMG DDS Performance Testing in the Cloud