Numerical Fuzz: A Type System for Rounding Error Analysis (PLDI 2024 - PLDI Research Papers) - PLDI 2024

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Who

Ariel E. Kellison, Justin Hsu

Track

PLDI 2024 PLDI Research Papers

Time Zone

The program is currently displayed in (GMT+02:00) Windhoek.

Use conference time zone: (GMT+02:00) WindhoekSelect 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 26 Jun 2024 14:40 - 15:00 at Sweden - Types and Effects Chair(s): Yizhou Zhang

DOI

https://doi.org/10.1145/3656456

Ariel E. Kellison

Cornell University

United States

Justin Hsu

Cornell University

United States

Time Zone

The program is currently displayed in (GMT+02:00) Windhoek.

Use conference time zone: (GMT+02:00) WindhoekSelect 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 26 Jun
Displayed time zone: Windhoek change

	13:40 - 15:20	Types and EffectsPLDI Research Papers at Sweden Chair(s): Yizhou Zhang University of Waterloo

	13:40 20m Talk		Space-Efficient Polymorphic Gradual Typing, Mostly Parametric PLDI Research Papers Atsushi Igarashi Kyoto University, Shota Ozaki Kyoto University, Taro Sekiyama National Institute of Informatics, Yudai Tanabe Tokyo Institute of Technology DOI
	14:00 20m Talk		Associated Effects PLDI Research Papers Matthew Lutze Aarhus University, Magnus Madsen Aarhus University DOI
	14:20 20m Talk		Decidable Subtyping of Existential Types for Julia PLDI Research Papers Julia Belyakova Purdue University, Benjamin Chung JuliaHub, Ross Tate Independent Consultant, Jan Vitek Northeastern University DOI
	14:40 20m Talk		Numerical Fuzz: A Type System for Rounding Error Analysis PLDI Research Papers Ariel E. Kellison Cornell University, Justin Hsu Cornell University DOI
	15:00 20m Talk		Stream Types PLDI Research Papers Joseph W. Cutler University of Pennsylvania, Chris Watson University of Pennsylvania, Emeka Nkurumeh California Institute of Technology, Phillip Hilliard University of Pennsylvania, Harrison Goldstein University of Pennsylvania, Caleb Stanford University of California, Davis, Benjamin C. Pierce University of Pennsylvania DOI