Sponsors

VenueOnline!

Room nameSponsors

Floor0

Room InformationNo extra information available

Program

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

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 15 Jun
Displayed time zone: Pacific Time (US & Canada) change

13:00 - 14:00	Microsoft meetingSponsors at Sponsors Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting The meeting id and password will be distributed to attendees via the conference Slack workspace.

13:00 60m Talk		BluePencil: Automating repetitive code edits without examples Sponsors Arjun Radhakrishna Microsoft, Gustavo Soares Microsoft

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

18:00 - 19:00	Microsoft meetingSponsors at Sponsors Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting The meeting id and password will be distributed to attendees via the conference Slack workspace.

18:00 60m Talk		From stateless functions to stateful applications: Azure Durable Functions Sponsors Sebastian Burckhardt Microsoft Research, Konstantinos Kallas University of Pennsylvania

Wed 17 Jun
Displayed time zone: Pacific Time (US & Canada) change

06:00 - 07:00	Microsoft meetingSponsors at Sponsors Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting The meeting id and password will be distributed to attendees via the conference Slack workspace.

06:00 60m Talk		Verified Programming with Project Everest Sponsors Aymeric Fromherz Carnegie Mellon University, Jonathan Protzenko Microsoft Research, Redmond, Tahina Ramananandro Microsoft Research, n.n., Nikhil Swamy Microsoft Research

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

06:00 - 07:00	Microsoft meetingSponsors at Sponsors Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting The meeting id and password will be distributed to attendees via the conference Slack workspace.

06:00 60m Talk		Lean 4 Sponsors Leonardo de Moura Microsoft Research, n.n., Sebastian Ullrich KIT, Germany

	07:40 - 08:00	GitHub meetingSponsors at Sponsors Join GitHub (Gold sponsor) for an overview of a range of their ongoing projects in the areas of Code Intelligence, Machine Learning, and Security. Join the GitHub Zoom meeting.

	11:40 - 12:00	GitHub meetingSponsors at Sponsors Join GitHub (Gold sponsor) for an overview of a range of their ongoing projects in the areas of Code Intelligence, Machine Learning, and Security. Join the GitHub Zoom meeting.

12:00 - 13:00	Microsoft meetingSponsors at Sponsors Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting The meeting id and password will be distributed to attendees via the conference Slack workspace.

12:00 60m Talk		Microsoft MakeCode Sponsors Thomas Ball , Peli de Halleux Microsoft Research, Michał Moskal Microsoft Research

Fri 19 Jun
Displayed time zone: Pacific Time (US & Canada) change

17:00 - 18:00	Microsoft meetingSponsors at Sponsors Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting The meeting id and password will be distributed to attendees via the conference Slack workspace.

17:00 60m Talk		Symbolic Extended Regular Expressions Matching and Analysis Sponsors Margus Veanes Microsoft Research, Caleb Stanford University of Pennsylvania

Mon 15 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	13:00						30
Sponsors	Sponsors Microsoft meeting

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


Room	18:00						30
Sponsors	Sponsors Microsoft meeting

Wed 17 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	6:00						30
Sponsors	Sponsors Microsoft meeting

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


Room	6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30
Sponsors	Sponsors Microsoft meeting																				Sponsors GitHub meeting																																																Sponsors GitHub meeting				Sponsors Microsoft meeting

Fri 19 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	17:00						30
Sponsors	Sponsors Microsoft meeting

Mon 15 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	13:00			15			30			45
Sponsors	PLDI Sponsors BluePencil: Automating repetitive code edits without examples 13:00 - 14:00

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


Room	18:00			15			30			45
Sponsors	PLDI Sponsors From stateless functions to stateful applications: Azure Durable Functions 18:00 - 19:00

Wed 17 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	6:00			15			30			45
Sponsors	PLDI Sponsors Verified Programming with Project Everest 06:00 - 07:00

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


Room	6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45
Sponsors	PLDI Sponsors Lean 4 06:00 - 07:00																																																																								PLDI Sponsors Microsoft MakeCode 12:00 - 13:00

Fri 19 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	17:00			15			30			45
Sponsors	PLDI Sponsors Symbolic Extended Regular Expressions Matching and Analysis 17:00 - 18:00

Room information: Sponsors

Mon 15 Jun
Displayed time zone: Pacific Time (US & Canada) change

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

Wed 17 Jun
Displayed time zone: Pacific Time (US & Canada) change

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

Fri 19 Jun
Displayed time zone: Pacific Time (US & Canada) change

Mon 15 Jun
Displayed time zone: Pacific Time (US & Canada) change

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

Sponsors

Wed 17 Jun
Displayed time zone: Pacific Time (US & Canada) change

Sponsors

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

Sponsors

Sponsors

Sponsors

Sponsors

Fri 19 Jun
Displayed time zone: Pacific Time (US & Canada) change

Sponsors

Mon 15 Jun
Displayed time zone: Pacific Time (US & Canada) change

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

Wed 17 Jun
Displayed time zone: Pacific Time (US & Canada) change

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

Fri 19 Jun
Displayed time zone: Pacific Time (US & Canada) change

Tracks

Co-hosted Conferences

Co-hosted Events

Workshops

Room information: Sponsors

Program Display Configuration

Mon 15 JunDisplayed time zone: Pacific Time (US & Canada) change

Tue 16 JunDisplayed time zone: Pacific Time (US & Canada) change

Wed 17 JunDisplayed time zone: Pacific Time (US & Canada) change

Thu 18 JunDisplayed time zone: Pacific Time (US & Canada) change

Fri 19 JunDisplayed time zone: Pacific Time (US & Canada) change

Mon 15 JunDisplayed time zone: Pacific Time (US & Canada) change

Sponsors

Tue 16 JunDisplayed time zone: Pacific Time (US & Canada) change

Sponsors

Wed 17 JunDisplayed time zone: Pacific Time (US & Canada) change

Sponsors

Thu 18 JunDisplayed time zone: Pacific Time (US & Canada) change

Sponsors

Sponsors

Sponsors

Sponsors

Fri 19 JunDisplayed time zone: Pacific Time (US & Canada) change

Sponsors

Mon 15 JunDisplayed time zone: Pacific Time (US & Canada) change

Tue 16 JunDisplayed time zone: Pacific Time (US & Canada) change

Wed 17 JunDisplayed time zone: Pacific Time (US & Canada) change

Thu 18 JunDisplayed time zone: Pacific Time (US & Canada) change

Fri 19 JunDisplayed time zone: Pacific Time (US & Canada) change

Mon 15 Jun
Displayed time zone: Pacific Time (US & Canada) change

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

Wed 17 Jun
Displayed time zone: Pacific Time (US & Canada) change

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

Fri 19 Jun
Displayed time zone: Pacific Time (US & Canada) change

Mon 15 Jun
Displayed time zone: Pacific Time (US & Canada) change

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

Wed 17 Jun
Displayed time zone: Pacific Time (US & Canada) change

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

Fri 19 Jun
Displayed time zone: Pacific Time (US & Canada) change

Mon 15 Jun
Displayed time zone: Pacific Time (US & Canada) change

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

Wed 17 Jun
Displayed time zone: Pacific Time (US & Canada) change

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

Fri 19 Jun
Displayed time zone: Pacific Time (US & Canada) change