SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States

The ACM Student Research Competition (SRC), sponsored by Microsoft Research, 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. If the conference is held in person, these students are also entitled to a travel stipend that supports attending the SPLASH conference in Chicago, Illinois, USA.

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 2021!

Accepted Papers

Title
A Study of Call Graph Effectiveness for Framework-Based Web Applications
Student Research Competition
Avoiding Monomorphization Bottlenecks with Phase-based Splitting
Student Research Competition
Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?
Student Research Competition
Edgeworth: Authoring Diagrammatic Math Problems Using Program Mutation
Student Research Competition
Implementation of an End-to-End Gradual Verification System
Student Research Competition
Programming-By-Example by Programming-By-Example: Synthesis of Looping Programs
Student Research Competition
Run-Time Data Analysis in Dynamic Runtimes
Student Research Competition
Run-time Data Analysis to Drive Compiler Optimizations
Student Research Competition
Source code authorship attribution using file embeddings
Student Research Competition
Towards Decidable and Expressive DOT
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=splash2021src by July 16th, 2021, 23:59pm AoE.

Please contact the SPLASH’21 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 which 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 2021 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. They will be invited, along with their advisors, to the annual ACM Awards Banquet, where they will receive a formal recognition.

Dates
Plenary

This program is tentative and subject to change.

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

Wed 20 Oct

Displayed time zone: Central Time (US & Canada) change

09:00 - 09:20
Opening SessionOpening at Zurich A +8h
09:00
20m
Day opening
Opening Session
Opening
Hridesh Rajan Iowa State University
09:00 - 09:01
SPLASH StartOpening at Zurich A
09:00
1m
Day opening
SPLASH Conference at Chicago Starts Now
Opening

09:20 - 10:20
SPLASH KeynoteKeynotes at Zurich A +8h
09:20
60m
Keynote
TBDKeynote
Keynotes
K: Rick Stevens Argonne National Laboratory
17:00 - 19:00
17:00
2h
Poster
Implementation of an End-to-End Gradual Verification System
Student Research Competition
Hemant Gouni University of Minnesota, Twin Cities, Conrad Zimmerman Brown University
17:00
2h
Poster
Towards Decidable and Expressive DOT
Student Research Competition
Sophia Roshal Cornell University, Carnegie Mellon University (Institute for Software Research)
17:00
2h
Poster
Programming-By-Example by Programming-By-Example: Synthesis of Looping Programs
Student Research Competition
17:00
2h
Poster
Avoiding Monomorphization Bottlenecks with Phase-based Splitting
Student Research Competition
Sophie Kaleba University of Kent
17:00
2h
Poster
A Study of Call Graph Effectiveness for Framework-Based Web Applications
Student Research Competition
Madhurima Chakraborty University of California, Riverside
17:00
2h
Poster
Run-time Data Analysis to Drive Compiler Optimizations
Student Research Competition
Sebastian Kloibhofer Johannes Kepler Universität Linz
17:00
2h
Poster
Edgeworth: Authoring Diagrammatic Math Problems Using Program Mutation
Student Research Competition
Hwei-Shin Harriman Olin College of Engineering
17:00
2h
Poster
Source code authorship attribution using file embeddings
Student Research Competition
Alina Bogdanova Innopolis University
17:00
2h
Poster
Run-Time Data Analysis in Dynamic Runtimes
Student Research Competition
Lukas Makor Johannes Kepler University Linz
17:00
2h
Poster
Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?
Student Research Competition
Wonhyuk Choi Columbia University
17:00 - 17:20
Opening SessionOpening at Zurich A
17:00
20m
Day opening
Opening Session
Opening
Hridesh Rajan Iowa State University
17:20 - 18:20
SPLASH KeynoteKeynotes at Zurich A
17:20
60m
Keynote
TBDKeynote
Keynotes
K: Rick Stevens Argonne National Laboratory

Thu 21 Oct

Displayed time zone: Central Time (US & Canada) change

09:20 - 10:20
SPLASH KeynoteKeynotes at Zurich A +8h
09:20
60m
Talk
Integrated Scientific Modeling and Lab AutomationKeynote
Keynotes
K: Luca Cardelli Microsoft Research and University of Oxford
13:50 - 15:10
TalksStudent Research Competition at Zurich E

Talks to be selected in the poster session on Wednesday.

17:20 - 18:20
SPLASH KeynoteKeynotes at Zurich A
17:20
60m
Talk
Integrated Scientific Modeling and Lab AutomationKeynote
Keynotes
K: Luca Cardelli Microsoft Research and University of Oxford