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: Orange 3
Venue
Allianz MiCo (Milano Convention Centre)
Room name
Orange 3
Capacity
90
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
Icebreaker and Getting the Most Out of ICFP
PLMW @ ICFP
at
Orange 3
Chair(s):
Stefan K. Muller
Illinois Institute of Technology
09:00
5m
Day opening
Welcome
PLMW @ ICFP
Ningning Xie
University of Toronto; Google DeepMind
,
Stefan K. Muller
Illinois Institute of Technology
,
Thomas Bourgeat
EPFL
09:05
40m
Other
PLMW Icebreaker Session
PLMW @ ICFP
09:45
45m
Talk
Getting the Most Out of ICFP
PLMW @ ICFP
Samantha Frohlich
University of Bristol
11:00 - 12:30
Panel and Speed Mentoring
PLMW @ ICFP
at
Orange 3
Chair(s):
Stefan K. Muller
Illinois Institute of Technology
11:00
60m
Panel
Research, Grad School, Community - Let's chat!
PLMW @ ICFP
Niki Vazou
IMDEA Software Institute
,
Aymeric Fromherz
Inria
,
Sam Lindley
University of Edinburgh
,
Andreas Rossberg
Independent
,
Samantha Frohlich
University of Bristol
12:00
30m
Social Event
Speed mentoring
PLMW @ ICFP
14:00 - 15:30
Technical Session
PLMW @ ICFP
at
Orange 3
Chair(s):
Ningning Xie
University of Toronto; Google DeepMind
14:00
45m
Talk
How to read a research paper
PLMW @ ICFP
Simon Peyton Jones
Epic Games
14:45
45m
Talk
Self-verification for Proof Assistants
PLMW @ ICFP
Yannick Forster
Inria
16:00 - 17:30
Sharing Experiences
PLMW @ ICFP
at
Orange 3
Chair(s):
Ningning Xie
University of Toronto; Google DeepMind
16:00
45m
Talk
My PhD Compass: 6 Ways to Guide a PhD Towards Success
PLMW @ ICFP
Harrison Goldstein
University of Maryland College Park
16:45
45m
Day closing
Conclusion, survey and unstructured time
PLMW @ ICFP
Fri 6 Sep
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:30
Haskell: Keynote 1
Haskell
at
Orange 3
Chair(s):
J. Garrett Morris
University of Iowa
09:00
5m
Talk
Welcome
Haskell
J. Garrett Morris
University of Iowa
09:05
70m
Keynote
Fabricating Functional Formalisms for Fun
Haskell
Brent Yorgey
Hendrix College
11:00 - 12:30
Haskell 1
Haskell
at
Orange 3
Chair(s):
Niki Vazou
IMDEA Software Institute
11:00
30m
Talk
Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
Haskell
Pedro Vasconcelos
University of Porto
,
Rodrigo Marques
Universidade do Porto
11:30
30m
Talk
Liquid Amortization - Proving amortized complexity with LiquidHaskell (Functional Pearl)
Haskell
Jan van Brügge
Heriot-Watt University
12:00
30m
Talk
Making a Curry Interpreter using Effects and Handlers
Haskell
Niels Bunkenburg
University of Kiel, Germany
,
Nicolas Wu
Imperial College London
14:00 - 15:30
Haskell: Keynote 2
Haskell
at
Orange 3
Chair(s):
J. Garrett Morris
University of Iowa
14:00
70m
Keynote
State of GHC
Haskell
Simon Peyton Jones
Epic Games
File Attached
16:00 - 17:30
Haskell 2
Haskell
at
Orange 3
Chair(s):
J. Garrett Morris
University of Iowa
16:00
30m
Talk
Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers
Haskell
Momoka Saito
The University of Electro-Communications
,
Hideya Iwasaki
Meiji University
,
Hideyuki Kawabata
Hiroshima City University
,
Tsuneyasu Komiya
The University of Electro-Communications
16:30
20m
Talk
[HIW] Thrive with HEAD - How to adopt innovation from GHC HEAD timely in industrial scale
Haskell
Ian-Woo Kim
Mercury Technologies, Inc
16:50
40m
Talk
Lightning talks I
Haskell
Sat 7 Sep
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:30
Haskell 3
Haskell
at
Orange 3
Chair(s):
Paul Downen
University of Massachusetts at Lowell
09:00
30m
Talk
MicroHs - A Small Compiler for Haskell
Haskell
Lennart Augustsson
Epic Games
09:30
30m
Talk
Higher Order Patterns for Rewrite Rules
Haskell
Jaro Reinders
Delft University of Technology
DOI
File Attached
10:00
30m
Talk
Welcome to the Parti(tioning) (Functional Pearl)
Haskell
Robert Krook
Chalmers University of Technology, Sweden
,
Samuel Hammersberg
Gothenburg University
11:00 - 12:30
Haskell 4
Haskell
at
Orange 3
Chair(s):
Michael D. Adams
National University of Singapore
11:00
22m
Talk
[HIW] Analysing the heap of uninstrumented Haskell programs using ghc-debug
Haskell
Zubin Duggal
Well-Typed LLP
11:22
22m
Talk
[HIW] A zero-copy interface to compact regions powered by destinations
Haskell
Thomas BAGREL
Tweag, LORIA/INRIA
11:45
22m
Talk
[HIW] Building Haskell with Buck2
Haskell
Andreas Herrmann
Tweag by Modus Create
12:07
22m
Talk
[HIW] The JavaScript FFI feature in GHC Wasm backend
Haskell
Cheng Shao
Modus Create
14:00 - 15:30
Haskell 5
Haskell
at
Orange 3
Chair(s):
Simon Marlow
Meta
14:00
30m
Talk
Calculating Compilers Effectively
Haskell
Zac Garby
University of Nottingham
,
Graham Hutton
University of Nottingham
,
Patrick Bahr
IT University of Copenhagen
14:30
30m
Talk
Cloaca: A Concurrent Hardware Garbage Collector for Non-Strict Functional Languages
Haskell
Craig Ramsay
Heriot-Watt University
,
Rob Stewart
Heriot-Watt University
15:00
30m
Talk
Functional Reactive Programming, Rearranged
Haskell
Finnbar Keating
University of Warwick
,
Michael Gale
GitHub
16:00 - 17:30
Lightning talks / Chairs' report
Haskell
at
Orange 3
Chair(s):
J. Garrett Morris
University of Iowa
16:00
90m
Talk
Lightning talks II / Chairs' report / Future of HS discussion
Haskell
J. Garrett Morris
University of Iowa
,
Niki Vazou
IMDEA Software Institute
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
Orange 3
PLMW @ ICFP
Icebreaker and Getting the Most Out of ICFP
PLMW @ ICFP
Panel and Speed Mentoring
PLMW @ ICFP
Technical Session
PLMW @ ICFP
Sharing Experiences
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
Orange 3
Haskell
Haskell: Keynote 1
Haskell
Haskell 1
Haskell
Haskell: Keynote 2
Haskell
Haskell 2
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
Orange 3
Haskell
Haskell 3
Haskell
Haskell 4
Haskell
Haskell 5
Haskell
Lightning talks / Chairs' report
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
Orange 3
PLMW @ ICFP
Welcome
09:00 - 09:05
PLMW @ ICFP
PLMW Icebreaker Session
09:05 - 09:45
PLMW @ ICFP
Getting the Most Out of ICFP
09:45 - 10:30
PLMW @ ICFP
Research, Grad School, Community - Let's chat!
11:00 - 12:00
PLMW @ ICFP
Speed mentoring
12:00 - 12:30
PLMW @ ICFP
How to read a research paper
14:00 - 14:45
PLMW @ ICFP
Self-verification for Proof Assistants
14:45 - 15:30
PLMW @ ICFP
My PhD Compass: 6 Ways to Guide a PhD Towards Success
16:00 - 16:45
PLMW @ ICFP
Conclusion, survey and unstructured time
16:45 - 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
Orange 3
Haskell
Welcome
09:00 - 09:05
Haskell
Fabricating Functional Formalisms for Fun
09:05 - 10:15
Haskell
Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
11:00 - 11:30
Haskell
Liquid Amortization - Proving amortized complexity with LiquidHaskell ( ...
11:30 - 12:00
Haskell
Making a Curry Interpreter using Effects and Handlers
12:00 - 12:30
Haskell
State of GHC
14:00 - 15:10
Haskell
Controlling Computation Granularity through Fusion in Improving Floatin ...
16:00 - 16:30
Haskell
[HIW] Thrive with HEAD - How to adopt innovation from GHC HEAD timely i ...
16:30 - 16:50
Haskell
Lightning talks I
16:50 - 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
17:00
15
30
45
Orange 3
Haskell
MicroHs - A Small Compiler for Haskell
09:00 - 09:30
Haskell
Higher Order Patterns for Rewrite Rules
09:30 - 10:00
Haskell
Welcome to the Parti(tioning) (Functional Pearl)
10:00 - 10:30
Haskell
[HIW] Analysing the heap of uninstrumented Haskell programs using ghc-debug
11:00 - 11:22
Haskell
[HIW] A zero-copy interface to compact regions powered by destinations
11:22 - 11:45
Haskell
[HIW] Building Haskell with Buck2
11:45 - 12:07
Haskell
[HIW] The JavaScript FFI feature in GHC Wasm backend
12:07 - 12:30
Haskell
Calculating Compilers Effectively
14:00 - 14:30
Haskell
Cloaca: A Concurrent Hardware Garbage Collector for Non-Strict Function ...
14:30 - 15:00
Haskell
Functional Reactive Programming, Rearranged
15:00 - 15:30
Haskell
Lightning talks II / Chairs' report / Future of HS discussion
16:00 - 17:30
x
Wed 4 Dec 09:32