Student Research Competition – Finalist Presentations (ICFP 2022 - ICFP Papers and Events)

Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Who

Daniel Hillerström, Danel Ahman

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

Tue 13 Sep 2022 17:00 - 17:40 at Linhart - Reports

Abstract

Talks

Undergraduate category

Bernard Boey: HenBlocks: Structured Editing for Coq
Hilbert Chen, Yanjun Chen, and Eric Zhao: Compiling Functional Programs with Holes
Francis Rinaldi: Typing Recursive Data Structures of Futures for Graph Types

Graduate category

Nathan Corbyn: Generalised free extensions
Denis Carnier: Program Logics for Mechanizing Typechecking
Arthur Correnson: Formal Verification of a Lazy Software Model Checker

Daniel Hillerström

The University of Edinburgh

United Kingdom

Danel Ahman

University of Ljubljana

Slovenia