Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
VenueOnline!
Room nameSponsors
Floor0
Additional informationThere is no additional information of this room available.
Program

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

Mon 15 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

pldi-2020-sponsors
13:00 - 14:00: Sponsors - Microsoft meeting 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.

pldi-2020-sponsors13:00 - 14:00
Talk

Tue 16 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

pldi-2020-sponsors
18:00 - 19:00: Sponsors - Microsoft meeting 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.

pldi-2020-sponsors18:00 - 19:00
Talk
Sebastian BurckhardtMicrosoft Research, Konstantinos KallasUniversity of Pennsylvania

Wed 17 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

pldi-2020-sponsors
06:00 - 07:00: Sponsors - Microsoft meeting 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.

pldi-2020-sponsors06:00 - 07:00
Talk
Aymeric FromherzCarnegie Mellon University, Jonathan ProtzenkoMicrosoft Research, Redmond, Tahina RamananandroMicrosoft Research, n.n., Nikhil SwamyMicrosoft Research

Thu 18 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

pldi-2020-sponsors
06:00 - 07:00: Sponsors - Microsoft meeting 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.

pldi-2020-sponsors06:00 - 07:00
Talk
Leonardo De MouraMicrosoft Research, n.n., Sebastian UllrichKIT, Germany
pldi-2020-sponsors
07:40 - 08:00: Sponsors - GitHub meeting 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.

pldi-2020-sponsors
11:40 - 12:00: Sponsors - GitHub meeting 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.

pldi-2020-sponsors
12:00 - 13:00: Sponsors - Microsoft meeting 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.

pldi-2020-sponsors12:00 - 13:00
Talk
Tom Ball, Peli de HalleuxMicrosoft Research, Michal MoskalMicrosoft Research

Fri 19 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

pldi-2020-sponsors
17:00 - 18:00: Sponsors - Microsoft meeting 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.

pldi-2020-sponsors17:00 - 18:00
Talk
Margus VeanesMicrosoft Research, Caleb StanfordUniversity of Pennsylvania

Mon 15 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

Tue 16 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

Wed 17 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

Thu 18 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

Fri 19 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

Mon 15 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

Tue 16 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

Wed 17 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

Thu 18 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

Room6:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:00153045
Sponsors
06:00 - 07:00

Fri 19 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change