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

The Poster Session of the Student Research Competition will be held on Wednesday, October 23, from 17:40-19:40 (as part of the Reception and Poster session)

The Presentation Session of the Student Research Competition will be held on Thursday, October 24, from 17:40-19:40

Accepted Papers

Title
Algebraic effect handlers with bidirectional type-checking
Student Research Competition
A Parameterized Framework for the Formal Verification of Zero-Knowledge Virtual Machines
Student Research Competition
Automatically Generating an Abstract Interpretation-based Optimizer from a DSL
Student Research Competition
Automatic Local Inverse Calculation for Change of Variables
Student Research Competition
Design of Fractional Permissions for a Gradual Verifier
Student Research Competition
Grammar Derivation Visualization in Automata Theory
Student Research Competition
Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities
Student Research Competition
Towards a Formal Approach to the Analysis of Human-Machine Interaction
Student Research Competition
Understanding Program Visualizations in the Wild
Student Research Competition
VESC:Towards Temporal Verification of Smart Contracts
Student Research Competition
DOI

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://splash2024src.hotcrp.com/ by Mon 08 Jul 2024 23:59 AoE.

Please contact the SPLASH 2024 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 2024 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.

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

Wed 23 Oct

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

17:40 - 19:40
17:40
8m
Poster
AUTOINC: Incrementality for Free
Posters
17:48
8m
Poster
Meerkat: Distributed Reactive Live Semantics with Causal Consistency
Posters
17:57
8m
Poster
Ordering Rejectable Stacks in SGLR Parsing
Posters
Jeff Smits Delft University of Technology, Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands
18:05
8m
Poster
TickTalk: A Programming Language and System for Distributed, Time-Sensitive Applications
Posters
Kyle Liang Carnegie Mellon University, Edward Andert Arizona State University, Aviral Shrivastava Arizona State University, Jonathan Aldrich Carnegie Mellon University
18:14
8m
Poster
Algebraic effect handlers with bidirectional type-checking
Student Research Competition
18:22
8m
Poster
A Parameterized Framework for the Formal Verification of Zero-Knowledge Virtual Machines
Student Research Competition
Youwei Zhong Shanghai Jiao Tong University
18:31
8m
Poster
Automatically Generating an Abstract Interpretation-based Optimizer from a DSL
Student Research Competition
18:40
8m
Poster
Automatic Local Inverse Calculation for Change of Variables
Student Research Competition
18:48
8m
Poster
Design of Fractional Permissions for a Gradual Verifier
Student Research Competition
18:57
8m
Poster
Grammar Derivation Visualization in Automata Theory
Student Research Competition
19:05
8m
Poster
Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities
Student Research Competition
Zheyuan Wu , Haoyi Zeng , Aaron Bies Saarland University
19:14
8m
Poster
Towards a Formal Approach to the Analysis of Human-Machine Interaction
Student Research Competition
Leyi Cui Columbia University, New York
19:22
8m
Poster
Understanding Program Visualizations in the Wild
Student Research Competition
Joel Castro University of California, Berkeley, Olohi Goodness John Smith College
19:31
8m
Poster
VESC:Towards Temporal Verification of Smart Contracts
Student Research Competition
Samuel Larsen , Kevin Johanson , Cyrus Liu Samsung Semiconductor
DOI

Thu 24 Oct

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

17:40 - 19:40
17:45
15m
Poster
Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities
Student Research Competition
Zheyuan Wu , Haoyi Zeng , Aaron Bies Saarland University
18:00
15m
Poster
A Parameterized Framework for the Formal Verification of Zero-Knowledge Virtual Machines
Student Research Competition
Youwei Zhong Shanghai Jiao Tong University
18:15
15m
Poster
Design of Fractional Permissions for a Gradual Verifier
Student Research Competition
18:30
15m
Poster
Understanding Program Visualizations in the Wild
Student Research Competition
Joel Castro University of California, Berkeley, Olohi Goodness John Smith College
18:45
15m
Poster
Automatic Local Inverse Calculation for Change of Variables
Student Research Competition
19:00
15m
Poster
Towards a Formal Approach to the Analysis of Human-Machine Interaction
Student Research Competition
Leyi Cui Columbia University, New York
Questions? Use the SPLASH Student Research Competition contact form.