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
Student Research Competition
Link to publication
Student Research Competition
Link to publication
Student Research Competition
Link to publication File Attached
Student Research Competition
Link to publication
Student Research Competition
Link to publication
Student Research Competition
Student Research Competition
Link to publication
Student Research Competition
Link to publication
Student Research Competition
Link to publication
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
Times are displayed in time zone: Central Time (US & Canada) change

00:20 - 01:00: Breakfast in ParisMeet The Speakers (MTS) at SPLASH-I
00:20 - 01:00
Social Event
Meet The Speakers (MTS)
02:20 - 03:00: Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20 - 03:00
Social Event
Meet The Speakers (MTS)
04:20 - 05:00: Dinner in BeijingMeet The Speakers (MTS) at SPLASH-I
04:20 - 05:00
Social Event
Meet The Speakers (MTS)
06:20 - 07:00: Dinner in DelhiMeet The Speakers (MTS) at SPLASH-I
06:20 - 07:00
Social Event
Meet The Speakers (MTS)
07:00 - 08:20: TKeynotes at SPLASH-I +12h
Chair(s): Steve BlackburnAustralian National University
07:00 - 08:20
Keynote
Keynotes
Mary Lou SoffaUniversity of Virginia
Link to publication
08:20 - 09:00: Breakfast in ChicagoMeet The Speakers (MTS) at SPLASH-I +12h
08:20 - 09:00
Social Event
Meet The Speakers (MTS)
10:20 - 11:00: Breakfast in SeattleMeet The Speakers (MTS) at SPLASH-I +12h
10:20 - 11:00
Social Event
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 - 13:00
Poster
Student Research Competition
12:20 - 13:00: Student Research Competition PostersStudent Research Competition at SPLASH-VII +12h
12:20 - 13:00
Poster
Student Research Competition
Mona ZhangColumbia University, Jacob GorenburgHaverford College
Link to publication File Attached
12:20 - 13:00
Poster
Student Research Competition
Ian C. McCormackUniversity of Wisconsin-Eau Claire
Link to publication
12:20 - 13:00
Poster
Student Research Competition
Raphael MosanerJohannes Kepler University Linz
12:20 - 13:00
Poster
Student Research Competition
Sang Heon ChoiRose-Hulman Institute of Technology
Link to publication
12:20 - 13:00
Poster
Student Research Competition
Gahwon LeeThe University of Texas at Austin
Link to publication
12:20 - 13:00
Poster
Student Research Competition
Reed OeiUniversity of Illinois at Urbana-Champaign
Link to publication
12:20 - 13:00
Poster
Student Research Competition
Vitaly RomanovInnopolis University
Link to publication
12:20 - 13:00
Poster
Student Research Competition
Sophia KolakColumbia University/Carnegie Mellon University
Link to publication
12:20 - 13:00
Poster
Student Research Competition
Aidan Z.H. YangQueen's University / Carnegie Mellon University
Link to publication
14:20 - 15:00: Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20 - 15:00
Social Event
Meet The Speakers (MTS)
16:20 - 17:00: Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20 - 17:00
Social Event
Meet The Speakers (MTS)
18:20 - 19:00: Cocktails in RioMeet The Speakers (MTS) at SPLASH-I +12h
18:20 - 19:00
Social Event
Meet The Speakers (MTS)
19:00 - 20:20: TKeynotes at SPLASH-I
Chair(s): Steve BlackburnAustralian National University
19:00 - 20:20
Keynote
Keynotes
Mary Lou SoffaUniversity of Virginia
Link to publication
20:20 - 21:00: Cocktails in New YorkMeet The Speakers (MTS) at SPLASH-I
20:20 - 21:00
Social Event
Meet The Speakers (MTS)
22:20 - 23:00: Lunch in TokyoMeet The Speakers (MTS) at SPLASH-I
22:20 - 23:00
Social Event
Meet The Speakers (MTS)

