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

The ACM Student Research Competition (SRC) offers a unique opportunity for undergraduate and graduate students to present their research to a panel of judges and conference attendees at SPLASH. The SRC provides visibility and exposes up-and-coming researchers to computer science research and the research community. This competition also gives students an opportunity to discuss their research with experts in their field, get feedback, and sharpen their communication and networking skills.

To participate in the competition, a student must submit a 2-page description of their original research project. The submitted project descriptions are peer-reviewed. Each student whose description is selected by a panel of reviewers is invited to attend the SRC competition at SPLASH and present their work.

Winners of the SPLASH competition are invited to participate in the ACM Student Research Competition Grand Finals. Submit your work and take part in the ACM Student Research Competition at SPLASH 2023!

Accepted Papers

Title
An optimal structure-aware code difference framework with MaxSAT-SolverRemote
Student Research Competition
Clearing the Trail: Motivations for Maintenance Work in Open Source
Student Research Competition
Design and implementation of facets of dynamic policies
Student Research Competition
Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking
Student Research Competition
Modular educational languages
Student Research Competition
Partial Gradual Dependent Type Theory
Student Research Competition
Rose: Extensible Autodiff on the Web
Student Research Competition
Synthesizing Recursive Programs Through Dataflow Constraints
Student Research Competition
Towards the formal verification of Wigderson's algorithm
Student Research Competition

Call

In order to participate in the SRC, you must:

  • Have graduate or undergraduate student status (i.e., be enrolled in a university or college) at the time of submission.
  • Be a current ACM student member.
  • If selected, register for the conference and attend.

Submission Guidelines

A submitted research abstract must not exceed 2 pages, including all text, appendices, and figures. Additional pages are permitted only for references (and no other text). The submission must be written in English and must be submitted as a PDF file that follows the ACM SIGPLAN acmart style. See http://www.sigplan.org/Resources/Author/. Please use the provided double-column LaTeX or Word templates.

You must submit your SRC research abstract electronically via https://easychair.org/conferences/?conf=splash2023src by July 14th 2023, 23:59pm July 21st, 2023 23:59pm AoE.

Please contact the SPLASH 2023 SRC co-chairs if you need more information.

Competition

If your abstract is accepted, there are two additional rounds of SRC competition that are held during the SPLASH conference.

First Round: Poster Session

The first round is the Poster Session. If you are selected to participate in the competition, you will be invited to present a poster that will be used as a visual helping you to explain your work. This is your opportunity to present your research to conference attendees and SRC judges.

The judges will review the posters and speak to participants about their research. The judges will evaluate the posters based on the quality of the oral and visual presentation, significance of the contribution, research methods, and your broader knowledge of your research area. Following that evaluation, the judges will select students to advance to the second round of the competition.

Second Round: Research Talk

If you are selected for this stage, you will give a 10-minute talk about your research before a panel of judges in a special session at the SPLASH 2023 conference.

You should prepare in advance a presentation and a talk describing your work. The talks will be evaluated by a panel of judges according to the same criteria as posters: the quality of the oral and visual presentation, significance of the contribution, research methods, and your broader knowledge of your research area.

More information about the competition and selection criteria can be found here: https://src.acm.org/about.

Prizes and SRC Grand Finals

The top three winners in each category – undergraduate and graduate – will be recognized during the conference. First-place undergraduate and graduate student winners from all SRCs held during the year (including SPLASH) advance to the SRC Grand Finals.

A separate panel of judges will evaluate all SRC Grand Final participants via the Web. Three undergraduate and three graduate students will be chosen as the SRC Grand Finals winners.

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

Thu 26 Oct

Displayed time zone: Lisbon change

09:30 - 10:30
Keynote 2OOPSLA at Room I
Chair(s): Mira Mezini TU Darmstadt
09:30
60m
Keynote
Hydroflow: A Compiler Target for Fast, Correct Distributed ProgramsKeynote
OOPSLA
10:30 - 11:00
Coffee BreakCatering at Gallery
12:30 - 14:00
15:30 - 16:00
Coffee BreakCatering at Gallery
17:30 - 17:45
Sponsored TalksSponsored Talks at Room I
Chair(s): Bor-Yuh Evan Chang University of Colorado at Boulder; Amazon
17:30
15m
Talk
Programming Languages at Huawei
Sponsored Talks
A: Dan Ghica Huawei
17:30 - 19:30
SPLASH SRC Talk PresentationsStudent Research Competition at Room II
Chair(s): Xujie Si University of Toronto
17:30
13m
Poster
Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking
Student Research Competition
Julia Freeman Francis Marion University, Timothy Zhou University of Illinois Urbana-Champaign
17:43
13m
Poster
Clearing the Trail: Motivations for Maintenance Work in Open Source
Student Research Competition
Katrina Wilson Bucknell University
17:56
13m
Poster
An optimal structure-aware code difference framework with MaxSAT-SolverRemote
Student Research Competition
Haolin Ye McGill University
18:10
13m
Poster
Rose: Extensible Autodiff on the Web
Student Research Competition
Raven Rothkopf Barnard College
18:23
13m
Poster
Partial Gradual Dependent Type Theory
Student Research Competition
Zhan Shi Graduate School of Informatics, Kyoto University
18:36
13m
Poster
Design and implementation of facets of dynamic policies
Student Research Competition
Antonio Zegarelli IMDEA Software Institute
18:50
13m
Poster
Modular educational languages
Student Research Competition
Jesse Hoobergs KU Leuven
19:03
13m
Poster
Synthesizing Recursive Programs Through Dataflow Constraints
Student Research Competition
Marta Davila Mateu University of Southern California

Unscheduled Events

Not scheduled
Poster
Towards the formal verification of Wigderson's algorithm
Student Research Competition
Siraphob Phipathananunth Yale University