About
The FOSD meeting is a yearly informal meeting to bring together researchers working on feature-oriented software development (which includes product lines, software variability, configuration management, software architecture, and more). The meeting started 9 years ago to bring several research groups with common interests closer together, has successfully been expanded and repeated 9 times with 20 to 50 participants each, and has established countless collaborations since. For example, see FOSD 2017 in Darmstadt and FOSD 2016 in Copenhagen.
The format of the FOSD meeting consists of short presentations from each participant with plenty of time for discussion. Young researchers (graduate and undergraduate students), as well as more senior community members, present their research, provide and get feedback from others, engage into discussions and establish new collaborations. FOSD is a place for discussion, not a publication venue. Participants can present previously published work as well as unpublished work, including early ideas and work in progress. The key is to encourage discussions, to receive feedback and to create a network for new collaboration
Every year there is an informal competition, the FOSD Cool Wall (see fosd.net), where everyone votes for the coolest name of a tool that has been presented during the meeting.
The FOSD meeting 2018 will take place in Gothenburg, Sweden, from June 3 (early afternoon) until June 6, 2018 (evening). Some invitation emails contained slightly different dates, sorry.
The deadline for the abstract is February 1, 2018. FOSD does not require any paper submission and does not have proceedings, though we do expect an abstract about the research that is to be presented and an e-mail address of the participant. Due to space restrictions, we may have to select participants, but we will send notifications shortly after the abstract deadline. If you need more lead time for visa application or travel planning, reach out to us.
Participants
We are glad to have the following participants.
Name | Title | University |
---|---|---|
Sebastian Böhm | Automata-Guided Reuse of Abstraction Precisions for Variant Verification | University of Passau |
Andreas Stahlbauer | Variable Variability-aware Verification: An Empirical Study | University of Passau |
Thomas Bock | Feature-Development Activity of Core and Peripheral Developers within the Release Cycle of Mozilla Firefox | University of Passau |
Florian Sattler | A data-flow-based taint analysis to detect feature regions with VaRA | University of Passau |
Bastian Fleischmann | Meta-Learning for Performance Prediction on Configurable Software Systems | University of Passau |
Sven Apel | Visualizing and Comparing Performance Influence Models | University of Passau |
Christian Kaltenecker | Distance-Based Sampling | University of Passau |
Alexander Grebhahn | A (Semi-)Automatic Mechanism to Generate Variants of Existing Framework Applications | University of Passau |
Georg Seibt | Integrating Versions and Variants: An Empirical Study on Merge, Build, and Test Conflicts | University of Passau |
Gustavo do Vale | On The Relation Between Merge Conflicts and Coordination Activities | University of Passau |
Ina Schaefer | Correctness-by-Construction for Software Product Lines | TU Braunschweig |
Jeffrey Young | Variational Satisfiability Solving | Oregon State University |
Alexander Knüppel | Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY | TU Braunschweig |
Thomas Thüm | Product Configuration in the Wild: A Case Study of Real-World Web Configurators [slides] | TU Braunschweig |
Mukelabai Mukelabai | Analysis of Software Product Lines: An Investigation of Industrial Practice and Needs | Chalmers | University of Gothenburg |
JACOB KRÜGER | Thinking in Features: How Do Developers Remember Source Code? | Hochschule Harz – University |
Hendrik Speidel | Using feature-oriented techniques to compose semi-structured text documents | schnapptack GmbH |
Florian Niederhuber | Change-Region Detection using VaRA and LLVM | University of Passau |
Alexander Schlie | Comparing Multiple MATLAB/Simulink Models Using Static Connectivity Matrix Analysis | TU Braunschweig |
Max Weber | Supporting the Discovery of Performance Hot-Spots | University of Weimar |
Miguel Velez | ConfigCrusher: White-Box Performance Analysis for Configurable Systems [slides] | Carnegie Mellon |
Norbert Siegmund | Pervolution: Performance Evolution of Configurable Software Systems | University of Weimar |
Lars Luthmann | Sampling Strategies for Infinite Configuration Spaces (joint work with Malte Lochau) [slides] | TU Darmstadt |
Tobias Runge | A Classification and Taxonomy of Product Sampling for Software Product Lines | TU Braunschweig |
Chu-Pan Wong | Application of Variational Execution [slides] | Carnegie Mellon |
Jens Meinicke | Lightweight generation of variational traces from single executions | Otto von Guericke University Magdeburg |
Larissa Rocha Soares | VarXplorer: Reasoning About Feature Interactions [slides] | Federal University of Bahia |
Juliane Fischer | Configurable component description and retrieval using FeatureIDE | Technical University of Munich |
Sandro Schulze | The Sky is the Limit — Comprehensive Variability Mining Using Round-trip Engineering [slides] | Otto von Guericke University Magdeburg |
Yang Li | Variability Extraction from Natural Language Requirements | Otto von Guericke University Magdeburg |
Sandra Greiner | Strengths and Weaknesses of Trace-Based Approaches Propagating Feature Annotations in Model Transformations [slides] | Uni Bayreuth |
Sebastian Krieter | Managing Variability On-The-Fly: Keeping Feature Model and Variable Source Code Aligned | Otto von Guericke University Magdeburg |
Thorsten Berger | A Classification of Variation Control System | Chalmers | University of Gothenburg |
Shurui Zhou | Identifying redundancies in Fork-based Development [slides] | Carnegie Mellon |
Christian Kästner | Compositional Analysis of Security-Relevant Configuration Options [slides] | Carnegie Mellon |
Mahsa Varshosaz | Delta-Oriented FSM-Based Testing | Halmstad University |
Your Talk
This year, every participant has an allocated slot of 25 minutes. Please prepare slides that do not require more than 13 minutes of presentation such that we have at least half of the slot for discussions. We will enforce the 13 min time limit strictly.
This year’s group picture:
Group picture from last year:
Location & Travel Information
The FOSD Meeting 2018 will take place at Chalmers Technical University in Gothenburg, Sweden. Specifically, it will be held at Campus Johanneberg (http://www.chalmers.se/en/about-chalmers/premises-and-campus/Pages/find-your-way-to-chalmers.aspx), which is the larger one of the two Chalmers Campus (the smaller one is at Lindholmen).
Meeting room: Fysikhuset, room FL51 Fysikgården 3, Göteborg (see google map)
All participants will stay in the Quality Hotel Panorama, just a 900m away from the campus:
Quality Hotel Panorama Gothenburg
Eklandagatan 51-53
Gothenburg, Sweden
There will be a flat registration fee that covers your stay, all meals, and the social event on Tuesday afternoon. We will try to organize some drinks at cost price for the evenings. We will organize hotel reservation and payment centrally, covered via the registration fee.
We expect that most participants will arrive Sunday morning (or stay after ICSE and rest for one day) and that depart Thursday morning.
Arrival via Rail
Exit the train at the central station/the Nils Ericsson terminal. Take bus 16, destination Högsbohöjd, from the stop Nordstan, just outside the terminal. From Drottningstorget, also just outside the central station, you can take tram 13, heading “Sahlgrenska”, to Chalmers. From Brunnsparken, approximately 500 meters from the central station there are additional tram lines that will take you to Chalmers. From there you can walk to the hotel or come directly to the FOSD meeting on campus. Please visit Västtrafik for details.
Arrival via Air
Landvetter Airport in Gothenburg has daily flights to and from most major European cities. It is possible to take a Taxi from the airport directly to the hotel, and the price from the airport to the city center is around SEK 400 (45€). http://www.taxigoteborg.se/En/Home
There is also a convenient airport bus service that connects Landvetter Airport to the Central Station in Gothenburg. The bus stop is right outside the airport’s entrance and 2-4 buses run every hour. The travel time to the Central Station is about 30 minutes, and the trip costs SEK 105 (approximately 11 €). The buses are called Flygbussarna and tickets can be purchased online (and shown to the driver on the mobile phone), via totems at the airport, or directly on the bus (a bit more expensive). If you want to use these busses to get to Chalmers Johanneberg Campus or to the hotel, get off the airport bus at station Korsvägen. It is the first stop when the bus arrives Gothenburg, after only 15min travel time. https://www.flygbussarna.se/en/landvetter
Keynote Speakers
- Umut Tezduyar Lindskog, Axis Communications, Lund, Sweden; keynote title: 1 Platform, 250 Products, 1000 Software Releases
- Prof. Myra Cohen, University of Nebraska-Lincoln, USA (https://cse.unl.edu/~myra/); keynote title: Bio-inspired or Feature-inspired Bio? (http://cse.unl.edu/~myra/papers/Keynote-FOSD2018.pdf)
Schedule
The meeting will run from June 3 (1pm) until June 6 (evening) and includes a social event on June 5 (afternoon). We will release the exact presentation order at the workshop itself.
Schedule Sunday, Jun 3
Address: Fysikhuset, room FL51
Session: 02:00 - 03:15, Chair: Christian Kästner
-
Openning: Thorsten Berger, Sven Apel, Christian Kästner
-
Florian Sattler: A data-flow-based taint analysis to detect feature regions with VaRA
-
Alexander Schlie: Comparing Multiple MATLAB/Simulink Models Using Static Connectivity Matrix Analysis
Session: 03:40 - 04:30, Chair: Andreas Stahlbauer
-
Max Weber: Supporting the Discovery of Performance Hot-Spots
-
Yang Li: Variability Extraction from Natural Language Requirements
Session: 04:45 - 05:35, Chair: Shurui Zhou
-
Sandro Schulze: The Sky is the Limit — Comprehensive Variability Mining Using Round-trip Engineering
-
Juliane Fischer: Configurable component description and retrieval using FeatureIDE
Schedule Monday, Jun 4
Address: EL 43 in the Edit Building
Session: 09:00 - 10:15, Chair: Thorsten Berger
- Umut Tezduyar Lindskog, Axis Communications AB: 1 Platform, 250 Products, 1000 Software Releases (Keynote)
Session: 10:45 - 12:00, Chair: Jens Meinicke
-
Ina Schaefer: Correctness-by-Construction for Software Product Lines
-
Jeffrey Young: Variational Satisfiability Solving
-
Sebastian Böhm: Automata-Guided Reuse of Abstraction Precisions for Variant Verification
Session: 01:30 - 02:45, Chair: Larissa Rocha Soares
-
Sven Apel: Visualizing and Comparing Performance Influence Models
-
Georg Seibt: Integrating Versions and Variants: An Empirical Study on Merge, Build, and Test Conflicts
-
Sandra Greiner: Strengths and Weaknesses of Trace-Based Approaches Propagating Feature Annotations in Model Transformations
Session: 03:10 - 04:00, Chair: Sebastian Böhm
-
Bastian Fleischmann: Meta-Learning for Performance Prediction on Configurable Software Systems
-
Tobias Runge: A Classification and Taxonomy of Product Sampling for Software Product Lines
Session: 04:15 - 05:05, Chair: Juliane Fischer
-
Florian Niederhuber: Change-Region Detection using VaRA and LLVM
-
Thorsten Berger: A Classification of Variation Control System
Schedule Tuesday, Jun 5
Address: EL 43 in the Edit Building
Session: 09:00 - 10:15, Chair: Jeffrey Young
-
Alexander Grebhahn: A (Semi-)Automatic Mechanism to Generate Variants of Existing Framework Applications
-
Christian Kaltenecker: Distance-based Sampling
-
Lars Luthmann: Sampling Strategies for Infinite Configuration Spaces
Session: 10:45 - 12:00, Chair: Chu-Pan Wong
-
Andreas Stahlbauer: Variable Variability-aware Verification: An Empirical Study
-
Gustavo do Vale: On The Relation Between Merge Conflicts and Coordination Activities
-
Jens Meinicke: Lightweight generation of variational traces from single executions
Session: 01:30 - 03:35, Chair: Sandra Greiner
-
Norbert Siegmund: Pervolution: Performance Evolution of Configurable Software Systems
-
Larissa Rocha Soares: VarXplorer: Reasoning About Feature Interactions
-
Jacob Krueger: Thinking in Features: How Do Developers Remember Source Code?
-
Hendrik Speidel: Using feature-oriented techniques to compose semi-structured text documents
Session: 03:50 - 06:00, Chair:
- Social event: The Liseberg Amusement Park. See social event section
Schedule Wednesday, Jun 6
Address: EDIT Building, use main entrance, follow signs
Session: 09:00 - 10:15, Chair: Sven Apel
- Myra Cohen: Feature-Oriented Organic Software Development (Keynote)
Session: 10:45 - 12:00, Chair: Max Weber
-
Mukelabai Mukelabai: Analysis of Software Product Lines: An Investigation of Industrial Practice and Needs
-
Shurui Zhou: Identifying redundancies in Fork-based Development
-
Thomas Bock: Feature-Development Activity of Core and Peripheral Developers within the Release Cycle of Mozilla Firefox
Session: 01:30 - 02:45, Chair: Sebastian Krieter
-
Miguel Velez: ConfigCrusher: White-Box Performance Analysis for Configurable Systems
-
Alexander Knüppel: Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY
-
Thomas Thüm: Product Configuration in the Wild: A Case Study of Real-World Web Configurators
Session: 03:10 - 04:00, Chair: Yang Li
-
Chu-Pan Wong: Application of Variational Execution
-
Mahsa Varshosaz: Delta-Oriented FSM-Based Testing
Session: 04:15 - 04:45, Chair: Mukelabai Mukelabai
-
Sebastian Krieter: Managing Variability On-The-Fly: Keeping Feature Model and Variable Source Code Aligned
-
Christian: Compositional Analysis of Security-Relevant Configuration Options
Social Event
- Meet at 4:30pm at main entrance to Liseberg.
- Dinner at 7pm in Restaurant Hamnkrogen within the park.
VISA Information
If you are a non EU citizen, please find if you need a visa for entering Sweden and Schengen Area. A list for citizen of countries that need a visa can be found here Do I need a visa?. Contact Thorsten if you need an invitation letter.
Contact
For abstract submission please send an e-mail with title and abstract (text only, half page max, no attachment) to Shurui Zhou: shuruiz@cs.cmu.edu.
For other questions please send an e-mail to Thorsten Berger: thorsten.berger@chalmers.se.
Organizers
Thorsten Berger thorsten.berger@chalmers.se
Shurui Zhou shuruiz@cs.cmu.edu
Christian Kästner kaestner@cs.cmu.edu
Sven Apel apel@uni-passau.de
Georg Seibt seibt@fim.uni-passau.de