Orange 2 - ICFP 2024

VenueAllianz MiCo (Milano Convention Centre)

Room nameOrange 2

Capacity90

Room InformationNo extra information available

Program

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, ViennaSelect other time zone

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 programSpecify 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	Keynote talkHOPE at Orange 2

09:00 60m Keynote		An introduction to synthetic guarded domain theory with applications to probabilistic programming languages HOPE Rasmus Ejlers Møgelberg IT University of Copenhagen Pre-print

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
12:00 30m Talk		Towards a linear functional translation for borrowing HOPE Sidney Congard

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

11:00 - 12:30	Session 2ML at Orange 2 Chair(s): Martin Elsman University of Copenhagen

11:00 30m Talk		Is there a use for linear types? ML Guillaume Munch-Maccagnoni INRIA
11:30 30m Talk		Automatic Differentiation via Effects and Handlers in OCaml ML Jesse Sigal University of Edinburgh Pre-print File Attached
12:00 30m Talk		Rethinking the Value Restriction ML Stephen Dolan Jane Street

14:00 - 15:30	Session 3ML at Orange 2 Chair(s): Guillaume Munch-Maccagnoni INRIA

14:00 30m Talk		Safe Pattern Generation for Multi-Stage Programming ML Ethan Range University of Cambridge, Jeremy Yallop University of Cambridge Pre-print Media Attached
14:30 30m Talk		Pattern-matching on mutable values: danger! ML Gabriel Scherer Université Paris Cité - Inria - CNRS, Thomas Réfis , Nicholas Roberts Jane Street
15:00 30m Talk		Light-speed type unification modulo isomorphisms ML Emmanuel Arrighi Ens Lyon, Gabriel Radanne Inria File 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 Jérôme Vouillon

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 Richard A. Eisenberg Jane Street File Attached
10:07 22m Talk		Mixed Blocks: Storing More Fields Flatin-person OCaml Nicholas Roberts Jane Street File Attached

11:00 - 12:30	OCaml developer experienceOCaml at Orange 2 Chair(s): Gabriel Radanne Inria Live stream: https://www.youtube.com/watch?v=OuQqblCxJ2Y

11:00 22m Talk		Structured diagnostics for the OCaml compilerin-person OCaml Florian Angeletti Inria File Attached
11:22 22m Talk		Project-wide occurrences for OCaml, a progress reportin-person OCaml Ulysse Gérard Tarides File Attached
11:45 22m Talk		Mica: Automated Differential Testing for OCaml Modulesin-person OCaml Ernest Ng Cornell University, Harrison Goldstein University of Maryland College Park, Benjamin C. Pierce University of Pennsylvania Pre-print File Attached
12:07 22m Talk		First-Class Windows: Building a Roadmap for OCaml on Windowsin-person OCaml Sudha Parimala Tarides, Benjamin Canou None, Pierre Boutillier None, David Allsopp Tarides File Attached

14:00 - 15:30	OCaml 5: progress in the multicore worldOCaml at Orange 2 Chair(s): Ambre Austen Suhamy Tarides Live stream: https://www.youtube.com/watch?v=OuQqblCxJ2Y

14:00 22m Talk		Picos — Interoperable effects based concurrencyin-person OCaml Vesa Karvonen Tarides File Attached
14:22 22m Talk		Distributed Actors in OCamlremote OCaml Wenke DU LIP ENS Lyon, Gabriel Radanne Inria, Ludovic Henrio University of Lyon - ENS Lyon - UCBL - CNRS - Inria - LIP File Attached
14:45 22m Talk		Priodomainslib: Prioritized Fine-grained Parallelism for Multicore OCamlin-person OCaml Stefan K. Muller Illinois Institute of Technology File Attached
15:07 22m Talk		Saturn: a library of verified concurrent data structures for OCaml 5in-person OCaml Clément Allain Inria, Vesa Karvonen Tarides, Carine Morel Tarides File Attached

16:00 - 17:30	OCaml ecosystem and applicationsOCaml at Orange 2 Chair(s): Pierre Chambart OCamlPRO Live stream: https://www.youtube.com/watch?v=OuQqblCxJ2Y

