ANF Preserves Dependent Types up to Extensional Equality (ICFP 2022 - ICFP Papers and Events)

Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Who

Paulette Koronkevich, Ramon Rakow, Amal Ahmed, William J. Bowman

Track

ICFP 2022 ICFP Papers and Events

Time Zone

The program is currently displayed in (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague.

Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, PragueSelect 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 14 Sep 2022 11:50 - 12:10 at Linhart - Compilation Chair(s): Matija Pretnar

Paulette Koronkevich

University of British Columbia

Ramon Rakow

University of British Columbia

Amal Ahmed

Northeastern University, USA

United States

William J. Bowman

University of British Columbia

Canada

Time Zone

The program is currently displayed in (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague.

Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, PragueSelect 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 14 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

10:30 - 12:10	CompilationICFP Papers and Events at Linhart Chair(s): Matija Pretnar University of Ljubljana, Slovenia

10:30 20m Talk		Beyond Relooper: Recursive Translation of Unstructured Control Flow to Structured Control FlowFunctional Pearl ICFP Papers and Events Norman Ramsey Tufts University DOI
10:50 20m Talk		Automatically Deriving Control-Flow Graph Generators From Operational Semantics ICFP Papers and Events James Koppel Massachusetts Institute of Technology, USA, Jackson Kearl MIT, Armando Solar-Lezama Massachusetts Institute of Technology DOI
11:10 20m Talk		Analyzing Binding Extent in 3CPS ICFP Papers and Events Benjamin Quiring University of Maryland, Olin Shivers Northeastern University, USA, John Reppy University of Chicago, USA DOI
11:30 20m Talk		'do' Unchained: Embracing Local Imperativity in a Purely Functional LanguageFunctional Pearl ICFP Papers and Events Sebastian Ullrich Karlsruhe Institute of Technology, Leonardo de Moura Microsoft Research, n.n. DOI
11:50 20m Talk		ANF Preserves Dependent Types up to Extensional EqualityJFP Presentation ICFP Papers and Events Paulette Koronkevich University of British Columbia, Ramon Rakow University of British Columbia, Amal Ahmed Northeastern University, USA, William J. Bowman University of British Columbia