This track contains information about special virtual events being run by PLDI’20 sponsors.
Mon 15 JunDisplayed 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 60mTalk | BluePencil: Automating repetitive code edits without examples Sponsors | ||
Tue 16 JunDisplayed 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 60mTalk | From stateless functions to stateful applications: Azure Durable Functions Sponsors | ||
Wed 17 JunDisplayed 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 60mTalk | 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 JunDisplayed 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 60mTalk | Lean 4 Sponsors | ||
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 60mTalk | Microsoft MakeCode Sponsors | ||
Fri 19 JunDisplayed 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 60mTalk | Symbolic Extended Regular Expressions Matching and Analysis Sponsors | ||