16:00 22m Talk		Opam 2.2 and beyondin-person OCaml Raja Boujbel OCamlPro, Kate Deplaix Consultant for the OCaml Software Foundation and Ahrefs, David Allsopp Tarides File Attached
16:22 22m Talk		Recursion schemes in OCaml: An experience reportin-person OCaml Tim Williams Bloomberg File Attached
16:45 22m Talk		ChorCaml: Functional Choreographic Programming in OCamlremote OCaml Rokas Urbonas University of Cambridge File Attached
17:07 22m Talk		B · o · B, a universal & secure file-transfer software in OCamlin-person OCaml Romain Calascibetta robur.coop File Attached

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 2	HOPE Keynote talk																								HOPE Session 1																																				HOPE Session 2																								HOPE Session 3

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 2							ML Session 1																		ML Session 2																																				ML Session 3																								ML Session 4

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 2	OCaml OCaml compiler features and optimizations																								OCaml OCaml developer experience																																				OCaml OCaml 5: progress in the multicore world																								OCaml OCaml ecosystem and applications

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 2	HOPE An introduction to synthetic guarded domain theory with applications to ... 09:00 - 10:00																								HOPE Amplifying Contextual Distance in Higher-Order Languages, using the Law ... 11:00 - 11:30						HOPE An Incremental Approach to the Semantics of Borrowing 11:30 - 12:00						HOPE Towards a linear functional translation for borrowing 12:00 - 12:30																								HOPE Effectful Assembly Programming with AsmFX 14:00 - 14:30						HOPE Logical Relations for Effect Capabilities 14:30 - 15:00						HOPE Paella: algebraic effects with parameters and their handlers 15:00 - 15:30												HOPE Arrows as applicatives in a monad 16:00 - 16:30						HOPE Mechanized monadic equational reasoning for ML references 16:30 - 17:00						HOPE Modularizing Reasoning about AI Capabilities via Abstract Dijkstra Monads 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
Orange 2							ML Designing interrupts for ML and OCaml 09:30 - 10:00						ML Fram: Named Parameters Pushed to the Limit 10:00 - 10:30												ML Is there a use for linear types? 11:00 - 11:30						ML Automatic Differentiation via Effects and Handlers in OCaml 11:30 - 12:00						ML Rethinking the Value Restriction 12:00 - 12:30																								ML Safe Pattern Generation for Multi-Stage Programming 14:00 - 14:30						ML Pattern-matching on mutable values: danger! 14:30 - 15:00						ML Light-speed type unification modulo isomorphisms 15:00 - 15:30												ML Labeled Tuples (Informed Position) 16:00 - 16:30						ML Wasm_of_ocaml 16:30 - 17:00

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 2	OCamlin-person On the design and implementation of Modular Explicits 09:00 - 09:22				OCamlin-person Flambda2 Validator 09:22 - 09:45					OCamlin-person A Non-allocating Option 09:45 - 10:07				OCamlin-person Mixed Blocks: Storing More Fields Flat 10:07 - 10:30											OCamlin-person Structured diagnostics for the OCaml compiler 11:00 - 11:22				OCamlin-person Project-wide occurrences for OCaml, a progress report 11:22 - 11:45					OCamlin-person Mica: Automated Differential Testing for OCaml Modules 11:45 - 12:07				OCamlin-person First-Class Windows: Building a Roadmap for OCaml on Windows 12:07 - 12:30																							OCamlin-person Picos — Interoperable effects based concurrency 14:00 - 14:22				OCamlremote Distributed Actors in OCaml 14:22 - 14:45					OCamlin-person Priodomainslib: Prioritized Fine-grained Parallelism for Multicore OCaml 14:45 - 15:07				OCamlin-person Saturn: a library of verified concurrent data structures for OCaml 5 15:07 - 15:30											OCamlin-person Opam 2.2 and beyond 16:00 - 16:22				OCamlin-person Recursion schemes in OCaml: An experience report 16:22 - 16:45					OCamlremote ChorCaml: Functional Choreographic Programming in OCaml 16:45 - 17:07				OCamlin-person B · o · B, a universal & secure file-transfer software in OCaml 17:07 - 17:30

Room information: Orange 2

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

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

HOPE

HOPE

HOPE

HOPE

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

ML

ML

ML

ML

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

OCaml

OCaml

OCaml

OCaml

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

Tracks

Workshops

Co-hosted Symposia

Room information: Orange 2

Program Display Configuration

Mon 2 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 6 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 7 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 2 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

HOPE

HOPE

HOPE

HOPE

Fri 6 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ML

ML

ML

ML

Sat 7 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

OCaml

OCaml

OCaml

OCaml

Mon 2 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 6 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 7 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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