Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Wed 17 Jun 2020 06:00 - 07:00 at Sponsors - Microsoft meeting

Developing programs and proofs in various domain-specific languages embedded in the F* proof assistant: low-level assembly programs, parsers, cryptographic libraries, and concurrent programs with concurrent separation logic.

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