Wed 18 Nov
Times are displayed in 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 - 01:00
Poster
Student Research Competition
00:20 - 01:00: Student Research Competition Posters MirrorStudent Research Competition at SPLASH-VII
00:20 - 01:00
Poster
Student Research Competition
Mona ZhangColumbia University, Jacob GorenburgHaverford College
Link to publication File Attached
00:20 - 01:00
Poster
Student Research Competition
Sang Heon ChoiRose-Hulman Institute of Technology
Link to publication
00:20 - 01:00
Poster
Student Research Competition
Reed OeiUniversity of Illinois at Urbana-Champaign
Link to publication
00:20 - 01:00
Poster
Student Research Competition
Gahwon LeeThe University of Texas at Austin
Link to publication
00:20 - 01:00
Poster
Student Research Competition
Ian C. McCormackUniversity of Wisconsin-Eau Claire
Link to publication
00:20 - 01:00
Poster
Student Research Competition
Raphael MosanerJohannes Kepler University Linz
00:20 - 01:00
Poster
Student Research Competition
Sophia KolakColumbia University/Carnegie Mellon University
Link to publication
00:20 - 01:00
Poster
Student Research Competition
Aidan Z.H. YangQueen's University / Carnegie Mellon University
Link to publication
00:20 - 01:00
Poster
Student Research Competition
Vitaly RomanovInnopolis University
Link to publication
02:20 - 03:00: Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20 - 03:00
Social Event
Meet The Speakers (MTS)
04:20 - 05:00: Dinner in BejingMeet The Speakers (MTS) at SPLASH-I
04:20 - 05:00
Social Event
Meet The Speakers (MTS)
06:20 - 07:00: Dinner in DelhiMeet The Speakers (MTS) at SPLASH-I
06:20 - 07:00
Social Event
Meet The Speakers (MTS)
08:20 - 09:00: Breakfast in ChicagoAwards at SPLASH-I +12h
08:20 - 09:00
Other
Awards
David GroveIBM Research, Jens PalsbergUniversity of California, Los Angeles
09:00 - 10:20: WKeynotes at SPLASH-I +12h
Chair(s): Hridesh RajanIowa State University, USA
09:00 - 10:20
Keynote
Keynotes
Sriram RajamaniMicrosoft Research
Link to publication
10:20 - 11:00: Breakfast in SeattleMeet The Speakers (MTS) at SPLASH-I +12h
10:20 - 11:00
Social Event
Meet The Speakers (MTS)
12:20 - 13:00: Breakfast in WellingtonMeet The Speakers (MTS) at SPLASH-I +12h
12:20 - 13:00
Social Event
Meet The Speakers (MTS)
14:20 - 15:00: Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20 - 15:00
Social Event
Meet The Speakers (MTS)
16:20 - 17:00: Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20 - 17:00
Social Event
Meet The Speakers (MTS)
18:20 - 19:00: Cocktails in RioMeet The Speakers (MTS) at SPLASH-I +12h
18:20 - 19:00
Social Event
Meet The Speakers (MTS)
20:20 - 21:00: Cocktails in New YorkAwards at SPLASH-I
20:20 - 21:00
Other
Awards
David GroveIBM Research, Jens PalsbergUniversity of California, Los Angeles
21:00 - 22:20: WKeynotes at SPLASH-I
Chair(s): Hridesh RajanIowa State University, USA
21:00 - 22:20
Keynote
Keynotes
Sriram RajamaniMicrosoft Research
Link to publication
22:20 - 23:00: Lunch in TokyoMeet The Speakers (MTS) at SPLASH-I
22:20 - 23:00
Social Event
Meet The Speakers (MTS)

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

00:20 - 01:00: Breakfast in ParisMeet The Speakers (MTS) at SPLASH-I
00:20 - 01:00
Social Event
Meet The Speakers (MTS)
02:20 - 03:00: Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20 - 03:00
Social Event
Meet The Speakers (MTS)
04:20 - 05:00: Dinner in BeijingMeet The Speakers (MTS) at SPLASH-I
04:20 - 05:00
Social Event
Meet The Speakers (MTS)
06:20 - 07:00: Dinner in DelhiMeet The Speakers (MTS) at SPLASH-I
06:20 - 07:00
Social Event
Meet The Speakers (MTS)
07:00 - 08:20: RKeynotes at SPLASH-I +12h
Chair(s): David GroveIBM Research
07:00 - 08:20
Keynote
Keynotes
Vikram S. AdveUniversity of Illinois at Urbana-Champaign
Link to publication
08:20 - 09:00: Breakfast in ChicagoMeet The Speakers (MTS) at SPLASH-I +12h
08:20 - 09:00
Social Event
Meet The Speakers (MTS)
10:20 - 11:00: Breakfast in SeattleMeet The Speakers (MTS) at SPLASH-I +12h
10:20 - 11:00
Social Event
Meet The Speakers (MTS)
11:00 - 12:20: Breakfast in SeattleStudent Research Competition at SPLASH-IV
11:00 - 12:20
Poster
Student Research Competition
12:20 - 13:00: Breakfast in WellingtonMeet The Speakers (MTS) at SPLASH-I +12h
12:20 - 13:00
Social Event
Meet The Speakers (MTS)
14:20 - 15:00: Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20 - 15:00
Social Event
Meet The Speakers (MTS)
16:20 - 17:00: Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20 - 17:00
Social Event
Meet The Speakers (MTS)
18:20 - 19:00: Cocktails in RioMeet The Speakers (MTS) at SPLASH-I +12h
18:20 - 19:00
Social Event
Meet The Speakers (MTS)
19:00 - 20:20: RKeynotes at SPLASH-I
Chair(s): David GroveIBM Research
19:00 - 20:20
Keynote
Keynotes
Vikram S. AdveUniversity of Illinois at Urbana-Champaign
Link to publication
20:20 - 21:00: Cocktails in New YorkMeet The Speakers (MTS) at SPLASH-I
20:20 - 21:00
Social Event
Meet The Speakers (MTS)
22:20 - 23:00: Lunch in TokyoMeet The Speakers (MTS) at SPLASH-I
22:20 - 23:00
Social Event
Meet The Speakers (MTS)