The FOSD meeting is an informal meeting designed to bring together researchers working on feature-oriented software development (FOSD). It has been in 2009 when it started, and has since evolved and expanded in what now is an international event for researchers in FOSD area. Since 2014, the meeting is held in English enabling it to become even more an international event. More details about FOSD and previous FOSD meetings can be found at http://fosd.net. For the FOSD2016 Workshop, please visit FOSD'16 WORKSHOP
The format of the FOSD meeting consists of presentations from each participant (approx. 20 min), young researchers (graduate and undergraduate students) together with other researchers, present their research, provide and get feedback from others, engage into discussions and establish new collaborations. It is also welcomed to discuss new directions, early ideas as well as finished work. The key part is to encourage discussions, to receive feedback and to create a network for new collaborations.
Every year there is an informal competition, FOSD Cool Wall, where everyone votes for the coolest name of a tool that has been presented during the meeting.
Abstract information FOSD does not require any paper submission and does not have proceedings, though we do expect an abstract about the research that is conducted and an e-mail address of the participant. The deadline for the abstract is February 1, 2016. Please submit abstract to: scas at itu dot dk.
25/05 at 9AM in AUD 4 Kernel Software Variability - From a kernel developer's perspective
Jesper Brouer, Red Hat @JesperBrouer
Today the Linux kernel runs on almost any hardware. This involves a very high degree of compile time variability. This talk is about the practical challenges that kernel developers face on a daily basis, when dealing with this variability for supporting hardware they never even heard about. The talk will also cover how the kernel community currently deals with these challenges, where the kbuild test robot is currently our best line of defense.
Jesper Dangaard Brouer is a principal kernel engineer at Red Hat. He works from the comfort of his home outside Copenhagen. He has been involved in the kernel networking layer for almost 10 years, and recently moved into the memory subsystem. His primary work revolves around performance and scalability.
Hotel and ITU Location
Here is some information and Google Maps routes on how to reach the hotel from the airport and then to the venue place.
Cabinn metro hotel from the airport
Airport to hotel map
To reach the Cabinn metro hotel you need to take the train from track 2 towards Central Station (København H - "Hovedbanegården" in Danish) and get off at "Ørestad" station. Check the monitors on the platform for train information and station stops to be sure the train stops at "Ørestad" station. Once you get off at "Ørestad" station, you need to walk down the Ørestads Boulevard along the big building on the left (Fields), and turn left on Arne Jacobsens Alle at the intersection of the streets. Walk for a few minutes until you reach your hotel on the left side.
For using the train, you need to buy a 2-zone ticket. Tickets can be bought at the machines in the airport or at the DSB information desk. There are no tickets machines on the train platforms, so be sure to get your ticket before going to the track 2 platform. For more general information about tickets, see below.
If you wish to take a taxi, you can pay with a credit card and most drivers speak English. However, they are rather expensive.
Reaching ITU by metro
Hotel to ITU map
To reach ITU from airport, take the metro towards "Vanløse". Get off at station "Christianshavn" and switch the lines. Take the metro towards "Vestamager" and get off at "DR Byen". Then walk towards the water kanal that is between two big buildings. After passing the big building on the right (DR - the national television), you will reach ITU on the right side. You will need to buy a 3-zone ticket for the trip.
To reach ITU from Cabinn Metro Hotel, you need to walk to "Ørestad" metro station and take the metro towards "Vanløse". You need to get off at DR Byen station (3rd station from starting point) and walk in the direction of the metro for 5 minutes along the water kanal, until you reach ITU on the right side. The total time from the hotel to ITU should be around 20-30 minutes. The metro runs 24h and in rush hour comes every 3 minutes.
Getting back to hotel from ITU or city center
ITU to Hotel map
From city center take the metro towards "Vestamager". From ITU you will need to walk to "DR Byen" metro station and take the metro towards the same "Vestamager" station. Get off at Ørestad station. Once you got off at "Ørestad" station, you need to walk down the Ørestads Boulevard along the big building on the left (Fields), and turn left on Arne Jacobsens Alle at the intersection of the streets. Walk for a few minutes until you reach your hotel on the left side.
A 2-zone ticket costs 24 DKK, is valid for one hour for two zones and can be used on the bus, metro or train. ITU is in zone 1 and Ørestad is in zone 3. You need to buy a 2 zone ticket to get to ITU.
In every station there are ticket machines which accept major credit cards. Some machines also accept Danish kroner coins.
An alternative is to buy a 24/72 hour transportation pass that is valid in 4 zones. The 24 hour costs 80 DKK and the 72 costs 200 DKK. Each station has a map with the zones. Reaching city centre either from the hotel or from ITU requires a 2-zone ticket.
Please be aware that traveling without a ticket results in a fine of 750 DKK (approx. 100 euro).
We will have two social events (that you will find out about after the first lunch) that we hope you will enjoy. These will include some walking around, and they should be great fun!
As the Danish weather is impredictible, please bring with you a rain jacket and good walking shoes, preferably waterproof. Short rains are common, even in the summer.
Also you should be aware that it is not that warm in Copenhagen, so be sure to check the weather forecast and temperature forecast before heading up to Denmark.
Tuesday 24/05 Schedule
|12h00||Lunch in Atrium (Ground Floor)|
|13h30||L||Andreas Wölfl||Generating Qualifiable Avionics Software|
|14h00||L||Valentin Rothberg||The Troll: How and why to merge partial configurations|
|14h30||Coffee Break (20 min)|
|14h50||S||Norbert Siegmund||To Generate Or Not To Generate: Attributed Variability Models|
|15h10||S||Thomas Thüm||A Meta Analysis on Strategies for Formal Product-Line Verfication|
|15h30||S||Florian Sattler||Variability-Aware analysis and variational data structures in LLVM|
|15h50||Break (20 min)|
|16h10||L||Cynthia Disenfeld||Specifying and Reasoning with Feature Compositions|
|16h40||S||Andreas Ziegler||WUndertaker - Web-Based Visualization of Configurability Defects|
|17h00||S||Prasad Kawthekar||Sensitivity Analysis of Robotic Software|
|17h20||SS||Daniela Rabiser||Feature Backlog survey|
|17h25||Break (15 min)|
|17h40||S||Christian Kästner||Differential Testing for Variational Analyses|
|18h00||S||Andreas Stahlbauer||Model Checking Complex Specifications of Configurable Software Systems|
|18:45||Dinner - Studie Street Grill (next to ITU on the Infodesk side)|
|After Dinner (approx 19:30-20:00)||We go back to ITU for drinks in the atrium|
Wednesday 25/05 Schedule
|09h00||L||Jesper Brouer - Keynote||Kernel Software Variability - From a kernel developer's perspective|
|10h30||S||Christoph Seidl||Towards a Technology-Neutral Software Family Model of Software Ecosystems|
|10h50||S||Gabriel Ferreira||Software Certification: Compoisition, Evolution and Reuse Challenges|
|11h10||S||David Gollasch||Towards a Conceptual Variability Management for Software Families with Multiple Contributors|
|11h30||S||Alexander Grebahn||On the Variability of Equations for Porous-Media Flows and Corresponding Stencil Computations|
|12h50||S||Michael Nieke||Semantic-enriched evolution of Software Product Lines|
|13h10||S||Hendrik Speidel||Coping with product line evolution|
|13h30||S||Ralf Ramsauer||Super long-term maintenance of custom software modifications: A quantitative study|
|13h50||Break (20 min)|
|14h10||L||Shurui Zhou||Identifying Features from Forks|
|14h40||L||Malte Lochau||Efficient Family-based Product-Line Analysis based on Adjustable Model Merging?|
|15h10||Break (20 min)|
|15h30||L||Andreas Vogelsang||Features and Dependencies in Automotive Systems|
|16h00||L||Sergiy Kolesnikov||Feature Interactions in Engine Control Units|
|16:45||Departure for Social Event (Christiania) on foot|
Thursday 26/05 Schedule
|09h00||S||Aleksandar Dimovski||Variability Abstractions for Lifted Analysis|
|09h20||L||Jens Meinicke||How Do Features Interact?|
|09h50||S||Chu Pan Wong||Variational Bytecode|
|10h40||S||Marc Kandler||Cost Estimation for Variants of a Software Product Line|
|11h00||S||Gustavo Vale||Detection and Description of Variability Smells|
|11h20||L||Sascha El-Sharkawy & Adam Krafczy||Variability Structure Smells|
|11h50||S||Wolfram Fenske||Do Variability-Aware Code Smells Lead to Bugs?|
|13h00||S||Sebastian Krieter||Efficient Configuration of Large-Scale Feature Models Using Extended Implication Graphs|
|13h20||S||Andrzej Wasowski||Modernization of a configurator system using symbolic execution|
|13h40||S||Max Lillack||Analysing Configuration Options in Java-based Software|
|14h00||S||Markus Weckesser||DSPL-based Approach to Specifying Distributed and Coordinated Reconfigurations in Self-Adaptive Systems|
|14h20||Break (30 min)|
|14h50||S||Klaus Schmid||Modeling Topologies as Variability using IVML|
|15h10||S||Sandro Schulze||A Model-Based Technique for Variability Mining in Source Code|
|15h30||L||Neil Mather||Introducing variability-awareness into behaviour-driven development|
|16h10||Departure for Social Event to Islands Brygge Canal on foot|
Friday 27/05 Schedule
|09h00||L||Daniela Rabiser||Improving Awareness of Emerging Features via Collective Developer Feedback|
|09h30||L||Paul Temple||Improving accuracy of product generation via cross-tree constraints|
|10h00||S||Thorsten Berger||Feature Scattering in the Large: A Longitudinal Study of Linux Kernel Device Drivers|
|10h20||S||Rodrigo Queiroz||Feature Scattering in the Linux Kernel: A Developer's Perspective|
|11h00||S||Sven Schuster||From Transformational Software Product Lines to non-invasive Composition|
|11h20||S||Juliana Alves Pereira||Efficient Product-Line Configuration Using Personalized Recommendations|
|11h40||S||Clément Quinton||Evolving Dynamic Software Product Lines|
|13h00||L||Claus Hunsen||How well do developers coordinate regarding feature implementation?|
|13h30||S||Johannes Bürdek||Specification and Automated Validation of Staged Reconfiguration Processes for Dynamic Software Product Lines|
|13h50||Break (20 min)|
|14h10||L||Benjamin Behringer||PEoPL: Projectional Editing of Product Lines|
|14h40||L||Stefan Stanciulescu||First experiences with a variation control system|
|15h10||Closing and then beer in Scrollbar|
We are glad to have the following participants.
|Sven Apel||TBA||University of Passau|
|Benjamin Behringer||PEoPL: Projectional Editing of Product Lines||University of Luxembourg, htw saar|
|Thorsten Berger||Feature Scattering in the Large: A Longitudinal Study of Linux Kernel Device Drivers||Chalmers University|
|Claus Brabrand||TBA||IT University of Copenhagen|
|Johannes Bürdek||Specification and Automated Validation of Staged Reconfiguration Processes for Dynamic Software Product Lines||TU Darmstadt|
|Aleksandar Dimovski||Variability Abstractions for Lifted Analysis||IT University of Copenhagen|
|Cynthia Disenfeld||Specifying and Reasoning with Feature Compositions||University of Toronto|
|Wolfram Fenske||Do Variability-Aware Code Smells Lead to Bugs?||OvGU Magdeburg|
|Gabriel Ferreira||Software Certification: Compoisition, Evolution and Reuse Challenges||Carnegie Mellon University|
|David Gollasch||Towards a Conceptual Variability Management for Software Families with Multiple Contributors||TU Dresden|
|Alexander Grebhahn||On the Variability of Equations for Porous-Media Flows and Corresponding Stencil Computations||University of Passau|
|Claus Hunsen||How well do developers coordinate regarding feature implementation?||University of Passau|
|Marc Kandler||Cost Estimation for Variants of a Software Product Line||TU Dresden|
|Prasad Kawthekar||Sensitivity Analysis of Robotic Software||Carnegie Mellon University|
|Christian Kästner||Differential Testing for Variational Analyses||Carnegie Mellon University|
|Sergiy Kolesnikov||Feature Interactions in Engine Control Units||University of Passau|
|Adam Krafczy||Variability Smells||University of Hildesheim|
|Sebastian Krieter||Efficient Configuration of Large-Scale Feature Models Using Extended Implication Graphs||University of Magdeburg|
|Max Lillack||Analysing Configuration Options in Java-based Software||Uni Leipzig|
|Malte Lochau||Efficient Family-based Product-Line Analysis based on Adjustable Model Merging||TU Darmstadt|
|Neil Mather||Introducing variability-awareness into behaviour-driven development||University of West London|
|Jens Meinicke||How Do Features Interact?||OvGU Magdeburg|
|Michael Nieke||Semantic-enriched evolution of Software Product Lines||TU Braunschweig|
|Juliana Alves Pereira||Efficient Product-Line Configuration Using Personalized Recommendations||OvGU Magdeburg|
|Rodrigo Queiroz||Feature Scattering in the Linux Kernel: A Developer's Perspective||University of Waterloo, Canada|
|Clément Quinton||Evolving Dynamic Software Product Lines||Politecnico di Milano|
|Valentin Rothberg||The Troll: How and why to merge partial configurations||FAU Erlangen-Nuremberg|
|Daniela Rabiser||Improving Awareness of Emerging Features via Collective Developer Feedback||Johannes Kepler Linz|
|Ralf Ramsauer||Super long-term maintenance of custom software modifications: A quantitative study||Ostbayerische Technische Hochschule Regensburg|
|Florian Sattler||Variability-Aware analysis and variational data structures in LLVM||University of Passau|
|Klaus Schmid||Modeling Topologies as Variability using IVML||University of Hildesheim|
|Sandro Schulze||A Model-Based Technique for Variability Mining in Source Code||TU Hamburg-Harburg|
|Sven Schuster||From Transformational Software Product Lines to non-invasive Composition||TU Braunschweig|
|Christoph Seidl||Towards a Technology-Neutral Software Family Model of Software Ecosystems||TU Braunschweig|
|Sascha El-Sharkawy||Variability Structure Smells||University of Hildesheim|
|Norbert Siegmund||To Generate Or Not To Generate: Attributed Variability Models||University of Passau|
|Hendrik Speidel||Coping with product line evolution||Schnapptack|
|Andreas Stahlbauer||Model Checking Complex Specifications of Configurable Software Systems||University of Passau|
|Stefan Stanciulescu||Feasibility of variability management using virtual platform||IT University of Copenhagen|
|Paul Temple||Improving accuracy of product generation via cross-tree constraints||Université de Rennes|
|Thomas Thüm||A Meta Analysis on Strategies for Formal Product-Line Verfication||TU Braunschweig|
|Gustavo Vale||Detection and Description of Variability Smells||Federal University of Lavras|
|Andreas Vogelsang||Features and Dependencies in Automotive Systems||Technical University of Munich|
|Andrzej Wasowski||Modernization of a configurator system using symbolic execution||IT University of Copenhagen|
|Markus Weckesser||DSPL-based Approach to Specifying Distributed and Coordinated Reconfigurations in Self-Adaptive Systems||TU Darmstadt|
|Andreas Wölfl||Generating Qualifiable Avionics Software||University of Passau|
|Chu Pan Wong||Variational Bytecode||Carnegie Mellon University|
|Shurui Zhou||Identifying Features from Forks||Carnegie Mellon University|
|Andreas Ziegler||WUndertaker - Web-Based Visualization of Configurability Defects||FAU Erlangen-Nuremberg|
Here is some information and Google Maps routes on how to reach the restaurants.
Tuesday, 6.45 PM - Studie Street Grill, next to ITU
Wednesday, 7.45 PM - Luna's Dinner
Luna's Dinner Map
You can reach Luna's dinner on foot from "Christanshavn" metro station. The restaurant is located on Sankt Annae Gade street nr. 5.
Thursday, 7 PM - RizRaz
You can reach RizRaz on foot from "Nørreport" metro station. The restaurant is located on Store Kannikestraede 19.
If you are a non EU citizen, please find if you need a visa for entering Denmark and Schengen Area. A list for citizen of countries that need a visa can be found here Do I need a visa?.
If you need a letter of invitation to apply for a visa, please write an e-mail to the organizers.
For abstract submission or any other questions please send an e-mail to Stefan Stanciulescu: scas at itu dot dk.