SPLASH 2021
Sun 17 - Fri 22 October 2021
Chicago, Illinois, United States
Toggle navigation
Attending
Venue: Swissotel Chicago
Venue: Online
Students
Registration
Sponsoring
Code of Conduct
Guide for Attendees
Guide for Presenters
Guide for Session Chairs and Workshop Organizers
Certificate of Attendance
Program
Complete Program
Your Program
Sun 17 Oct
Mon 18 Oct
Tue 19 Oct
Wed 20 Oct
Thu 21 Oct
Fri 22 Oct
Tracks
SPLASH 2021
OOPSLA
SIGPLAN Papers
SIGPLAN Business
- Future of Conferences
OOPSLA Artifacts
Onward! Essays
Onward! Papers
REBASE
Doctoral Symposium
PLMW
Posters
SPLASH-E
Student Research Competition
Student Volunteers
Workshops
Keynotes
Ask Me Anything (AMA)
PLTea
Faculty Mentorship Roundtable
CARES
Awards
Opening
Closing
Co-hosted Conferences
APLAS
APLAS
APLAS
Keynote Talks
APLAS
Research Papers
DLS
GPCE
SAS
SLE
Workshops
AGERE
BCNC
CONFLANG
DSM
HATRA
LIVE
REBLS
VMIL
Co-hosted Symposia
Scala
Organization
SPLASH 2021 Committees
Organizing Committee
Steering Committee
Track Committees
OOPSLA
Review Committee
External Review Committee
SIGPLAN Papers
SIGPLAN Business
OOPSLA Artifacts
Onward! Essays
Program Committee
Onward! Steering Committee
Onward! Papers
Program Committee
Onward! Steering Committee
Doctoral Symposium
PLMW
Organizing Committee
Speakers & Panelists
Mentors
Posters
SPLASH-E
Program Commitee
Steering Committee
Student Research Competition
Organizers
Reviewers
Judges
Student Volunteers
Workshops
PLTea
Faculty Mentorship Roundtable
CARES
Contributors
People Index
Co-hosted Conferences
APLAS
Organising Committee
Program Committee
DLS
Program Committee
External Program Committee
Steering Committee
GPCE
Organizing Committee
Program Committee
Steering Committee
SAS
Invited Speakers
Organizing Committee
Program Committee
Artifact Evaluation Committee
SLE
Organizing Committee
Program Committee
Artifact Evaluation Committee
Steering Committee
Workshops
AGERE
Organizing Committee
Program Committee
BCNC
Organizing Committee
Program Committee
CONFLANG
Organizing Committee
Program Committee
DSM
Organizing Committee
Program Committee
HATRA
Organizing Committee
Program Committee
LIVE
Organizing Committee
Program Committee
REBLS
Organizing Committee
Program Committee
Steering Committee
VMIL
Organizing Committee
Program Committee
Co-hosted Symposia
Scala
Keynote
Organizing Committee
Program Committee
Search
Series
Series
SPLASH 2025
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
Sign in
Sign up
SPLASH 2021
(
series
) /
Student Research Competition
/
Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?
Track
SPLASH 2021 Student Research Competition
Program Display Configuration
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
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify a time band
-
Save
When
Wed 20 Oct 2021 17:00 - 19:00 at
Zurich A
-
Posters
DOI
https://doi.org/10.1145/3484271.3484972
Program Display Configuration
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
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify a time band
-
Save
Session Program
Wed 20 Oct
Displayed time zone:
Central Time (US & Canada)
change
17:00 - 19:00
Posters
Student 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
Wonhyuk Choi
Columbia University
x
Sun 6 Oct 16:35