SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal

SPLASH 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.

Are you at an earlier stage of your studies? Consider applying to the Programming Languages Mentoring Workshop!

Related Student Events at SPLASH

Participants to the Doctoral Symposium are highly encouraged to submit a poster to the SPLASH Poster session, and to engage in the ACM Student Research Competition. These related events are opportunities for additional feedback and suggestions on their dissertation work, contacts for further interaction, and experience in communicating with other professionals.

Funding

There is no explicit funding to attend the Doctoral Symposium. However, participants in the Symposium will receive preferential consideration for Student Volunteer applications. Another potential source of funding is the SIGPLAN Professional Activities Committee.

In-Person Attendance

The Doctoral Symposium is primarily an in-person event. Special consideration may be given to participants who cannot physically attend the symposium. As part of the application process, students will need to specify whether (and if, why) they intend to participate remotely.

More Information

For additional information, clarification, or answers to questions please contact the Doctoral Symposium chair Michael Coblenz.

Accepted Papers

Title
A Pragmatic Approach to Syntax Repair
Doctoral Symposium
Large Language Models for Automated Program Repair
Doctoral Symposium
Remote Just-in-Time Compilation for Dynamic Languages
Doctoral Symposium
Reusing Single-Language Analyses for Static Analysis of Multi-Language ProgramsRemote
Doctoral Symposium
Scaling up Program Synthesis to Efficient Algorithms
Doctoral Symposium
Semantic Versioning for Python Programs
Doctoral Symposium
Transforming Ideas into Code: Visual Sketching for ML Development
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) presentation slot for the description of the proposer’s research. The duration of this slot should be around 30-40 minutes, with 1/3 of the time dedicated to questions from the committee and audience. The exact duration will depend on the number of accepted presentations and will be announced in due time.

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 hypotheses.

  2. Evaluation Setup: How are you going to set up your experiments or studies to test these hypotheses? How do you plan to control for bias? How will you maximize external validity?

Submission Format and Process

To apply for the doctoral symposium, please submit a description of your dissertation research, following the structure of research description described above, on the submission website: https://splash23ds.hotcrp.com/ by July 21 2023, 23:59 AoE. Your advisor must also send a brief statement of your dissertation progress to date and a statement of recommendation to the Doctoral Symposium chair Michael Coblenz by July 21 2023, 23:59 AoE. Please have your advisor use the following e-mail subject: [SPLASH ’23 Doctoral Symposium Recommendation for (name)].

Submissions should 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).

Regardless of the length of your submission, your presentation should be sufficiently detailed to describe your dissertation research. The students whose proposals are selected for presentation are expected to participate in the event for the entire day.

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

Tue 24 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
Keynote and Elevator PitchesDoctoral Symposium at Room XII
09:00
10m
Day opening
Introduction and Welcome
Doctoral Symposium
Michael Coblenz University of California, San Diego
09:10
60m
Keynote
Navigating your thesis and job search: sustainability and standing out [Invited Talk]
Doctoral Symposium
Jonathan Aldrich Carnegie Mellon University
10:10
20m
Talk
Elevator Pitches
Doctoral Symposium

10:30 - 11:00
Coffee BreakCatering at Gallery
11:00 - 12:30
Machine Learning and SynthesisDoctoral Symposium at Room XII
11:00
30m
Talk
Large Language Models for Automated Program Repair
Doctoral Symposium
Francisco Ribeiro University of Minho & HASLab, INESCTEC
11:30
30m
Talk
Scaling up Program Synthesis to Efficient Algorithms
Doctoral Symposium
Ruyi Ji Peking University
12:00
30m
Talk
Transforming Ideas into Code: Visual Sketching for ML Development
Doctoral Symposium
Luis F. Gomes Carnegie Mellon University
12:30 - 14:00
14:00 - 15:30
Compilation and AnalysisDoctoral Symposium at Room XII
14:00
30m
Talk
Remote Just-in-Time Compilation for Dynamic Languages
Doctoral Symposium
Andrej Pečimúth Oracle Labs; Charles University
14:30
30m
Talk
Reusing Single-Language Analyses for Static Analysis of Multi-Language ProgramsRemote
Doctoral Symposium
Tobias Roth Technische Universität Darmstadt
15:00
30m
Talk
Semantic Versioning for Python Programs
Doctoral Symposium
15:30 - 16:00
Coffee BreakCatering at Gallery
16:00 - 17:30
Syntax and DiscussionDoctoral Symposium at Room XII
16:00
30m
Talk
A Pragmatic Approach to Syntax Repair
Doctoral Symposium
Breandan Considine McGill University
16:30
60m
Meeting
Discussion
Doctoral Symposium
Michael Coblenz University of California, San Diego