Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
VenueOnline!
Room nameSponsors
Floor0
Room InformationNo extra information available
Program

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

Conference Day
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

Conference Day
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 BurckhardtMicrosoft Research, Konstantinos KallasUniversity of Pennsylvania

Conference Day
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 FromherzCarnegie Mellon University, Jonathan ProtzenkoMicrosoft Research, Redmond, Tahina RamananandroMicrosoft Research, n.n., Nikhil SwamyMicrosoft Research

Conference Day
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 MouraMicrosoft Research, n.n., Sebastian UllrichKIT, 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
Tom Ball, Peli de HalleuxMicrosoft Research, Michal MoskalMicrosoft Research

Conference Day
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 VeanesMicrosoft Research, Caleb StanfordUniversity of Pennsylvania

Conference Day
Mon 15 Jun

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

Conference Day
Tue 16 Jun

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

Conference Day
Wed 17 Jun

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

Conference Day
Thu 18 Jun

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

Conference Day
Fri 19 Jun

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

Conference Day
Mon 15 Jun

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

Conference Day
Tue 16 Jun

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

Conference Day
Wed 17 Jun

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

Conference Day
Thu 18 Jun

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

Room6:001530457:001530458:001530459:0015304510:0015304511:0015304512:00153045
Sponsors
PLDI Sponsors
Lean 4
06:00 - 07:00

Conference Day
Fri 19 Jun

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