Orleans - ADSL 2020

VenueJW Marriott New Orleans

Room nameOrleans

Floor3

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect 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

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sat 25 Jan
Displayed time zone: Saskatchewan, Central America change

09:00 - 10:00	Gradual CriteriaWGT at Orleans Chair(s): Amal Ahmed Northeastern University, USA

09:00 30m Talk		Gradual Typing as if Types Mattered WGT Ronald Garcia University of British Columbia, Éric Tanter University of Chile Pre-print
09:30 30m Talk		Fully Abstract from Static to Gradual WGT Koen Jacobs KU Leuven, Amin Timany imec-Distrinet KU-Leuven, Dominique Devriese Vrije Universiteit Brussel Pre-print

10:30 - 12:30	Programming featuresWGT at Orleans Chair(s): Giuseppe Castagna CNRS - Université de Paris, France

10:30 30m Talk		Gradual Algebraic Data Types WGT Michael Greenberg Pomona College, Stefan Malewski University of Santiago de Chile, Éric Tanter University of Chile Pre-print File Attached
11:00 30m Talk		Gradual Typing for Extensibility by Rows WGT Taro Sekiyama National Institute of Informatics, Atsushi Igarashi Kyoto University, Japan Pre-print
11:30 30m Talk		Foreign Function Typing: Semantic Type Soundness for FFIs WGT Daniel Patterson Northeastern University, Amal Ahmed Northeastern University, USA Pre-print
12:00 30m Talk		Space-Efficient Monotonic References WGT Deyaaeldeen Almahallawi Indiana University, Jeremy G. Siek Indiana University, USA Pre-print

14:00 - 15:05	CoercionsWGT at Orleans Chair(s): Jeremy G. Siek Indiana University, USA

14:00 32m Talk		Hypercoercions and a Framework for Equivalence of Cast Calculi WGT Kuang-Chen Lu Indiana University Bloomington, Jeremy G. Siek Indiana University, USA, Andre Kuhlenschmidt Indiana University Pre-print
14:32 32m Talk		Space-Efficient Gradual Typing in Coercion-Passing Style WGT Yuya Tsuda Kyoto University, Atsushi Igarashi Kyoto University, Japan, Tomoya Tabuchi Kyoto University Pre-print

15:35 - 17:45	Analysis, verification, blameWGT at Orleans Chair(s): Niki Vazou IMDEA Software Institute

15:35 32m Talk		Gradual Verification of Recursive Heap Data Structures WGT Jenna DiVincenzo (Wise) Carnegie Mellon University, Johannes Bader Facebook, Jonathan Aldrich Carnegie Mellon University, Éric Tanter University of Chile, Joshua Sunshine Carnegie Mellon University Pre-print
16:07 33m Talk		Gradual Program Analysis WGT Samuel Estep Liberty University, Jenna DiVincenzo (Wise) Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Éric Tanter University of Chile, Johannes Bader Facebook, Joshua Sunshine Carnegie Mellon University Pre-print
16:40 10m Break		Minibreak WGT
16:50 30m Talk		Blame tracking at higher fidelity WGT Jakub Zalewski University of Edinburgh, James McKinna University of Edinburgh, J. Garrett Morris University of Kansas, USA, Philip Wadler University of Edinburgh, UK Pre-print
17:20 25m Day closing		Discussion on gradual typing and WGT21 WGT

Sat 25 Jan
Displayed time zone: Saskatchewan, Central America change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Orleans	WGT Gradual Criteria																		WGT Programming features																																										WGT Coercions																			WGT Analysis, verification, blame

Sat 25 Jan
Displayed time zone: Saskatchewan, Central America change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Orleans	WGT Gradual Typing as if Types Mattered 09:00 - 09:30						WGT Fully Abstract from Static to Gradual 09:30 - 10:00												WGT Gradual Algebraic Data Types 10:30 - 11:00						WGT Gradual Typing for Extensibility by Rows 11:00 - 11:30						WGT Foreign Function Typing: Semantic Type Soundness for FFIs 11:30 - 12:00						WGT Space-Efficient Monotonic References 12:00 - 12:30																								WGT Hypercoercions and a Framework for Equivalence of Cast Calculi 14:00 - 14:32						WGT Space-Efficient Gradual Typing in Coercion-Passing Style 14:32 - 15:05													WGT Gradual Verification of Recursive Heap Data Structures 15:35 - 16:07						WGT Gradual Program Analysis 16:07 - 16:40							WGT Minibreak 16:40 - 16:50		WGT Blame tracking at higher fidelity 16:50 - 17:20						WGT Discussion on gradual typing and WGT21 17:20 - 17:45

Room information: Orleans

Sat 25 Jan
Displayed time zone: Saskatchewan, Central America change

Sat 25 Jan
Displayed time zone: Saskatchewan, Central America change

WGT

WGT

WGT

WGT

Sat 25 Jan
Displayed time zone: Saskatchewan, Central America change

Tracks

Room information: Orleans

Program Display Configuration

Sat 25 JanDisplayed time zone: Saskatchewan, Central America change

Sat 25 JanDisplayed time zone: Saskatchewan, Central America change

WGT

WGT

WGT

WGT

Sat 25 JanDisplayed time zone: Saskatchewan, Central America change

Sat 25 Jan
Displayed time zone: Saskatchewan, Central America change

Sat 25 Jan
Displayed time zone: Saskatchewan, Central America change

Sat 25 Jan
Displayed time zone: Saskatchewan, Central America change