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

Mon 2 Sep

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

11:00 - 12:30
Session 1HOPE at Orange 2
11:00
30m
Talk
Amplifying Contextual Distance in Higher-Order Languages, using the Law of Large Numbers
HOPE
Raphaëlle Crubillé CNRS, Houssein Mansour Aix-Marseille Université
11:30
30m
Talk
An Incremental Approach to the Semantics of Borrowing
HOPE
Brianna Marshall Northeastern University, Andrew Wagner Northeastern University, John Li Northeastern University, Olek Gierczak Northeastern University, Amal Ahmed Northeastern University, USA
File Attached
12:00
30m
Talk
Towards a linear functional translation for borrowing
HOPE
14:00 - 15:30
Session 2HOPE at Orange 2
14:00
30m
Talk
Effectful Assembly Programming with AsmFX
HOPE
Brian Campbell University of Edinburgh, Sam Lindley University of Edinburgh, Wilmer Ricciotti University of Edinburgh, UK, Ian Stark The University of Edinburgh
File Attached
14:30
30m
Talk
Logical Relations for Effect Capabilities
HOPE
Patrycja Balik University of Wrocław, Piotr Polesiuk University of Wrocław
15:00
30m
Talk
Paella: algebraic effects with parameters and their handlers
HOPE
Jesse Sigal University of Edinburgh, Ohad Kammar University of Edinburgh, Cristina Matache University of Edinburgh, Conor McBride University of Strathclyde
Media Attached File Attached
16:00 - 17:30
Session 3HOPE at Orange 2
16:00
30m
Talk
Arrows as applicatives in a monad
HOPE
Leo White Jane Street
File Attached
16:30
30m
Talk
Mechanized monadic equational reasoning for ML references
HOPE
Reynald Affeldt AIST, Jacques Garrigue Nagoya University, Takafumi Saikawa Nagoya University
File Attached
17:00
30m
Talk
Modularizing Reasoning about AI Capabilities via Abstract Dijkstra Monads
HOPE
Cyrus Omar University of Michigan, Patrick Ferris University of Cambridge, UK, Anil Madhavapeddy University of Cambridge, UK
File Attached

Fri 6 Sep

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

09:30 - 10:30
Session 1ML at Orange 2
Chair(s): David Allsopp Tarides
09:30
30m
Talk
Designing interrupts for ML and OCaml
ML
Guillaume Munch-Maccagnoni INRIA, Leo White Jane Street, Stephen Dolan Jane Street
10:00
30m
Talk
Fram: Named Parameters Pushed to the Limit
ML
Patrycja Balik University of Wrocław, Piotr Polesiuk University of Wrocław
Media Attached
16:00 - 17:30
Session 4ML at Orange 2
Chair(s): Jesse Tov Jane Street Europe
16:00
30m
Talk
Labeled Tuples (Informed Position)
ML
Chris Casinghino Jane Street, Ryan Tjoa University of Washington
16:30
30m
Talk
Wasm_of_ocaml
ML

Sat 7 Sep

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

09:00 - 10:30
OCaml compiler features and optimizationsOCaml at Orange 2
Chair(s): Stephen Dolan Jane Street

Live stream: https://www.youtube.com/watch?v=OuQqblCxJ2Y

09:00
22m
Talk
On the design and implementation of Modular Explicitsin-person
OCaml
Samuel Vivien INRIA & École Normale Supérieure | Université PSL, Didier Rémy Inria
File Attached
09:22
22m
Talk
Flambda2 Validatorin-person
OCaml
Irene Yoon Inria, Chris Casinghino Jane Street
File Attached
09:45
22m
Talk
A Non-allocating Optionin-person
OCaml
File Attached
10:07
22m
Talk
Mixed Blocks: Storing More Fields Flatin-person
OCaml
Nicholas Roberts Jane Street
File Attached

Mon 2 Sep

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

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

Fri 6 Sep

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

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

Sat 7 Sep

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

Fri 6 Sep

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