Decidable Subtyping of Existential Types for Julia (PLDI 2024 - PLDI Research Papers)

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Who

Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek

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 14:20 - 14:40 at Sweden - Types and Effects Chair(s): Yizhou Zhang

DOI

https://doi.org/10.1145/3656421

Julia Belyakova

Purdue University

United States

Benjamin Chung

JuliaHub

Ross Tate

Independent Consultant

United States

Jan Vitek

Northeastern 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

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