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

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
Tom Ball , Peli de Halleux Microsoft Research, Michal 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