TyDe 2024
Fri 6 - Sat 7 September 2024 Milan, Italy
co-located with ICFP 2024
ICFP 2024 (series) / TyDe 2024 (series) / Allianz MiCo (Milano Convention Centre) /

Room information: Orange 1

VenueAllianz MiCo (Milano Convention Centre)
Room nameOrange 1
Capacity90
Room InformationNo extra information available
Program

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 2024 at Orange 1

Session chair: Jesper Cockx

09:00
5m
Day opening
Welcome to TyDe
TyDe 2024

09:05
80m
Keynote
Types for correctness, convenience, and performance
TyDe 2024
Gabriele Keller Utrecht University
11:00 - 12:30
Usability, testing and static analysisTyDe 2024 at Orange 1

Session chair: Patrik Jansson

11:00
22m
Talk
A Type- And Control- Flow Analysis for System FC (Extended Abstract)
TyDe 2024
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 2024
Denis Buzdalov Institute for System Programming of RAS
File Attached
11:45
22m
Talk
How Novices Perceive Interactive Theorem Provers (Extended Abstract)
TyDe 2024
Sára Juhošová Delft University of Technology
File Attached
12:07
22m
Talk
Type-level Property Based Testing
TyDe 2024
Thomas Ekström Hansen University of St Andrews, Edwin Brady University of St Andrews, UK
14:00 - 15:30
Dependent typesTyDe 2024 at Orange 1

Session chair: Jesper Cockx

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

Session chair: Sandra Alves

16:00
22m
Talk
Typed, Concise, Nanopass (pick 3) (Extended Abstract)
TyDe 2024
Lawrence Chonavel Utrecht University
File Attached
16:22
22m
Talk
Term Search in Rust
TyDe 2024
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 2024
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 2024

Fri 6 Sep

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Orange 1

TyDe 2024

TyDe Keynote

TyDe 2024

Usability, testing and static analysis

TyDe 2024

Dependent types

TyDe 2024

Compilers and tooling

Fri 6 Sep

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Orange 1
TyDe
Welcome to TyDe
09:00 - 09:05
TyDe
Types for correctness, convenience, and performance
09:05 - 10:25
TyDe
A Type- And Control- Flow Analysis for System FC (Extended Abstract)
11:00 - 11:22
TyDe
Dependent Types to Push Corners of the Property-based Testing (Extended ...
11:22 - 11:45
TyDe
How Novices Perceive Interactive Theorem Provers (Extended Abstract)
11:45 - 12:07
TyDe
Type-level Property Based Testing
12:07 - 12:30
TyDe
Modal Mu-Calculus for Free in Agda
14:00 - 14:22
TyDe
First-class Algebraic Presentations with Elaborator Reflection (Extende ...
14:22 - 14:45
TyDe
Normalizable types
14:45 - 15:07
TyDe
Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the ...
15:07 - 15:30
TyDe
Typed, Concise, Nanopass (pick 3) (Extended Abstract)
16:00 - 16:22
TyDe
Term Search in Rust
16:22 - 16:45
TyDe
Towards Type-Directed API Search for Mainstream Languages
16:45 - 17:07
TyDe
TyDe closing
17:07 - 17:30