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: 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 - 07:00
Verified Programming with Project Everest
Aymeric FromherzCarnegie Mellon University, Jonathan ProtzenkoMicrosoft Research, Redmond, Tahina RamananandroMicrosoft Research, n.n., Nikhil SwamyMicrosoft Research