SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference

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 his or her 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 of the ACM Student Research Competition at SPLASH 2020!

Accepted Papers

Title
A Software Library Model for the Internet of Things
Student Research Competition
Link to publication
Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces
Student Research Competition
Link to publication
Design and Implementation of a Gradual Verifier
Student Research Competition
Link to publication File Attached
Detecting Performance Patterns with Deep Learning
Student Research Competition
Link to publication
Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions
Student Research Competition
Link to publication
Machine Learning to Ease Understanding of Data Driven Compiler Optimizations
Student Research Competition
Psamathe: A DSL for Safe Blockchain Assets
Student Research Competition
Link to publication
SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems
Student Research Competition
Link to publication
SOAR: Synthesis for Open-Source API Refactoring
Student Research Competition
Link to publication
Student Research Competition
Student Research Competition

Student Research Competition
Student Research Competition

Call

In order to participate in the SRC, you must:

  • Have graduate or undergraduate student status (i.e., 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 if they contain only references. 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://oopsla2020src.hotcrp.com/ by August 15th, 2020, 23:59pm AoE.

Please contact SPLASH’20 SRC co-chairs if you need more information.

Competition

There are two rounds of SRC competition that are held during the SPLASH conference, once your abstract is accepted, and a later grand finals competition:

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 the first round, which will be held online in CLOWDR – the conference hosting system. For the poster sessions, please prepare a poster in a digital format that you can present/share in an online session. (i.e., pdf). It will be used as a visual helping you to explain your work. Please also prepare a thumbnail picture of your poster (up to 2MB in JPG or PNG format) that will serve as a sneak peek for your poster before the audience enters the virtual breakout room in which you will present your work and upload it to CLOWDR.

Following that evaluation, the judges will select students to advance to the second round of the competition.

Second Round: Research Talk

Selected posters will advance to the next stage of the competition. We will notify you about the selection after the judges deliberate over the poster presentations, most probably on Wednesday.

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
You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 17 Nov

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

00:20 - 01:00
Breakfast in ParisMeet The Speakers (MTS) at SPLASH-I
00:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

02:20 - 03:00
Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

04:20 - 05:00
Dinner in BeijingMeet The Speakers (MTS) at SPLASH-I
04:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

06:20 - 07:00
06:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

07:00 - 08:20
TKeynotes at SPLASH-I +12h
Chair(s): Steve Blackburn Australian National University
07:00
80m
Keynote
Testing Deep Neural Networks
Keynotes
Mary Lou Soffa University of Virginia
Link to publication
08:20 - 09:00
Breakfast in ChicagoMeet The Speakers (MTS) at SPLASH-I +12h
08:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

10:20 - 11:00
Breakfast in SeattleMeet The Speakers (MTS) at SPLASH-I +12h
10:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

12:20 - 13:00
Breakfast in WellingtonStudent Research Competition at SPLASH-I +12h
  • Aidan Yang, SOAR: Synthesis for Open-Source API Refactoring

  • Gahwon Lee, SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems

  • Ian C. McCormack, A Software Library Model for the Internet of Things

  • Mona Zhang and Jacob Gorenburg, Design and Implementation of a Gradual Verifier

  • Raphael Mosaner, Machine Learning to Ease Understanding of Data Driven Compiler Optimizations

  • Reed Oei, Psamathe: A DSL for Safe Blockchain Assets

  • Sang Heon Choi, Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces

  • Sophia Kolak, Detecting Performance Patterns with Deep Learning

  • Vitaly Romanov, Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions

12:20
40m
Poster
Student Research Competition
Student Research Competition

12:20 - 13:00
Student Research Competition PostersStudent Research Competition at SPLASH-VII +12h
12:20
40m
Poster
Design and Implementation of a Gradual Verifier
Student Research Competition
Mona Zhang Columbia University, Jacob Gorenburg Haverford College
Link to publication File Attached
12:20
40m
Poster
A Software Library Model for the Internet of Things
Student Research Competition
Ian McCormack University of Wisconsin-Eau Claire
Link to publication
12:20
40m
Poster
Machine Learning to Ease Understanding of Data Driven Compiler Optimizations
Student Research Competition
Raphael Mosaner Johannes Kepler University Linz
12:20
40m
Poster
Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces
Student Research Competition
Sangheon Choi Rose-Hulman Institute of Technology
Link to publication
12:20
40m
Poster
SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems
Student Research Competition
Gahwon Lee The University of Texas at Austin
Link to publication
12:20
40m
Poster
Psamathe: A DSL for Safe Blockchain Assets
Student Research Competition
Reed Oei University of Illinois at Urbana-Champaign
Link to publication
12:20
40m
Poster
Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions
Student Research Competition
Vitaly Romanov Innopolis University
Link to publication
12:20
40m
Poster
Detecting Performance Patterns with Deep Learning
Student Research Competition
Sophia Kolak Columbia University/Carnegie Mellon University
Link to publication
12:20
40m
Poster
SOAR: Synthesis for Open-Source API Refactoring
Student Research Competition
Aidan Z.H. Yang Queen's University / Carnegie Mellon University
Link to publication
14:20 - 15:00
Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

16:20 - 17:00
Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

18:20 - 19:00
Cocktails in RioMeet The Speakers (MTS) at SPLASH-I +12h
18:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

19:00 - 20:20
TKeynotes at SPLASH-I
Chair(s): Steve Blackburn Australian National University
19:00
80m
Keynote
Testing Deep Neural Networks
Keynotes
Mary Lou Soffa University of Virginia
Link to publication
20:20 - 21:00
Cocktails in New YorkMeet The Speakers (MTS) at SPLASH-I
20:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

22:20 - 23:00
22:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

Wed 18 Nov

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

00:20 - 01:00
Breakfast in ParisStudent Research Competition at SPLASH-I
  • Aidan Yang, SOAR: Synthesis for Open-Source API Refactoring

  • Gahwon Lee, SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems

  • Ian C. McCormack, A Software Library Model for the Internet of Things

  • Mona Zhang and Jacob Gorenburg, Design and Implementation of a Gradual Verifier

  • Raphael Mosaner, Machine Learning to Ease Understanding of Data Driven Compiler Optimizations

  • Reed Oei, Psamathe: A DSL for Safe Blockchain Assets

  • Sang Heon Choi, Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces

  • Sophia Kolak, Detecting Performance Patterns with Deep Learning

  • Vitaly Romanov, Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions

00:20
40m
Poster
Student Research Competition
Student Research Competition

00:20 - 01:00
Student Research Competition Posters MirrorStudent Research Competition at SPLASH-VII
00:20
40m
Poster
Design and Implementation of a Gradual Verifier
Student Research Competition
Mona Zhang Columbia University, Jacob Gorenburg Haverford College
Link to publication File Attached
00:20
40m
Poster
Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces
Student Research Competition
Sangheon Choi Rose-Hulman Institute of Technology
Link to publication
00:20
40m
Poster
Psamathe: A DSL for Safe Blockchain Assets
Student Research Competition
Reed Oei University of Illinois at Urbana-Champaign
Link to publication
00:20
40m
Poster
SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems
Student Research Competition
Gahwon Lee The University of Texas at Austin
Link to publication
00:20
40m
Poster
A Software Library Model for the Internet of Things
Student Research Competition
Ian McCormack University of Wisconsin-Eau Claire
Link to publication
00:20
40m
Poster
Machine Learning to Ease Understanding of Data Driven Compiler Optimizations
Student Research Competition
Raphael Mosaner Johannes Kepler University Linz
00:20
40m
Poster
Detecting Performance Patterns with Deep Learning
Student Research Competition
Sophia Kolak Columbia University/Carnegie Mellon University
Link to publication
00:20
40m
Poster
SOAR: Synthesis for Open-Source API Refactoring
Student Research Competition
Aidan Z.H. Yang Queen's University / Carnegie Mellon University
Link to publication
00:20
40m
Poster
Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions
Student Research Competition
Vitaly Romanov Innopolis University
Link to publication
02:20 - 03:00
Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

04:20 - 05:00
Dinner in BejingMeet The Speakers (MTS) at SPLASH-I
04:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

06:20 - 07:00
06:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

08:20 - 09:00
Breakfast in ChicagoAwards at SPLASH-I +12h
08:20
40m
Other
Awards Session
Awards
David Grove IBM Research, Jens Palsberg University of California, Los Angeles
09:00 - 10:20
WKeynotes at SPLASH-I +12h
Chair(s): Hridesh Rajan Iowa State University, USA
09:00
80m
Keynote
Models and Programs: Better Togethersupported by Futurewei
Keynotes
Sriram Rajamani Microsoft Research
Link to publication
10:20 - 11:00
Breakfast in SeattleMeet The Speakers (MTS) at SPLASH-I +12h
10:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

12:20 - 13:00
Breakfast in WellingtonMeet The Speakers (MTS) at SPLASH-I +12h
12:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

14:20 - 15:00
Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

16:20 - 17:00
Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

18:20 - 19:00
Cocktails in RioMeet The Speakers (MTS) at SPLASH-I +12h
18:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

20:20 - 21:00
Cocktails in New YorkAwards at SPLASH-I
20:20
40m
Other
Awards Session
Awards
David Grove IBM Research, Jens Palsberg University of California, Los Angeles
21:00 - 22:20
WKeynotes at SPLASH-I
Chair(s): Hridesh Rajan Iowa State University, USA
21:00
80m
Keynote
Models and Programs: Better Togethersupported by Futurewei
Keynotes
Sriram Rajamani Microsoft Research
Link to publication
22:20 - 23:00
22:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

Thu 19 Nov

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

00:20 - 01:00
Breakfast in ParisMeet The Speakers (MTS) at SPLASH-I
00:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

02:20 - 03:00
Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

04:20 - 05:00
Dinner in BeijingMeet The Speakers (MTS) at SPLASH-I
04:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

06:20 - 07:00
06:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

07:00 - 08:20
RKeynotes at SPLASH-I +12h
Chair(s): David Grove IBM Research
07:00
80m
Keynote
Why Digital Agriculture is Fertile Ground for Software Systems Researchsupported by IBM Research
Keynotes
Vikram S. Adve University of Illinois at Urbana-Champaign
Link to publication
08:20 - 09:00
Breakfast in ChicagoMeet The Speakers (MTS) at SPLASH-I +12h
08:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

10:20 - 11:00
Breakfast in SeattleMeet The Speakers (MTS) at SPLASH-I +12h
10:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

11:00 - 12:20
11:00
80m
Poster
Student Research Competition
Student Research Competition

12:20 - 13:00
Breakfast in WellingtonMeet The Speakers (MTS) at SPLASH-I +12h
12:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

14:20 - 15:00
Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

16:20 - 17:00
Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

18:20 - 19:00
Cocktails in RioMeet The Speakers (MTS) at SPLASH-I +12h
18:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

19:00 - 20:20
RKeynotes at SPLASH-I
Chair(s): David Grove IBM Research
19:00
80m
Keynote
Why Digital Agriculture is Fertile Ground for Software Systems Researchsupported by IBM Research
Keynotes
Vikram S. Adve University of Illinois at Urbana-Champaign
Link to publication
20:20 - 21:00
Cocktails in New YorkMeet The Speakers (MTS) at SPLASH-I
20:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

22:20 - 23:00
22:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)