Erlang 2024
Mon 2 Sep 2024 Milan, Italy
co-located with ICFP 2024
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 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 Poulsen Delft University of Technology
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

Fri 6 Sep

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