Program - ICFP 2024

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30	TyDe KeynoteTyDe at Orange 1 Session chair: Jesper Cockx

09:00 5m Day opening		Welcome to TyDe TyDe
09:05 80m Keynote		Types for correctness, convenience, and performance TyDe Gabriele Keller Utrecht University

11:00 - 12:30	Usability, testing and static analysisTyDe at Orange 1 Session chair: Patrik Jansson

11:00 22m Talk		A Type- And Control- Flow Analysis for System FC (Extended Abstract) TyDe Skye Soss University of Chicago, John Reppy University of Chicago, USA File Attached
11:22 22m Talk		Dependent Types to Push Corners of the Property-based Testing (Extended Abstract) TyDe Denis Buzdalov Institute for System Programming of RAS File Attached
11:45 22m Talk		How Novices Perceive Interactive Theorem Provers (Extended Abstract) TyDe Sára Juhošová Delft University of Technology File Attached
12:07 22m Talk		Type-level Property Based Testing TyDe Thomas Ekström Hansen University of St Andrews, Edwin Brady University of St Andrews, UK

14:00 - 15:30	Dependent typesTyDe at Orange 1 Session chair: Jesper Cockx

14:00 22m Talk		Modal Mu-Calculus for Free in Agda TyDe Ivan Todorov Delft University of Technology, Casper Bach University of Southern Denmark
14:22 22m Talk		First-class Algebraic Presentations with Elaborator Reflection (Extended Abstract) TyDe Robert Wright University of Edinburgh, Ohad Kammar University of Edinburgh File Attached
14:45 22m Talk		Normalizable types TyDe Stefan Monnier Université de Montréal
15:07 22m Talk		Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma TyDe Hannes Saffrich University of Freiburg, Peter Thiemann University of Freiburg, Germany, Marius Weidner University of Freiburg

16:00 - 17:30	Compilers and toolingTyDe at Orange 1 Session chair: Sandra Alves

16:00 22m Talk		Typed, Concise, Nanopass (pick 3) (Extended Abstract) TyDe Lawrence Chonavel Utrecht University File Attached
16:22 22m Talk		Term Search in Rust TyDe Philipp Joram Tallinn University of Technology, Tavo Annus Tallinn University of Technology
16:45 22m Talk		Towards Type-Directed API Search for Mainstream Languages TyDe Marc Etter OST Eastern Switzerland University of Applied Sciences, Farhad Mehta OST Eastern Switzerland University of Applied Sciences
17:07 22m Meeting		TyDe closing TyDe

TyDe 2024 Program

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Workshops

Co-hosted Symposia

TyDe 2024 Program

Switch Program View

Program Display Configuration

Fri 6 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change