The 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.
SPLASH 2018 Doctoral Symposium
We invite students to submit a structured proposal of their dissertation research. At the symposium, presentations will consist of the following:
- Two-minute overview stating the most critical issues of the research (the “elevator talk”).
- A separate (strictly-timed) slot for the description of the proposer’s research. This will be broken down into at most 25 minutes of presentation followed by 15 minutes of questions from the committee and audience. Note that the duration of the separate slots may slightly vary depending on the number of received contributions, but it is our specific goal to plan enough room for questions.
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?
Submissions should follow the structure of research description described above, and use the ACM SIGPLAN acmart style. See http://www.sigplan.org/Resources/Author/. Please use the provided double-column LaTeX or Word templates.
Your submission should not exceed 3 pages, including references and appendices (if applicable). We expect the majority of submissions to be 2-3 pages. Regardless of the length of your submission, your presentation should be sufficiently detailed to describe your dissertation research.
For the submission, please send your research description via email to Philipp Haller.
Your advisor must also send a brief statement of your dissertation progress to date and a statement of recommendation to Philipp Haller by July 20, 2018. Please have your advisor use the following e-mail subject: [SPLASH ’18 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.
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.
Tue 6 Nov Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
|08:30 - 08:33|
|Welcome and Introduction|
|08:33 - 08:45|
|08:45 - 09:30|
|A DSL for Distributed, Reactive Workflows|
Mathijs SaeyVrije Universiteit Brussel
|09:30 - 10:00|
|Invited Talk 1|
Heather MillerCarnegie Mellon University
|10:30 - 11:15|
|Building Correct and Safe Distributed Systems|
Maryam DabaghchianUniversity of Utah
|11:15 - 12:00|
|The Software Architecture of Economy Mechanics in Digital Games|
Wilson MizutaniUniversity of São Paulo
|13:30 - 14:15|
|Efficient Static Analyses to Identify Opportunities for Replacing Type Code with Subclass and State|
Jyothi VeduradaIIT Madras
|14:15 - 15:00|
|Safely Adding a Moving Garbage Collector to a Non Garbage Collected Language|
Jacob HughesKing's College London
|15:30 - 16:15|
|Automated Rule Inference for Cryptographic APIs through Source Code Repositories|
Anna-Katharina WickertTU Darmstadt
|16:15 - 16:45|
|Invited Talk 2|
Ross TateCornell University
|16:45 - 16:50|