Doctoral SymposiumSPLASH 2022
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/Virtual 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 (Fabian Muehlboeck).
Tue 6 DecDisplayed time zone: Auckland, Wellington change
09:00 - 10:00 | |||
09:00 5mOther | WelcomeIn Person Doctoral Symposium | ||
09:05 35mTalk | Researching with Undergraduates: a Curricular ApproachIn Person Doctoral Symposium | ||
09:40 20mOther | Elevator PitchesIn Person Doctoral Symposium |
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee break Catering and Social Events |
10:30 - 12:00 | |||
10:30 30mTalk | Towards a Verified Cost Model for Call-by-Push-ValueIn Person Doctoral Symposium Zhuo Chen University of Melbourne DOI | ||
11:00 30mTalk | Formally Verified Resource Bounds through Implicit Computational ComplexityIn Person Doctoral Symposium Neea Rusch Augusta University DOI | ||
11:30 30mTalk | Proving Obliviousness of Probabilistic Algorithms with Formal VerificationIn Person Doctoral Symposium Pengbo Yan University of Melbourne DOI |
12:00 - 13:30 | |||
13:30 - 15:00 | |||
13:30 30mTalk | Verification of Programs with Concealed ComponentsIn Person Doctoral Symposium Sumit Lahiri IIT Kanpur DOI | ||
14:00 30mTalk | Verification of Hardware and Software with Fuzzing and ProofsIn Person Doctoral Symposium Sujit Kumar Muduli IIT Kanpur DOI | ||
14:30 30mTalk | Programming Support for Local-First Software: Enabling the Design of Privacy-Preserving Distributed Software without Relying on the CloudIn Person Doctoral Symposium Julian Haas TU Darmstadt DOI |
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee break Catering and Social Events |
15:30 - 17:30 | |||
15:30 30mTalk | Modelling the Quantification of Technical DebtIn Person Doctoral Symposium Judith Perera University of Auckland DOI | ||
16:00 30mTalk | Towards Automated Updates of Software DependenciesIn Person Doctoral Symposium Dhanushka Jayasuriya University of Auckland DOI | ||
16:30 30mTalk | Grammar Inference for Ad Hoc ParsersIn Person Doctoral Symposium Michael Schröder TU Wien DOI Pre-print | ||
17:00 30mTalk | Program Synthesis for Artifacts beyond ProgramsIn Person Doctoral Symposium Pankaj Kumar Kalita IIT Kanpur DOI |
Accepted Papers
Title | |
---|---|
Formally Verified Resource Bounds through Implicit Computational ComplexityIn Person Doctoral Symposium DOI | |
Grammar Inference for Ad Hoc ParsersIn Person Doctoral Symposium DOI Pre-print | |
Modelling the Quantification of Technical DebtIn Person Doctoral Symposium DOI | |
Programming Support for Local-First Software: Enabling the Design of Privacy-Preserving Distributed Software without Relying on the CloudIn Person Doctoral Symposium DOI | |
Program Synthesis for Artifacts beyond ProgramsIn Person Doctoral Symposium DOI | |
Proving Obliviousness of Probabilistic Algorithms with Formal VerificationIn Person Doctoral Symposium DOI | |
Towards Automated Updates of Software DependenciesIn Person Doctoral Symposium DOI | |
Towards a Verified Cost Model for Call-by-Push-ValueIn Person Doctoral Symposium DOI | |
Verification of Hardware and Software with Fuzzing and ProofsIn Person Doctoral Symposium DOI | |
Verification of Programs with Concealed ComponentsIn Person Doctoral Symposium DOI |
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?
Methodology: In writing the evaluation methodology section of your submission, we encourage you to emphasize two main aspects of your work:
-
Hypothesis: What would be the main research result? What would be the secondary research results? Phrase these as primary and secondary hypothesis.
-
Arguments: Are you going to set up experiments to test these hypotheses? If so, how? What are the variables in these experiments? How do you plan to control these variables for an unbiased experimental result? If not, how else do you plan to convince the field that your hypotheses hold?
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://splash21ds.hotcrp.com/ by August 1, 2022, 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 (Fabian Muehlboeck) by August 15, 2021, 23:59 AoE. Please have your advisor use the following e-mail subject: [SPLASH 2022 Doctoral Symposium Recommendation for first-name last-name].
Submissions should use the ACM SIGPLAN acmart style. See http://www.sigplan.org/Resources/Author/. Please use the provided double-column LaTeX template (using the sigplan sub-format). Your submission should not exceed 3 pages, including appendices (if applicable), but excluding references.
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.
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 your conference. The official publication date affects the deadline for any patent filings related to published work.