SPLASH 2016 Doctoral Symposium
The SPLASH Doctoral Symposium provides students with useful guidance for completing their dissertation research and beginning their research careers. The Symposium will provide an interactive forum for doctoral students who have progressed far enough in their research to have a structured proposal, but will not be defending their dissertation in the next 12 months.
Tue 1 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 10:00 | |||
08:30 4mDay opening | Welcome Doctoral Symposium | ||
08:34 16mTalk | Lightning Talks Doctoral Symposium | ||
08:50 40mTalk | Integrating Concerns with Development Environments Doctoral Symposium | ||
09:30 40mTalk | Dedicated Support for Analyses and Optimizations in Language Workbenches Doctoral Symposium Tamás Szabó itemis AG / TU Delft |
10:30 - 12:10 | |||
10:30 40mTalk | VeriTaS: Verification of Type System Specifications Doctoral Symposium Sylvia Grewe TU Darmstadt Pre-print | ||
11:10 40mTalk | Language Support for Verifiable SDNs Doctoral Symposium |
13:30 - 15:10 | |||
13:30 40mTalk | Multitier Reactive Abstractions Doctoral Symposium | ||
14:10 40mTalk | Scaling Testing of Refactoring Engines Doctoral Symposium |
15:40 - 17:20 | |||
15:40 40mTalk | Spray: Programming with a Persistent Distributed Heap Doctoral Symposium Marco Grandi Computer Science Department - University of Pisa | ||
16:20 40mTalk | Towards Practical Release-Level Dynamic Software Updating on Stock Java Doctoral Symposium | ||
17:00 20mTalk | How to get your Ph.D. DONE Doctoral Symposium |
Accepted Papers
Title | |
---|---|
Dedicated Support for Analyses and Optimizations in Language Workbenches Doctoral Symposium | |
How to get your Ph.D. DONE Doctoral Symposium | |
Integrating Concerns with Development Environments Doctoral Symposium | |
Language Support for Verifiable SDNs Doctoral Symposium | |
Multitier Reactive Abstractions Doctoral Symposium | |
Scaling Testing of Refactoring Engines Doctoral Symposium | |
Spray: Programming with a Persistent Distributed Heap Doctoral Symposium | |
Towards Practical Release-Level Dynamic Software Updating on Stock Java Doctoral Symposium | |
VeriTaS: Verification of Type System Specifications Doctoral Symposium Pre-print |
Call for Submissions
Symposium Logistics
At the symposium, presentations will consist of the following:
-
A two-minute overview stating the most critical issues of the research (the “elevator talk”).
-
A separate (strictly-timed) 40-minute description of the proposer’s research. This will be broken down into at most 25 minutes of presentation and 15 minutes of questions.
Structure of Research Description
The research description in your submission and in your symposium presentation must be structured as follows:
-
Motivation: Why do we care about the problem and the results? If the problem isn’t obviously interesting it might be better to put motivation first, but if your work is incremental progress on a problem that is widely recognized as important, then it is probably better to put the “Problem” section first to indicate which piece of the larger problem you are breaking off to work on. This section should include the importance of your work, the difficulty of the area, and the impact it might have if successful.
-
Problem: What exact problem, issue, or question does this research address? What limitations or failings of current understanding, knowledge, methods, or technologies does this research resolve? You should position your work with respect to related ideas in this section.
-
Approach: How did you go about solving or making progress on the problem? What new understanding, knowledge, methods, or technologies will this research generate?
-
Evaluation Methodology: In writing the evaluation methodology section of your submission, we encourage you to emphasize two main aspects of your experiment.
- Hypothesis: What would be the main research result? What would be the secondary research results? Phrase these as primary and secondary hypothesis.
- Experimental Setup: How are you going to set up your experiments to test these hypothesis? What are the variables in these experiments? How do you plan to control these variables for an unbiased experimental result?
Submission Format and Process
To apply for the doctoral symposium, please send a description of your dissertation research, following the structure of research description described above, to doctoral-symposium@splashcon.org by June 30, 2016. Submissions should use the ACM SIGPLAN Conference Format, 10 point font. Please use the following e-mail subject: [SPLASH’16 Doctoral Symposium Submission].
Your submission should not exceed 3 pages, including references and appendices (if applicable). You are not required to use up all 3 pages, but we leave it as an option for students who want to use the Doctoral Symposium paper to publicly document the current progress and contributions of their research. We expect the majority of submissions to be in 2-3 pages. Regardless of the length of your submission, your presentation should be sufficiently detailed to describe your dissertation research.
Your advisor must also send a brief statement of your dissertation progress to date and a statement of recommendation to doctoral-symposium@splashcon.org by June 30, 2016. Please have your advisor use the following e-mail subject: [SPLASH’16 Doctoral Symposium Recommendation for first-name last-name].
The students whose proposals are selected for presentation are expected to participate in the event for the entire day. Each symposium presenter will have a short paper published in the SPLASH Companion.
Proposers are highly encouraged to submit a poster to the SPLASH Poster session, and participate in the ACM Student Research Competition. These vehicles provide the student with an opportunity for additional feedback and suggestions on their dissertation work, contacts for further interaction, and experience in communicating with other professionals.
AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work.
More Information
For additional information, clarification, or answers to questions please contact the Doctoral Symposium chair at doctoral-symposium@splashcon.org.