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.

Accepted Presentations

Title
A DSL for Distributed, Reactive Workflows
DocSymposium
Automated Rule Inference for Cryptographic APIs through Source Code Repositories
DocSymposium
Building Correct and Safe Distributed Systems
DocSymposium
Efficient Static Analyses to Identify Opportunities for Replacing Type Code with Subclass and State
DocSymposium
Safely Adding a Moving Garbage Collector to a Non Garbage Collected Language
DocSymposium
The Software Architecture of Economy Mechanics in Digital Games
DocSymposium

SPLASH 2018 Doctoral Symposium

Call for Submissions

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.

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.

  1. Hypothesis: What would be the main research result? What would be the secondary research results? Phrase these as primary and secondary hypothesis.
  2. 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

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.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00
IDocSymposium at Charles River
Chair(s): Philipp Haller KTH, Sweden
08:30
3m
Day opening
Welcome and Introduction
DocSymposium
Philipp Haller KTH, Sweden
08:33
12m
Talk
Lightning Talks
DocSymposium
Philipp Haller KTH, Sweden
08:45
45m
Talk
A DSL for Distributed, Reactive Workflows
DocSymposium
Mathijs Saey Vrije Universiteit Brussel
09:30
30m
Talk
Invited Talk 1
DocSymposium
Heather Miller Carnegie Mellon University
10:30 - 12:00
IIDocSymposium at Charles River
Chair(s): Philipp Haller KTH, Sweden
10:30
45m
Talk
Building Correct and Safe Distributed Systems
DocSymposium
Maryam Dabaghchian University of Utah
11:15
45m
Talk
The Software Architecture of Economy Mechanics in Digital Games
DocSymposium
Wilson Mizutani University of São Paulo
15:30 - 17:00
IVDocSymposium at Charles River
Chair(s): Philipp Haller KTH, Sweden
15:30
45m
Talk
Automated Rule Inference for Cryptographic APIs through Source Code Repositories
DocSymposium
16:15
30m
Talk
Invited Talk 2
DocSymposium
Ross Tate Cornell University
16:45
5m
Day closing
Closing Remarks
DocSymposium
Philipp Haller KTH, Sweden