Scheme 2024
Mon 2 - Sat 7 September 2024 Milan, Italy
co-located with ICFP 2024
VenueAllianz MiCo (Milano Convention Centre)
Room nameMeeting 4
Capacity40
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

Mon 2 Sep

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

09:00 - 10:30
Welcome & KeynoteErlang at Meeting 4
Chair(s): Kiko Fernandez-Reyes Ericsson, Sweden, Adriana Laura Voinea
09:00
5m
Talk
Welcome to the Erlang Workshop
Erlang
09:05
55m
Keynote
(Keynote) Environmentally sustainable software and data architectures
Erlang
10:00
30m
Talk
Unsafe Impedance: safe languages and safe by design software
Erlang
Lee Barney Brigham Young University-Idaho, Adolfo Neto Federal University of Technology - Paraná
Pre-print
11:00 - 12:30
Types & CompilersErlang at Meeting 4
11:00
30m
Talk
Same same but different: A Comparative Analysis of Static Type Checkers in Erlang
Erlang
Florian Berger University of Kaiserslautern-Landau, Albert Schimpf University of Kaiserslautern-Landau, Annette Bieniusa University of Kaiserslautern-Landau, Stefan Wehr Offenburg University of Applied Sciences
11:30
30m
Talk
Nominal Types for Erlang
Erlang
Isabell Huang , John Högberg , Tobias Wrigstad Uppsala University, Kiko Fernandez-Reyes Ericsson, Sweden
12:00
30m
Talk
Modeling Erlang Compiler IR as SMT Formulas
Erlang
14:00 - 15:30
Testing & VerificationErlang at Meeting 4
14:00
30m
Talk
Erla+: Translating TLA+ Models into Executable Actor-Based Implementations
Erlang
Marian Hristov University of Kaiserslautern-Landau, Annette Bieniusa University of Kaiserslautern-Landau
DOI
14:30
30m
Talk
Controlled Scheduling of Concurrent Elixir Programs
Erlang
Luis Eduardo Bueso de Barrio Universidad Politécnica de Madrid, Lars-Åke Fredlund Universidad Politécnica de Madrid, Clara Benac Earle Universidad Politécnica de Madrid, Ángel Herranz Universidad Politécnica de Madrid, Julio Mariño Universidad Politécnica de Madrid
15:00
30m
Talk
Is this really a refactoring? Automated equivalence checking for Erlang projects
Erlang
Bendegúz Seres Eötvös Loránd University, Dániel Horpácsi Eötvös Loránd University, Simon Thompson IOHK, University of Kent, and ELTE
16:00 - 17:30
Software Engineering & ClosingErlang at Meeting 4
16:00
30m
Talk
Elixir-powered Low-income Animal Shelter Support: an Experience Report from Conception to Production
Erlang
Carla Rodríguez Estévez Universidade da Coruña, Spain, Laura M. Castro University of A Coruña
16:30
30m
Talk
The Benefits of Tierless Elixir/Potato for Engineering IoT Systems
Erlang
Solaris Li University of Glasgow, Phil Trinder University of Glasgow, Christophe De Troyer Vrije Universiteit Brussel, Mart Lubbers Radboud University Nijmegen, Adrian Ramsingh Sia Fusion Ltd
17:00
30m
Talk
Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors
Erlang
Jonah Pears , Laura Bocchi University of Kent, Raymond Hu Queen Mary University of London

Fri 6 Sep

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

09:00 - 10:30
Welcome and KeynoteFProPer at Meeting 4
09:00
90m
Keynote
From C to Comonads to Climate: A Functional Programmer's Journey in Array Programming for Good
FProPer
Dominic Orchard University of Kent; University of Cambridge
11:00 - 12:30
Algebraic Data Types and PerformanceFProPer at Meeting 4
11:00
45m
Talk
Tail Modulo Async/Await
FProPer
Vivien GACHET LIP, Lyon, France, Gabriel Radanne Inria, Ludovic Henrio University of Lyon - ENS Lyon - UCBL - CNRS - Inria - LIP
File Attached
11:45
45m
Talk
Ribbit with Memory Morphisms
FProPer
Thaïs Baudon ENS de Lyon & LIP, Gabriel Radanne Inria, Laure Gonnord Université Grenoble-Alpes - Grenoble INP - LCIS
Pre-print Media Attached File Attached
14:00 - 15:30
Performance and OptimisationFProPer at Meeting 4
14:00
45m
Talk
A comparison of OpenCL, CUDA, and HIP as compilation targets for a functional array language
FProPer
Troels Henriksen University of Copenhagen
14:45
45m
Talk
Fusing Gathers with Integer Linear Programming
FProPer
David van Balen , Gabriele Keller Utrecht University, Trevor L. McDonell Utrecht University, Ivo Gabe de Wolff Utrecht University
16:00 - 17:30
Compilation TechniquesFProPer at Meeting 4
16:00
45m
Talk
Functional Sparse Tensor Compilation
FProPer
Shideh Hashemian University of Edinburgh, Amir Shaikhha University of Edinburgh
16:45
45m
Talk
HVM2: Iteraction Combinator Evaluator
FProPer
Victor Taelin Higher Order Company, Francisco Javier Grecco Carman , Nicolas Abril Higher Order Company, Enrico Zandomeni Borba Higher Order Company

Sat 7 Sep

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

11:00 - 12:30
11:00
30m
Talk
A Teaching Language for Specification
Scheme 2024
Cameron Moy Northeastern University
11:30
30m
Talk
Beyond SICP - Design and Implementation of a Notional Machine for Scheme
Scheme 2024
Kyriel Abad National University of Singapore, Martin Henz National University of Singapore
File Attached
12:00
30m
Talk
Nocksche and Nocko
Scheme 2024
14:00 - 15:30
Session 3Scheme 2024 at Meeting 4
Chair(s): Robert Bruce Findler Northwestern University
14:00
90m
Tutorial
Tutorial on Program Transformations
Scheme 2024
Jason Hemann Seton Hall University
16:00 - 17:30
Session 4Scheme 2024 at Meeting 4
Chair(s): Kristopher Micinski Syracuse University
16:00
60m
Talk
Challenges in the Design and Implementation of Teaching Languages for EDSLs
Scheme 2024
Jason Hemann Seton Hall University

Mon 2 Sep

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

Fri 6 Sep

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

Sat 7 Sep

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Meeting 4

Fri 6 Sep

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