SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand

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. These students will benefit from free registration to the conference and free student dorm accommodation near the conference venue.

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

Accepted Papers

Title
ARENA: Enhancing Abstract Refinement for Neural Network Verification
Student Research Competition
DOI
A Study of the Impact of Callbacks in Staged Static+Dynamic Partial Analysis
Student Research Competition
DOI
Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm
Student Research Competition
DOI
CodeSpider: Automatic Code Querying with Multi-modal Conjunctive Query Synthesis
Student Research Competition
DOI
Foundationally Sound Annotation Verifier via Control Flow Splitting
Student Research Competition
DOI
LoRe: Local-First Reactive Programming with Verified Safety Guarantees
Student Research Competition
DOI
Qiwi: A Beginner Friendly Quantum Language
Student Research Competition
DOI
Simple Extensible Programming through Precisely-Typed Open Recursion
Student Research Competition
DOI
Termination of Recursive Functions by Lexicographic Orders of Linear Combinations
Student Research Competition
DOI
Using Mutations to Analyze Formal Specifications
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://easychair.org/conferences/?conf=splash2022src by July 18th, 2022, 23:59pm AoE July 28th, 2022, 23:59pm AoE.

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.

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

Mon 5 Dec

Displayed time zone: Auckland, Wellington change

18:00 - 20:00
SPLASH PostersStudent Research Competition / Posters at Atrium
Chair(s): Xujie Si McGill University, Canada, Caterina Urban Inria & École Normale Supérieure | Université PSL
18:00
2h
Poster
Simple Extensible Programming through Precisely-Typed Open Recursion
Student Research Competition
Andong Fan Hong Kong University of Science and Technology
DOI
18:00
2h
Poster
CodeSpider: Automatic Code Querying with Multi-modal Conjunctive Query Synthesis
Student Research Competition
Chengpeng Wang Hong Kong University of Science and Technology
DOI
18:00
2h
Poster
LoRe: Local-First Reactive Programming with Verified Safety Guarantees
Student Research Competition
Julian Haas TU Darmstadt
DOI
18:00
2h
Poster
Qiwi: A Beginner Friendly Quantum Language
Student Research Competition
Abhinandan Pal IIIT Kalyani, Anubhab Ghosh IIIT Kalyani
DOI
18:00
2h
Poster
Provably Correct Smart Contracts: An Approach using DeepSEA
Posters
Daniel Britten University of Waikato, Vilhelm Sjöberg CertiK, Steve Reeves University of Waikato
DOI
18:00
2h
Poster
Tower: Data Structures in Quantum Superposition
Posters
Charles Yuan Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology
18:00
2h
Poster
Using Mutations to Analyze Formal Specifications
Student Research Competition
Siraphob Phipathananunth Vanderbilt University
DOI
18:00
2h
Poster
Competitive Debugging: Toward Contests Promoting Debugging as a Skill
Posters
Patrick Rein University of Potsdam; Hasso Plattner Institute, Tom Beckmann University of Potsdam; Hasso Plattner Institute, Leonard Geier University of Potsdam; Hasso Plattner Institute, Toni Mattis University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld University of Potsdam; Hasso Plattner Institute
18:00
2h
Poster
Foundationally Sound Annotation Verifier via Control Flow Splitting
Student Research Competition
Litao Zhou Shanghai Jiao Tong University
DOI
18:00
2h
Poster
Semi-symbolic Inference for Efficient Streaming Probabilistic Programming
Posters
Eric Atkinson Massachusetts Institute of Technology, Charles Yuan Massachusetts Institute of Technology, Guillaume Baudart Inria, Louis Mandel IBM Research, Michael Carbin Massachusetts Institute of Technology
18:00
2h
Poster
A Study of the Impact of Callbacks in Staged Static+Dynamic Partial Analysis
Student Research Competition
Aditya Anand IIT Mandi
DOI
18:00
2h
Poster
Multiverse Notebook: A Notebook Environment for Safe and Efficient Exploration
Posters
Tomoki Nakamaru University of Tokyo, Shigeyuki Sato University of Tokyo
DOI
18:00
2h
Poster
Katara: Synthesizing CRDTs with Verified Lifting
Posters
Shadaj Laddad University of California at Berkeley, Conor Power University of California at Berkeley, Mae Milano University of California at Berkeley, Alvin Cheung University of California at Berkeley, Joseph M. Hellerstein University of California at Berkeley
18:00
2h
Poster
Explicit Code Reuse Recommendation
Posters
Dov Fraivert Open University of Israel, David H. Lorenz Open University of Israel
DOI
18:00
2h
Poster
Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm
Student Research Competition
Yahui Song National University of Singapore, Wei-Ngan Chin National University of Singapore
DOI
18:00
2h
Poster
Composing Linear Types and Separation Logic Proofs of Memory Safety
Posters
Pilar Selene Linares Arévalo University of Melbourne
DOI
18:00
2h
Poster
ARENA: Enhancing Abstract Refinement for Neural Network Verification
Student Research Competition
Yuyi Zhong National University of Singapore, Quang-Trung Ta National University of Singapore, Siau-Cheng Khoo National University of Singapore
DOI
18:00
2h
Poster
Termination of Recursive Functions by Lexicographic Orders of Linear Combinations
Student Research Competition
DOI

Wed 7 Dec

Displayed time zone: Auckland, Wellington change

17:30 - 19:30
17:30
15m
Poster
Termination of Recursive Functions by Lexicographic Orders of Linear Combinations
Student Research Competition
DOI
17:45
15m
Poster
Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm
Student Research Competition
Yahui Song National University of Singapore, Wei-Ngan Chin National University of Singapore
DOI
18:00
15m
Poster
CodeSpider: Automatic Code Querying with Multi-modal Conjunctive Query Synthesis
Student Research Competition
Chengpeng Wang Hong Kong University of Science and Technology
DOI
18:15
15m
Poster
LoRe: Local-First Reactive Programming with Verified Safety Guarantees
Student Research Competition
Julian Haas TU Darmstadt
DOI
18:30
15m
Poster
Foundationally Sound Annotation Verifier via Control Flow Splitting
Student Research Competition
Litao Zhou Shanghai Jiao Tong University
DOI
18:45
15m
Poster
Using Mutations to Analyze Formal Specifications
Student Research Competition
Siraphob Phipathananunth Vanderbilt University
DOI
19:00
15m
Poster
ARENA: Enhancing Abstract Refinement for Neural Network Verification
Student Research Competition
Yuyi Zhong National University of Singapore, Quang-Trung Ta National University of Singapore, Siau-Cheng Khoo National University of Singapore
DOI
19:15
15m
Poster
Qiwi: A Beginner Friendly Quantum Language
Student Research Competition
Abhinandan Pal IIIT Kalyani, Anubhab Ghosh IIIT Kalyani
DOI