Write a Blog >>
LCTES 2020
Mon 15 - Fri 19 June 2020
co-located with PLDI 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

Mon 15 Jun

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

13:00 - 14:00
Microsoft meetingPLDI Sponsors 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
PLDI Sponsors
Arjun Radhakrishna Microsoft, Gustavo Soares Microsoft

Tue 16 Jun

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

18:00 - 19:00
Microsoft meetingPLDI Sponsors 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
PLDI 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 meetingPLDI Sponsors 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
PLDI 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 meetingPLDI Sponsors 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
PLDI Sponsors
Leonardo de Moura Microsoft Research, n.n., Sebastian Ullrich KIT, Germany
07:40 - 08:00
GitHub meetingPLDI Sponsors 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 meetingPLDI Sponsors 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 meetingPLDI Sponsors 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
PLDI Sponsors
Thomas Ball , Peli de Halleux Microsoft Research, Michał Moskal Microsoft Research

Fri 19 Jun

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

17:00 - 18:00
Microsoft meetingPLDI Sponsors 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
PLDI Sponsors
Margus Veanes Microsoft Research, Caleb Stanford University of Pennsylvania

Mon 15 Jun

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

Tue 16 Jun

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

Wed 17 Jun

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

Thu 18 Jun

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

Fri 19 Jun

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

Mon 15 Jun

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

Tue 16 Jun

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

Wed 17 Jun

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

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

Fri 19 Jun

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