Doctoral SymposiumECOOP 2016
The Doctoral Symposium provides a forum for both early- and late-stage PhD students to present their research and get detailed feedback and advice. The main objectives of this event are:
- to allow PhD students to practice writing clearly and to present their research proposal effectively
- to get constructive feedback from other researchers
- to build bridges for potential research collaboration
- to contribute to the conference goals through interaction with other researchers at the main conference.
Event Format
This is a full-day event of interactive presentations. The day will start with a series of lightning talks when each PhD student gives an “elevator pitch” of their research and continue with formal presentations by the PhD students and presentation discussions. Besides the formal presentations and discussions in sessions, there will be plenty of opportunities for informal interactions during breaks, lunch and (possibly) dinner. It is also planned that members of the academic panel will give short presentations and other research community members will give talks on a variety of topics related to PhD studies and doing research.
Accepted Papers
Title | |
---|---|
Compositional and Mechanically Verified Program Analyzers Doctoral Symposium A: David Darais | |
Concept Parameters as a New Mechanism of Generic Programming for C# Language Doctoral Symposium | |
Domain-based Simulation Modelling to Enable Continuous Testing for Software Development in the Chemical Industry Doctoral Symposium | |
Exploring optional security typing Doctoral Symposium A: Raimil Cruz | |
Language Design for Validatable Information System Specifications Doctoral Symposium A: Daco Harkes | |
Live Programming Environments for Reactive MVU Applications Doctoral Symposium | |
Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages Doctoral Symposium | |
User-Centric Static Analysis Doctoral Symposium |
Call for Submissions
Potential topics are (but any other related to ECOOP is welcome):
- Architecture, Design Patterns
- Aspects, Components, Modularity, Separation of Concerns
- Collaboration, Workflow
- Concurrency, Real-time, Embeddedness, Mobility, Distribution
- Databases, Persistence, Transactions
- Domain Specific Languages, Language Workbenches
- Dynamicity, Adaptability, Reflection
- Frameworks, Product Lines, Generative Programming
- HCI, User Interfaces
- Language Design, Language Constructs, Static Analysis
- Language Implementation, Virtual Machines, Partial Evaluation
- Methodology, Process, Practices, Metrics
- Model Engineering, Design Languages, Transformations
- Requirements Analysis, Business Modeling
- Software Evolution, Versioning
- Theoretical Foundations, Formal methods
- Tools, Programming environments
The structure and length of submissions differs for junior and senior students and is discussed below.
For Senior PhD Students
The doctoral symposium aims to provide senior PhD students with useful feedback towards the successful completion of their dissertation research. Each student is assigned an academic panel, based on the specifics of that student’s research, and a panel of PhD students who will prepare to participate in the discussion of the proposal and the presentation. The doctoral student will give two presentations:
- A two-minute overview stating the most critical issues of the research (the “elevator pitch”)
- A formal presentation of 15 minutes, which will be followed by 15 minutes of questions and feedback
The experience is meant to mimic a “minidefense” interview. Aside from the actual feedback, this helps the student gain familiarity with the style and mechanics of such an interview (advisors of student presenters will not be allowed to attend their student’s presentations).
To participate, the students should be far enough in their research to be able to present:
- the importance of the problem
- a clear research proposal
- some preliminary work/results
- an evaluation plan
The students should still have at least 12 months before defending their dissertation. Students that are defending within a year won’t be able to incorporate the feedback they receive.
To participate, please submit:
- a 3–4 page abstract in the Dagstuhl LIPIcs format;
- a letter from your advisor. This letter should include an assessment of the current status of your dissertation research and an expected date for dissertation submission. The advisor should e-mail this letter to the chairs (ecoop16-ds@easychair.org).
Abstracts should be submitted to: https://easychair.org/conferences/?conf=ecoop16ds
The abstract should focus on the following:
- Problem Description
- What is the problem?
- What is the significance of this problem?
- Why can the current state of the art not solve this problem?
- Goal Statement
- What is the goal of your research?
- What artifacts (tools, theories, methods) will be produced, and how do they address the stated problem? How are the artifacts going to help reach the stated goal?
- Method
- What experiments, prototypes, or studies need to be produced/executed?
- What is the validation strategy? How will it demonstrate that the goal was reached?
Note that this is not a typical technical paper submission, and that the focus is not on technical details, but rather on the research method.
In addition to the submission, the student will be assigned the submissions of two other PhD students for which written feedback should be submitted no later than June 15th June 27th. The student will also be expected to take active part in all discussions, and especially when discussing the reviewed submissions.
For Junior PhD Students
The doctoral symposium aims to allow PhD students in the early stages of their PhD work to present their research ideas and obtain feedback from the rest of the attendees. Each participant will give two presentations:
- A two-minute overview stating the most critical issues of the research (the “elevator pitch”)
- A formal 15 minute presentation, which will be followed by 15 minutes of discussions
To participate, please submit:
- 4–8 page position paper in the Dagstuhl LIPIcs format, presenting your idea or current work;
- a support letter from your advisor. The advisor should e-mail this letter to the chairs (ecoop16-ds@easychair.org).
Position papers should be submitted to: https://easychair.org/conferences/?conf=ecoop16ds
The position paper should contain (at least):
- a problem description
- a detailed sketch of a proposed approach
- related work
As this is earlier-stage research, it is not necessary to have concrete results from this research presented in the paper. Instead, the goal of the paper is to inform the reader of a (well-motivated) problem and to present a high-level (possible) solution.
In addition to the submission, the student will be assigned the submissions of two other students for which written summaries together with a few questions (2–3) that could be discussed in connection to the presentations should be submitted no later than June 15th June 27th. The student will also be expected to take active part in all discussions, and especially when discussing the submissions for which the summaries have been written.
If accepted for presentation, the student’s advisor must email the chairs (ecoop16-ds@easychair.org) no later than July 8th to confirm that the advisor attended at least one of the student’s presentation rehearsals.
Sun 17 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:45 - 09:45 | |||
08:45 10mDay opening | Welcome Doctoral Symposium | ||
08:55 20mTalk | Lightning Talks Doctoral Symposium | ||
09:15 30mTalk | Live Programming Environments for Reactive MVU Applications Doctoral Symposium |
10:05 - 12:25 | |||
10:05 30mTalk | User-Centric Static Analysis Doctoral Symposium | ||
10:35 30mTalk | Domain-based Simulation Modelling to Enable Continuous Testing for Software Development in the Chemical Industry Doctoral Symposium | ||
11:05 20mCoffee break | Coffee break Doctoral Symposium | ||
11:25 30mTalk | Language Design for Validatable Information System Specifications Doctoral Symposium | ||
11:55 30mTalk | Compositional and Mechanically Verified Program Analyzers Doctoral Symposium |
13:50 - 15:20 | |||
13:50 30mTalk | Invited Talk: How to get your Ph.D. DONE Doctoral Symposium Eric Jul Alcatel-Lucent Bell Labs | ||
14:20 30mTalk | Concept Parameters as a New Mechanism of Generic Programming for C# Language Doctoral Symposium | ||
14:50 30mTalk | Exploring optional security typing Doctoral Symposium |
16:00 - 17:30 | |||
16:00 30mTalk | Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages Doctoral Symposium | ||
16:30 30mTalk | Invited Talk: Papers vs. Artefacts Doctoral Symposium Philipp Haller KTH Royal Institute of Technology | ||
17:00 30mTalk | Invited Talk: PhD Reflections Doctoral Symposium Sebastian Erdweg TU Delft |