Towards Decidable and Expressive DOT (SPLASH 2021 - Student Research Competition) - SPLASH 2021

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

Track

SPLASH 2021 Student Research Competition

Time Zone

The program is currently displayed in (GMT-05:00) Central Time (US & Canada).

Use conference time zone: (GMT-05:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Wed 20 Oct 2021 17:00 - 19:00 at Zurich A - Posters
Thu 21 Oct 2021 13:50 - 15:10 at Zurich E - Talks

Abstract

While decidability of type systems may be a reasonable sacrifice to make in exchange for greatly increased expressivity in some cases, having a type checker that is guaranteed to terminate while maintaining a high degree of expressivity can be beneficial. Over the last few years there have been several papers and theses written describing decidable variants of DOT, however, these variants all present similar challenges in limitations on expressivity. We aim to increase the expressivity of these variants without sacrificing decidability.

DOI

https://doi.org/10.1145/3484271.3484979

Time Zone

The program is currently displayed in (GMT-05:00) Central Time (US & Canada).

Use conference time zone: (GMT-05:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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

	17:00 - 19:00	PostersStudent Research Competition at Zurich A

	17:00 2h Poster		Implementation of an End-to-End Gradual Verification System Student Research Competition Hemant Gouni University of Minnesota at Twin Cities, Conrad Zimmerman Brown University DOI
	17:00 2h Poster		Towards Decidable and Expressive DOT Student Research Competition Sophia Roshal Cornell University; Carnegie Mellon University DOI
	17:00 2h Poster		Programming-by-Example by Programming-by-Example: Synthesis of Looping Programs Student Research Competition Shmuel Berman Columbia University DOI
	17:00 2h Poster		Avoiding Monomorphization Bottlenecks with Phase-Based Splitting Student Research Competition Sophie Kaleba University of Kent DOI
	17:00 2h Poster		A Study of Call Graph Effectiveness for Framework-Based Web Applications Student Research Competition Madhurima Chakraborty University of California at Riverside DOI
	17:00 2h Poster		Run-Time Data Analysis to Drive Compiler Optimizations Student Research Competition Sebastian Kloibhofer JKU Linz DOI
	17:00 2h Poster		Edgeworth: Authoring Diagrammatic Math Problems using Program Mutation Student Research Competition Hwei-Shin Harriman Olin College of Engineering; Carnegie Mellon University DOI
	17:00 2h Poster		Source Code Authorship Attribution using File Embeddings Student Research Competition Alina Bogdanova Innopolis University DOI
	17:00 2h Poster		Run-Time Data Analysis in Dynamic Runtimes Student Research Competition Lukas Makor JKU Linz DOI
	17:00 2h Poster		Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends? Student Research Competition Wonhyuk Choi Columbia University DOI

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

	13:50 - 15:10	TalksStudent Research Competition at Zurich E Talks to be selected in the poster session on Wednesday.

	13:50 80m Poster		Towards Decidable and Expressive DOT Student Research Competition Sophia Roshal Cornell University; Carnegie Mellon University DOI
	13:51 79m Poster		Source Code Authorship Attribution using File Embeddings Student Research Competition Alina Bogdanova Innopolis University DOI
	13:52 78m Poster		Programming-by-Example by Programming-by-Example: Synthesis of Looping Programs Student Research Competition Shmuel Berman Columbia University DOI
	13:53 77m Poster		Edgeworth: Authoring Diagrammatic Math Problems using Program Mutation Student Research Competition Hwei-Shin Harriman Olin College of Engineering; Carnegie Mellon University DOI
	13:54 76m Poster		A Study of Call Graph Effectiveness for Framework-Based Web Applications Student Research Competition Madhurima Chakraborty University of California at Riverside DOI
	13:55 75m Poster		Run-Time Data Analysis to Drive Compiler Optimizations Student Research Competition Sebastian Kloibhofer JKU Linz DOI
	13:56 74m Poster		Run-Time Data Analysis in Dynamic Runtimes Student Research Competition Lukas Makor JKU Linz DOI

Sophia Roshal

Cornell University; Carnegie Mellon University