Response by authors of "Synthesizing Input Grammars" (PLDI 2022 - PLDI Research Papers) - PLDI 2022

Mon 13 - Fri 17 June 2022 San Diego, California, United States

Track

Time Zone

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

Use conference time zone: (GMT-07:00) Pacific 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 15 Jun 2022 16:50 - 16:55 at Kon-Tiki - Synthesis II Chair(s): Roopsha Samanta
Thu 16 Jun 2022 04:50 - 04:55 at Kon-Tiki - Synthesis II

Time Zone

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

Use conference time zone: (GMT-07:00) Pacific 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 15 Jun
Displayed time zone: Pacific Time (US & Canada) change

	15:30 - 16:55	Synthesis IIPLDI at Kon-Tiki +12h Chair(s): Roopsha Samanta Purdue University

	15:30 20m Talk		Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends? PLDI Wonhyuk Choi Meta; Columbia University, Bernd Finkbeiner CISPA Helmholtz Center for Information Security, Ruzica Piskac Yale University, Mark Santolucito Barnard College, Columbia University, USA DOI Pre-print
	15:50 20m Talk		Recursion Synthesis with Unrealizability Witnesses PLDI Azadeh Farzan University of Toronto, Danya Lette University of Toronto, Victor Nicolet University of Toronto DOI
	16:10 20m Talk		TF-Coder: Program Synthesis for Tensor Manipulations (TOPLAS) PLDI Kensen Shi Google Brain, David Bieber Google Brain, Rishabh Singh Google Brain Link to publication DOI Authorizer link Pre-print
	16:30 20m Talk		“Synthesizing Input Grammars”: A Replication Study PLDI Bachir Bendrissou CISPA Helmholtz Center for Information Security, Rahul Gopinath University of Sydney, Andreas Zeller CISPA Helmholtz Center for Information Security DOI Pre-print
	16:50 5m Talk		Response by authors of "Synthesizing Input Grammars" PLDI Osbert Bastani University of Pennsylvania

Thu 16 Jun
Displayed time zone: Pacific Time (US & Canada) change

	03:30 - 04:55	Synthesis IIPLDI at Kon-Tiki

	03:30 20m Talk		Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends? PLDI Wonhyuk Choi Meta; Columbia University, Bernd Finkbeiner CISPA Helmholtz Center for Information Security, Ruzica Piskac Yale University, Mark Santolucito Barnard College, Columbia University, USA DOI Pre-print
	03:50 20m Talk		Recursion Synthesis with Unrealizability Witnesses PLDI Azadeh Farzan University of Toronto, Danya Lette University of Toronto, Victor Nicolet University of Toronto DOI
	04:10 20m Talk		TF-Coder: Program Synthesis for Tensor Manipulations (TOPLAS) PLDI Kensen Shi Google Brain, David Bieber Google Brain, Rishabh Singh Google Brain Link to publication DOI Authorizer link Pre-print
	04:30 20m Talk		“Synthesizing Input Grammars”: A Replication Study PLDI Bachir Bendrissou CISPA Helmholtz Center for Information Security, Rahul Gopinath University of Sydney, Andreas Zeller CISPA Helmholtz Center for Information Security DOI Pre-print
	04:50 5m Talk		Response by authors of "Synthesizing Input Grammars" PLDI Osbert Bastani University of Pennsylvania

Osbert Bastani

University of Pennsylvania