Doctoral SymposiumSPLASH 2023
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:
-
Hypothesis: What would be the main research result? What would be the secondary research results? Phrase these as primary and secondary hypotheses.
-
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.
Tue 24 OctDisplayed time zone: Lisbon change
09:00 - 10:30 | |||
09:00 10mDay opening | Introduction and Welcome Doctoral Symposium Michael Coblenz University of California, San Diego | ||
09:10 60mKeynote | Navigating your thesis and job search: sustainability and standing out [Invited Talk] Doctoral Symposium Jonathan Aldrich Carnegie Mellon University | ||
10:10 20mTalk | Elevator Pitches Doctoral Symposium |
11:00 - 12:30 | |||
11:00 30mTalk | Large Language Models for Automated Program Repair Doctoral Symposium Francisco Ribeiro University of Minho & HASLab, INESCTEC | ||
11:30 30mTalk | Scaling up Program Synthesis to Efficient Algorithms Doctoral Symposium Ruyi Ji Peking University | ||
12:00 30mTalk | Transforming Ideas into Code: Visual Sketching for ML Development Doctoral Symposium Luis F. Gomes Carnegie Mellon University |
14:00 - 15:30 | |||
14:00 30mTalk | Remote Just-in-Time Compilation for Dynamic Languages Doctoral Symposium Andrej Pečimúth Oracle Labs; Charles University | ||
14:30 30mTalk | Reusing Single-Language Analyses for Static Analysis of Multi-Language ProgramsRemote Doctoral Symposium Tobias Roth Technische Universität Darmstadt | ||
15:00 30mTalk | Semantic Versioning for Python Programs Doctoral Symposium |
16:00 - 17:30 | |||
16:00 30mTalk | A Pragmatic Approach to Syntax Repair Doctoral Symposium Breandan Considine McGill University | ||
16:30 60mMeeting | Discussion Doctoral Symposium Michael Coblenz University of California, San Diego |