miniKanren 2024
Fri 6 Sep 2024
Milan, Italy
co-located with
ICFP 2024
Toggle navigation
Attending
Venue: Allianz MiCo (Milano Convention Centre)
Program
miniKanren Program
Your Program
Fri 6 Sep
Track/Call
Organization
miniKanren 2024 Committees
Track Committees
Program Committee
Contributors
People Index
Search
Series
Series
miniKanren 2024
miniKanren 2023
mkTut2023
miniKanren 2022
miniKanren 2021
miniKanren 2020
miniKanren 2019
Sign in
Sign up
ICFP 2024
(
series
) /
miniKanren 2024 (
series
) /
Allianz MiCo (Milano Convention Centre)
/
Room information: Meeting 4
Venue
Allianz MiCo (Milano Convention Centre)
Room name
Meeting 4
Capacity
40
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
Mon 2 Sep
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:30
Welcome & Keynote
Erlang
at
Meeting 4
Chair(s):
Kiko Fernandez-Reyes
Ericsson, Sweden
,
Adriana Laura Voinea
09:00
5m
Talk
Welcome to the Erlang Workshop
Erlang
Adriana Laura Voinea
,
Kiko Fernandez-Reyes
Ericsson, Sweden
09:05
55m
Keynote
(Keynote) Environmentally sustainable software and data architectures
Erlang
Madeleine Malmsten
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 & Compilers
Erlang
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
John Högberg
14:00 - 15:30
Testing & Verification
Erlang
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 & Closing
Erlang
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 Keynote
FProPer
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 Performance
FProPer
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 Optimisation
FProPer
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 Techniques
FProPer
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
09:00 - 10:30
Session 1
Scheme
at
Meeting 4
Chair(s):
Max S. New
University of Michigan
09:00
60m
Talk
Scheme on WebAssembly: It is happening!
Scheme
Andy Wingo
Igalia, S.L.
File Attached
10:00
30m
Talk
An Implementation of a Visual Stepper in the GRASP Programming System
Scheme
Panicz Godek
None
File Attached
11:00 - 12:30
Session 2
Scheme
at
Meeting 4
11:00
30m
Talk
A Teaching Language for Specification
Scheme
Cameron Moy
Northeastern University
11:30
30m
Talk
Beyond SICP - Design and Implementation of a Notional Machine for Scheme
Scheme
Kyriel Abad
National University of Singapore
,
Martin Henz
National University of Singapore
File Attached
12:00
30m
Talk
Nocksche and Nocko
Scheme
James Torre
None
14:00 - 15:30
Session 3
Scheme
at
Meeting 4
Chair(s):
Robert Bruce Findler
Northwestern University
14:00
90m
Tutorial
Tutorial on Program Transformations
Scheme
Jason Hemann
Seton Hall University
16:00 - 17:30
Session 4
Scheme
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
Jason Hemann
Seton Hall University
Mon 2 Sep
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Meeting 4
Erlang
Welcome & Keynote
Erlang
Types & Compilers
Erlang
Testing & Verification
Erlang
Software Engineering & Closing
Fri 6 Sep
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Meeting 4
FProPer
Welcome and Keynote
FProPer
Algebraic Data Types and Performance
FProPer
Performance and Optimisation
FProPer
Compilation Techniques
Sat 7 Sep
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Meeting 4
Scheme
Session 1
Scheme
Session 2
Scheme
Session 3
Scheme
Session 4
Mon 2 Sep
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Meeting 4
Erlang
Welcome to the Erlang Workshop
09:00 - 09:05
Erlang
(Keynote) Environmentally sustainable software and data architectures
09:05 - 10:00
Erlang
Unsafe Impedance: safe languages and safe by design software
10:00 - 10:30
Erlang
Same same but different: A Comparative Analysis of Static Type Checkers ...
11:00 - 11:30
Erlang
Nominal Types for Erlang
11:30 - 12:00
Erlang
Modeling Erlang Compiler IR as SMT Formulas
12:00 - 12:30
Erlang
Erla+: Translating TLA+ Models into Executable Actor-Based Implementations
14:00 - 14:30
Erlang
Controlled Scheduling of Concurrent Elixir Programs
14:30 - 15:00
Erlang
Is this really a refactoring? Automated equivalence checking for Erlang ...
15:00 - 15:30
Erlang
Elixir-powered Low-income Animal Shelter Support: an Experience Report ...
16:00 - 16:30
Erlang
The Benefits of Tierless Elixir/Potato for Engineering IoT Systems
16:30 - 17:00
Erlang
Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors
17:00 - 17:30
Fri 6 Sep
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Meeting 4
FProPer
From C to Comonads to Climate: A Functional Programmer's Journey in Arr ...
09:00 - 10:30
FProPer
Tail Modulo Async/Await
11:00 - 11:45
FProPer
Ribbit with Memory Morphisms
11:45 - 12:30
FProPer
A comparison of OpenCL, CUDA, and HIP as compilation targets for a func ...
14:00 - 14:45
FProPer
Fusing Gathers with Integer Linear Programming
14:45 - 15:30
FProPer
Functional Sparse Tensor Compilation
16:00 - 16:45
FProPer
HVM2: Iteraction Combinator Evaluator
16:45 - 17:30
Sat 7 Sep
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Meeting 4
Scheme
Scheme on WebAssembly: It is happening!
09:00 - 10:00
Scheme
An Implementation of a Visual Stepper in the GRASP Programming System
10:00 - 10:30
Scheme
A Teaching Language for Specification
11:00 - 11:30
Scheme
Beyond SICP - Design and Implementation of a Notional Machine for Scheme
11:30 - 12:00
Scheme
Nocksche and Nocko
12:00 - 12:30
Scheme
Tutorial on Program Transformations
14:00 - 15:30
Scheme
Challenges in the Design and Implementation of Teaching Languages for EDSLs
16:00 - 17:00
x
Wed 4 Dec 09:30