Verified Programming with Project Everest (PLDI 2020 - Sponsors)

Write a Blog >>

Mon 15 - Fri 19 June 2020

Who

Aymeric Fromherz, Jonathan Protzenko, Tahina Ramananandro, Nikhil Swamy

Track

PLDI 2020 Sponsors

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Wed 17 Jun 2020 06:00 - 07:00 at Sponsors - Microsoft meeting

Abstract

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.

Aymeric Fromherz

Carnegie Mellon University

Jonathan Protzenko

Microsoft Research, Redmond

United States

Tahina Ramananandro

Microsoft Research, n.n.

United States

Nikhil Swamy

Microsoft Research

United States

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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