Stream Types (PLDI 2024 - PLDI Research Papers)

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Who

Joseph W. Cutler, Chris Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce

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

Save

When

Wed 26 Jun 2024 15:00 - 15:20 at Sweden - Types and Effects Chair(s): Yizhou Zhang

DOI

https://doi.org/10.1145/3656434

Joseph W. Cutler

University of Pennsylvania

Chris Watson

University of Pennsylvania

United States

Emeka Nkurumeh

California Institute of Technology

Phillip Hilliard

University of Pennsylvania

Harrison Goldstein

University of Pennsylvania

United States

Caleb Stanford

University of California, Davis

United States

Benjamin C. Pierce

University of Pennsylvania

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

Display full programSpecify a time band

Save

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