Universal Composability is Robust Compilation (POPL 2025 - POPL Research Papers) - POPL 2025

Sun 19 - Sat 25 January 2025 Denver, Colorado, United States

Who

Marco Patrignani, Robert Künnemann, Riad S. Wahby, Ethan Cecchetti

Track

This program is tentative and subject to change.

Time Zone

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

Use conference time zone: (GMT-07:00) Mountain 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

When

Wed 22 Jan 2025 17:00 - 17:20 at Marco Polo - TOPLAS

Marco Patrignani

University of Trento

Italy

Robert Künnemann

CISPA Helmholtz Center for Information Security

Riad S. Wahby

Stanford University, USA

Ethan Cecchetti

University of Wisconsin-Madison

United States

This program is tentative and subject to change.

Time Zone

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

Use conference time zone: (GMT-07:00) Mountain 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

Session Program

Wed 22 Jan
Displayed time zone: Mountain Time (US & Canada) change

	17:00 - 18:00	TOPLASPOPL at Marco Polo

	17:00 20m Talk		Universal Composability is Robust Compilation POPL Marco Patrignani University of Trento, Robert Künnemann CISPA Helmholtz Center for Information Security, Riad S. Wahby Stanford University, USA, Ethan Cecchetti University of Wisconsin-Madison
	17:20 20m Talk		Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation POPL Roberto Giacobazzi University of Arizona, Isabella Mastroeni University of Verona, Elia Perantoni
	17:40 20m Talk		Gradual C0: Symbolic Execution for Gradual Verification POPL Jenna DiVincenzo (Wise) Purdue University, Ian McCormack Carnegie Mellon University, Hemant Gouni Carnegie Mellon University, Pittsburgh, Pennsylvania, United States, Jacob Gorenburg , Jan-Paul Ramos-Davila Cornell University, Mona Zhang Columbia University, Conrad Zimmerman Northeastern University, Joshua Sunshine Carnegie Mellon University, Éric Tanter University of Chile, Jonathan Aldrich Carnegie Mellon University