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

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.

Verified Programming with Project Everest
Aymeric Fromherz Carnegie Mellon University, Jonathan Protzenko Microsoft Research, Redmond, Tahina Ramananandro Microsoft Research, n.n., Nikhil Swamy Microsoft Research