ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Workshop

The HOPE workshop series are intended to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. They are informal, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. They are dedicated to John Reynolds, whose work is an inspiration to us all.

The 10th ACM SIGPLAN Workshop on Higher-Order Programming with Effects will take place on Sunday, September 11, 2022, that is, the day before ICFP 2022.

Goals of the Workshop

A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, control effects, concurrency, etc. While effects are of critical importance in many applications, they also make code harder to build, maintain, and reason about. Higher-order languages (both functional and object-oriented) provide a variety of abstraction mechanisms to help “tame” or “encapsulate” effects (e.g. monads and handlers, ADTs, ownership types, typestate, first-class events, transactions, Hoare Type Theory, session types, substructural and region-based type systems), and a number of different semantic models and verification technologies have been developed in order to codify and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexed Kripke logical relations, higher-order separation logic, game semantics, various modal logics). But there remain many open problems, and the field is highly active.

The goal of the HOPE workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the design, semantics, implementation, and verification of higher-order effectful programs.

We want HOPE to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc., to be made available online.

Previous Editions

This is the 10th edition of the HOPE workshop.

The 9th edition of the workshop was held online due to the Covid-19 pandemic, but would otherwise have been held in Seoul, South Korea, in August 2021.

The 8th edition of the workshop was held online due to the Covid-19 pandemic, but would otherwise have been held in Jersey City, New Jersey, in August 2020.

The 7th edition of the workshop was held in St. Louis, Missouri, in September 2018

The 6th edition of the workshop was held in Oxford, United Kingdom, in September 2017

The 5th edition of the workshop was held in Nara, Japan, in September 2016.

The 4th edition of the workshop was held in Vancouver, Canada, in August 2015.

The 3rd edition of the workshop was held in Gothenburg, Sweden, in August 2014.

The 2nd edition of the workshop was held in Boston, Massachusetts, in September 2013.

The 1st edition of the workshop was held in Copenhagen, Denmark, in September 2012.

Plenary
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 11 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 09:00
RegistrationCatering & social at Foyer 2 +120h +48h +96h +72h

All speakers speaking in the morning session should arrive early to submit the slides. We recommend that you arrive already at 8:00.

08:00
60m
Registration
Registration
Catering & social

10:30 - 11:00
Coffee breakCatering & social at Foyer 2 +96h +120h
10:30
30m
Coffee break
Coffee break
Catering & social

11:00 - 12:30
HOPE Session 2HOPE at M1
11:00
30m
Talk
Relative Monads in CBPV for Stack-based Effects
HOPE
Max S. New University of Michigan
11:30
30m
Talk
Temporal refinements for Call-By-Push-Value with fixpoint
HOPE
Guilhem Jaber University of Nantes, Kenji Maillard Inria Nantes & University of Chile, Colin Riba LIP - ENS de Lyon
File Attached
12:00
30m
Talk
On Reinforcement Learning, Effect Handlers, and the State Monad
HOPE
Ugo Dal Lago University of Bologna; Inria, Alexis Ghyselen University of Bologna, Francesco Gavazzo University of Bologna & INRIA Sophia Antipolis
12:30 - 14:00
LunchCatering & social at Foyer 2 +120h +96h
12:30
90m
Lunch
Lunch
Catering & social

14:00 - 15:30
HOPE Session 3HOPE at M1
14:00
30m
Talk
Flexibly graded monads and graded algebras
HOPE
Dylan McDermott Reykjavik University, Tarmo Uustalu Reykjavik University
File Attached
14:30
30m
Talk
Monadic Semantics of Bidirectional Effects
HOPE
Youyou Cong Tokyo Institute of Technology, Shin-ya Katsumata National Institute of Informatics, Kazuki Niimi Axell Corporation, Jonathan Immanuel Brachthäuser University of Tübingen
15:30 - 16:00
Coffee breakCatering & social at Foyer 2 +96h +120h
15:30
30m
Coffee break
Coffee break
Catering & social

16:00 - 17:30
HOPE Session 4HOPE at M1
16:00
30m
Talk
Dependent Temporal Type-and-Effect System with Delimited Continuations
HOPE
Taro Sekiyama National Institute of Informatics, Hiroshi Unno University of Tsukuba; RIKEN AIP
16:30
30m
Talk
Enabling Safe Shared-Memory Interoperability in WebAssemblyVirtual
HOPE
Michael Fitzgibbons Northeastern University (USA), Zoe Paraskevopoulou Northeastern University, Noble Mushtak Northeastern University, Amal Ahmed Northeastern University, USA
17:00
30m
Talk
Verifying non-terminating programs with IO in F*
HOPE
Cezar-Constantin Andrici MPI-SP, Theo Winterhalter MPI-SP, Cătălin Hriţcu MPI-SP, Exequiel Rivas Tallinn University of Technology
Pre-print File Attached

Not scheduled yet

Not scheduled yet
Talk
Quantitative and Metric Rewriting: Abstract and Linear Systems
HOPE
Francesco Gavazzo University of Bologna & INRIA Sophia Antipolis, Cecilia di Florio University of Bologna

Call for Talk Proposals

We solicit proposals for contributed talks. We recommend preparing proposals of at most 2 pages excluding references, in either plain text or PDF format. However, we will accept longer proposals or submissions to other conferences, under the understanding that PC members are only expected to read the first two pages of such longer submissions. When submitting talk proposals, authors should specify how long a talk the speaker wishes to give. By default, contributed talks will be around 30 minutes long, but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides) if they desire, which PC members are free (but not expected) to read.

We are interested in talks on all topics related to the interaction of higher-order programming and computational effects. Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs, Daniel Hillerström (daniel.hillerstrom@ed.ac.uk) and Oleg Kiselyov (oleg@okmij.org).

We offer in-person as well as virtual participation for HOPE. Virtual attendees and presenters can find more information about virtual participation and preparation of video materials on the general ICFP virtual participation page.