Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020

This track contains information about special virtual events being run by PLDI’20 sponsors.

Dates
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