Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation (POPL 2025 - POPL Research Papers) - POPL 2025

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

Who

Roberto Giacobazzi, Isabella Mastroeni, Elia Perantoni

Track

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:20 - 17:40 at Marco Polo - TOPLAS Chair(s): Jingbo Wang

Roberto Giacobazzi

University of Arizona

United States

Isabella Mastroeni

University of Verona

Italy

Elia Perantoni

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 Chair(s): Jingbo Wang Purdue University

	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 Link to publication DOI