Programming-by-Example by Programming-by-Example: Synthesis of Looping Programs (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:52 - 15:10 at Zurich E - Talks

DOI

https://doi.org/10.1145/3484271.3484977

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

Shmuel Berman

Columbia University