Program - ICFP/SPLASH 2025

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+08:00) Perth.

Use conference time zone: (GMT+08:00) PerthSelect 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

Sun 12 Oct
Displayed time zone: Perth change

09:00 - 10:30	Keynote talkTyDe at Seminar Room 2

09:00 60m Talk		From Datatype-Generic Programming to Language-Generic Programming TyDe Liang-Ting Chen Academia Sinica

11:00 - 12:30	Session 1TyDe at Seminar Room 2 Chair(s): Jeremy G. Siek Indiana University

11:00 30m Talk		Representing Data Structures with Invariants in Haskell: the cases of BST and AVL [Remote] TyDe Nicolas Rodriguez Instituto de Computación, Universidad de la República, Alberto Pardo Universidad de la Republica, Uruguay, Marcos Viera University of the Republic, Uruguay
11:30 30m Talk		Towards a Performance Comparison of Syntax and Type-Directed NbE (Extended Abstract) TyDe Chester Gould University of British Columbia, William J. Bowman University of British Columbia Pre-print
12:00 30m Talk		The conatural numbers form an exponential commutative semiring TyDe Szumi Xie Eötvös Loránd University (ELTE), Viktor Bense Eötvös Loránd University (ELTE) DOI Pre-print

14:00 - 15:30	Session 2TyDe at Seminar Room 2 Chair(s): Szumi Xie Eötvös Loránd University (ELTE)

14:00 30m Talk		Gradual Metaprogramming TyDe Tianyu Chen Indiana University, Darshal Shetty Indiana University, Jeremy G. Siek Indiana University, Chao-Hong Chen Meta, Weixi Ma Meta, Arnaud Venet Meta, Rocky Liu Meta Link to publication DOI Pre-print
14:30 30m Talk		Unification Modulo Isomorphisms between Dependent Types for Type-based Library Search TyDe Satoshi Takimoto Institute of Science Tokyo, Sosuke Moriguchi Institute of Science Tokyo, Takuo Watanabe Institute of Science Tokyo DOI
15:00 30m Talk		Generating a corpus of Hazel programs from ill-typed OCaml programs (Extended Abstract) TyDe Patrick Ferris University of Cambridge, UK, Anil Madhavapeddy University of Cambridge, UK File Attached

16:00 - 17:30	Session 3TyDe at Seminar Room 2 Chair(s): Sosuke Moriguchi Institute of Science Tokyo

16:00 30m Talk		Constrained generation of well-typed programs (Extended Abstract) [Remote] TyDe Hugo Barreiro École Polytechnique, Gabriel Scherer Université Paris Cité - Inria - CNRS
16:30 30m Talk		Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints (Extended Abstract) [Remote] TyDe Abhijit Paul Samsung R&D Institute, Bangladesh
17:00 30m Talk		A Formalization of Opaque Definitions for a Dependent Type Theory [Remote] TyDe Nils Anders Danielsson University of Gothenburg, Eve Geng Chalmers University of Technology, Gothenburg, Sweden

TyDe 2025 Program

Sun 12 Oct
Displayed time zone: Perth change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

TyDe 2025 Program

Switch Program View

Program Display Configuration

Sun 12 OctDisplayed time zone: Perth change

Get Calendar (iCal)

Sun 12 Oct
Displayed time zone: Perth change