Lightweight Hypervisor Verification: Putting the Hardware Burger on a Diet (RPLS 2025 - : Real-World Programming Language Specification)

Mon 16 - Fri 20 June 2025 Seoul, South Korea

Track

RPLS 2025 RPLS: Real-World Programming Language Specification

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect 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

Tue 17 Jun 2025 14:05 - 14:30 at Cosmos - Session 3

Bio

Nate Foster is a Professor of Computer Science at Cornell University and a Visiting Researcher at Jane Street. During the 2023-24 academic year he is also a Visiting Professor at EPFL in the Data Center Systems Laboratory. He is the recipient of the NSF CAREER Award, Sloan Research Fellowship, ACM SIGCOMM Rising Star Award, and ACM SIGPLAN Robin Milner Award.