POPL 2020 (series) / WGT 2020 (series) /
WGT 2020 Program
This is the WGT 2020 program - see the full program for POPL 2020 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sat 25 JanDisplayed time zone: Saskatchewan, Central America change
Sat 25 Jan
Displayed time zone: Saskatchewan, Central America change
09:00 - 10:00 | |||
09:00 30mTalk | Gradual Typing as if Types Mattered WGT Pre-print | ||
09:30 30mTalk | 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 | |||
10:30 30mTalk | 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 30mTalk | Gradual Typing for Extensibility by Rows WGT Pre-print | ||
11:30 30mTalk | Foreign Function Typing: Semantic Type Soundness for FFIs WGT Pre-print | ||
12:00 30mTalk | Space-Efficient Monotonic References WGT Pre-print |
14:00 - 15:05 | |||
14:00 32mTalk | 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 32mTalk | 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 | |||
15:35 32mTalk | Gradual Verification of Recursive Heap Data Structures WGT Jenna Wise (DiVincenzo) 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 33mTalk | Gradual Program Analysis WGT Samuel Estep Liberty University, Jenna Wise (DiVincenzo) 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 10mBreak | Minibreak WGT | ||
16:50 30mTalk | 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 25mDay closing | Discussion on gradual typing and WGT21 WGT |