WGT 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
co-located with POPL 2020
VenueJW Marriott New Orleans
Room nameOrleans
Floor3
Room InformationNo extra information available
Program

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Orleans