Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 2 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 2 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 10mDay opening | Welcome to FARM! FARM | ||
09:10 35mTalk | Using Functional Reactive Programming for Robotic Art FARM Eliane I. Schmidli OST – Eastern Switzerland University of Applied Sciences, Farhad Mehta OST – Eastern Switzerland University of Applied Sciences | ||
09:45 23mTalk | Bridging art and mathematics with Tessella: a Scala functional library for regular polygon finite tessellations of a plane FARM Mario Càllisto None | ||
10:08 22mTalk | Functional Curves and Surfaces: Algebraic Geometry Inspired Visuals in Hydra FARM Yoni Maltsman Harvey Mudd College | ||
09:00 - 10:30 | Welcome & KeynoteErlang at Meeting 4 Chair(s): Kiko Fernandez-Reyes Ericsson, Sweden, Adriana Laura Voinea | ||
09:00 5mTalk | Welcome to the Erlang Workshop Erlang | ||
09:05 55mKeynote | (Keynote) Environmentally sustainable software and data architectures Erlang | ||
10:00 30mTalk | Unsafe Impedance: safe languages and safe by design software Erlang Pre-print | ||
09:00 - 10:30 | |||
09:00 60mKeynote | An introduction to synthetic guarded domain theory with applications to probabilistic programming languages HOPE Rasmus Ejlers Møgelberg IT University of Copenhagen Pre-print | ||
09:00 - 10:30 | Icebreaker and Getting the Most Out of ICFPPLMW @ ICFP at Orange 3 Chair(s): Stefan K. Muller Illinois Institute of Technology | ||
09:00 5mDay opening | Welcome PLMW @ ICFP Ningning Xie University of Toronto; Google DeepMind, Stefan K. Muller Illinois Institute of Technology, Thomas Bourgeat EPFL | ||
09:05 40mOther | PLMW Icebreaker Session PLMW @ ICFP | ||
09:45 45mTalk | Getting the Most Out of ICFP PLMW @ ICFP Samantha Frohlich University of Bristol | ||
10:30 - 11:00 | |||
11:00 - 12:30 | |||
11:00 22mTalk | Trane: Musical Janet on the Web FARM George Ash None | ||
11:22 22mTalk | From Konnakol to Live Coding FARM Alex McLean Then Try This | ||
11:45 22mTalk | Demo: Composable Compositions in Tonart FARM Jared Gentner None | ||
12:07 22mTalk | The Maquette Monad FARM | ||
11:00 - 12:30 | |||
11:00 30mTalk | 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 30mTalk | Nominal Types for Erlang Erlang Isabell Huang , John Högberg , Tobias Wrigstad Uppsala University, Kiko Fernandez-Reyes Ericsson, Sweden | ||
12:00 30mTalk | Modeling Erlang Compiler IR as SMT Formulas Erlang | ||
11:00 - 12:30 | |||
11:00 30mTalk | Amplifying Contextual Distance in Higher-Order Languages, using the Law of Large Numbers HOPE | ||
11:30 30mTalk | 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 30mTalk | Towards a linear functional translation for borrowing HOPE | ||
11:00 - 12:30 | Panel and Speed MentoringPLMW @ ICFP at Orange 3 Chair(s): Stefan K. Muller Illinois Institute of Technology | ||
11:00 60mPanel | 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 30mSocial Event | Speed mentoring PLMW @ ICFP | ||
12:30 - 14:00 | |||
14:00 - 15:30 | |||
14:00 22mTalk | Demo: A Geometric Approach to Generate Musical Rhythmic Patterns in Haskell FARM Xavier Góngora Universidad Nacional Autónoma de México Link to publication DOI | ||
14:22 22mTalk | Diffusion-Based Sound Synthesis in Music Production FARM Pierre-Louis Suckrow Berlin University of the Arts, Technical University of Berlin, Christoph Johannes Weber University of Television and Film Munich, LMU Munich, Sylvia Rothe University of Television and Film Munich | ||
14:45 10mTalk | Demo: Functional Sound Design FARM Stefano Panelli Conservatorio A. Vivaldi Alessandria | ||
14:55 35mTalk | A Progressive-Adaptive Music Generator (PAMG): An Approach to Interactive Procedural Music for Videogames FARM Alvaro Lopez Duarte University of California Riverside | ||
14:00 - 15:30 | |||
14:00 30mTalk | 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 30mTalk | 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 30mTalk | 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 | ||
14:00 - 15:30 | |||
14:00 30mTalk | 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 30mTalk | Logical Relations for Effect Capabilities HOPE | ||
15:00 30mTalk | 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 | ||
14:00 - 15:30 | Technical SessionPLMW @ ICFP at Orange 3 Chair(s): Ningning Xie University of Toronto; Google DeepMind | ||
14:00 45mTalk | How to read a research paper PLMW @ ICFP Simon Peyton Jones Epic Games | ||
14:45 45mTalk | Self-verification for Proof Assistants PLMW @ ICFP Yannick Forster Inria | ||
15:30 - 16:00 | |||
16:00 - 17:30 | |||
16:00 30mTalk | Elixir-powered Low-income Animal Shelter Support: an Experience Report from Conception to Production Erlang | ||
16:30 30mTalk | 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 30mTalk | Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors Erlang | ||
16:00 - 17:30 | |||
16:00 30mTalk | Arrows as applicatives in a monad HOPE Leo White Jane Street File Attached | ||
16:30 30mTalk | Mechanized monadic equational reasoning for ML references HOPE File Attached | ||
17:00 30mTalk | 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 | ||
16:00 - 17:30 | Sharing ExperiencesPLMW @ ICFP at Orange 3 Chair(s): Ningning Xie University of Toronto; Google DeepMind | ||
16:00 45mTalk | My PhD Compass: 6 Ways to Guide a PhD Towards Success PLMW @ ICFP Harrison Goldstein University of Maryland College Park | ||
16:45 45mDay closing | Conclusion, survey and unstructured time PLMW @ ICFP | ||
19:00 - 22:30 | Performance EveningFARM at Auditorium San Fedele Chair(s): Stephen Taylor University of Illinois Urbana-Champaign | ||
19:00 60mKeynote | Refactoring Musical Thought FARM Dmitri Tymoczko Princeton University | ||
20:20 15m | Live Coding Konnakol FARM Alex McLean Then Try This | ||
20:35 10m | Self-censorship FARM cecilia suhr Miami University | ||
20:45 10m | Hydra FCS: A Performance FARM Yoni Maltsman Harvey Mudd College | ||
20:55 15m | WAYA FARM Stefano Panelli Conservatorio A. Vivaldi Alessandria, Luca Carillo Conservatorio A. Vivaldi Alessandria | ||
21:10 10m | Gamyeon III FARM Tae Hong Park Purdue University | ||
Tue 3 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 3 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 60mKeynote | Requirements are All You Need ICFP Papers and Events Andrew D. Gordon Cogna and University of Edinburgh Link to publication Pre-print File Attached | ||
10:00 - 10:30 | |||
10:30 - 12:00 | Algebraic and Computational EffectsICFP Papers and Events / JFP First Papers at Green 1-2-3 Chair(s): Patrick Bahr IT University of Copenhagen | ||
10:30 18mTalk | Abstracting Effect Systems for Algebraic Effect Handlers ICFP Papers and Events Takuma Yoshioka Kyoto University, Taro Sekiyama National Institute of Informatics; SOKENDAI, Atsushi Igarashi Kyoto University DOI | ||
10:48 18mTalk | Parallel Algebraic Effect Handlers ICFP Papers and Events Ningning Xie University of Toronto; Google DeepMind, Daniel D. Johnson University of Toronto; Google DeepMind, Dougal Maclaurin Google DeepMind, Adam Paszke Google DeepMind DOI | ||
11:06 18mTalk | Abstract Interpreters: A Monadic Approach to Modular Verification ICFP Papers and Events Sébastien Michelland Université Grenoble-Alpes - Grenoble INP - LCIS, Yannick Zakowski Inria, Laure Gonnord Université Grenoble-Alpes - Grenoble INP - LCIS DOI Pre-print | ||
11:24 18mTalk | Algebraic effects and handlers for arrowsJFP First Paper JFP First Papers Takahiro Sanada Fukui Prefectural University | ||
11:42 18mTalk | How to Bake a Quantum Π ICFP Papers and Events Jacques Carette McMaster University, Chris Heunen University of Edinburgh, Robin Kaarsgaard University of Southern Denmark, Amr Sabry Indiana University DOI | ||
12:00 - 13:30 | |||
12:00 - 13:30 | |||
13:00 - 13:30 | |||
13:00 30mAwards | ICFP Contest Results ICFP Programming Contest | ||
13:30 - 15:00 | Type TheoryICFP Papers and Events / JFP First Papers at Green 1-2-3 Chair(s): Brent Yorgey Hendrix College | ||
13:30 18mTalk | Normalization by evaluation for modal dependent type theoryJFP First Paper JFP First Papers Jason Z.S. Hu McGill University, Junyoung Jang McGill University, Brigitte Pientka McGill University DOI | ||
13:48 18mTalk | Closure-Free Functional Programming in a Two-Level Type Theory ICFP Papers and Events András Kovács University of Gothenburg DOI Pre-print | ||
14:06 18mTalk | Gradual Indexed Inductive Types ICFP Papers and Events Mara Malewski Correa University of Chile, Kenji Maillard Inria, Nicolas Tabareau Inria, Éric Tanter University of Chile DOI | ||
14:24 18mTalk | Dependent Ghosts Have a Reflection for Free ICFP Papers and Events Théo Winterhalter Inria DOI | ||
14:42 18mTalk | Static Blame for gradual typingJFP First Paper JFP First Papers Chenghao Su Nanjing University, Lin Chen Nanjing University, Yanhui Li Nanjing University, Yuming Zhou Nanjing University DOI | ||
15:00 - 15:30 | |||
17:00 - 17:15 | |||
17:15 - 18:15 | Memorial for D. Turner & ArvindICFP Papers and Events at Green 1-2-3 Chair(s): Marco Gaboardi Boston University | ||
18:30 - 20:00 | |||
18:30 - 20:00 | |||
18:30 90mPoster | SRC Posters Student Research Competition | ||
Wed 4 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 4 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 60mKeynote | Capabilities for Control ICFP Papers and Events Martin Odersky EPFL | ||
10:00 - 10:30 | |||
12:00 - 13:30 | |||
12:00 - 13:30 | |||
13:00 - 13:30 | |||
13:00 30mTalk | SRC Presentations Student Research Competition | ||
15:00 - 15:30 | |||
15:30 - 16:42 | Verification and Cost AnalysisJFP First Papers / ICFP Papers and Events at Green 1-2-3 Chair(s): Clément Pit-Claudel EPFL | ||
15:30 18mTalk | Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs ICFP Papers and Events Li-yao Xia Unaffiliated, Laura Israel Portland State University, Maite Kramarz University of Toronto, Nicholas Coltharp Portland State University, Koen Claessen Chalmers University of Technology, Stephanie Weirich University of Pennsylvania, Yao Li Portland State University DOI Pre-print | ||
15:48 18mTalk | Level-p-complexity of Boolean functions using thinning, memoization, and polynomialsJFP First Paper JFP First Papers DOI | ||
16:06 18mTalk | CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs ICFP Papers and Events Cole Kurashige University of California at San Diego, Ruyi Ji Peking University, Aditya Giridharan University of California at San Diego, Mark Barbone University of California at San Diego, Daniel Noor Technion, Shachar Itzhaky Technion, Ranjit Jhala University of California at San Diego, Nadia Polikarpova University of California at San Diego DOI | ||
16:24 18mTalk | Contract Lenses: Reasoning about Bidirectional Programs via CalculationJFP First Paper JFP First Papers Hanliang Zhang University of Bristol, UK, Wenhao Tang University of Edinburgh, Ruifeng Xie Peking University, Meng Wang University of Bristol, Zhenjiang Hu Peking University DOI | ||
17:15 - 18:30 | |||
17:15 15mOther | Remembering Alan Jeffrey ICFP Papers and Events | ||
17:30 5mAwards | ICFP 2014 Most Influential Paper Award ICFP Papers and Events Marco Gaboardi Boston University | ||
17:35 5mAwards | Recognition of Distinguished Papers ICFP Papers and Events Brigitte Pientka McGill University | ||
17:40 5mTalk | SRC Awards ICFP Papers and Events | ||
17:45 10mOther | The functioning of ICFP ICFP Papers and Events Sam Lindley University of Edinburgh File Attached | ||
17:55 5mTalk | Diversity, equality, and inclusion at ICFP ICFP Papers and Events Alejandro Russo Chalmers University of Technology, Sweden / University of Gothenburg, Sweden / DPella AB, Sweden | ||
18:00 10mOther | General Chair report ICFP Papers and Events Marco Gaboardi Boston University | ||
18:10 15mOther | PC Chair's report ICFP Papers and Events Brigitte Pientka McGill University | ||
18:25 5mOther | ICFP 2025 announcement ICFP Papers and Events Ilya Sergey National University of Singapore | ||
19:00 - 20:30 | W@ICFP dinnerDiversity, Equity, and Inclusion The dinner will be held at the Big School café restaurant (~7min walk from the main venue). | ||
Thu 5 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 5 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | Thursday keynoteICFP Papers and Events at Green 1-2-3 Chair(s): Neel Krishnaswami University of Cambridge | ||
09:00 60mKeynote | Refinement Types from Light to Deep Verification ICFP Papers and Events Niki Vazou IMDEA Software Institute | ||
10:00 - 10:30 | |||
10:30 - 12:00 | Refinement Types, Type InferenceICFP Papers and Events / JFP First Papers at Green 1-2-3 Chair(s): Dominic Orchard University of Kent; University of Cambridge | ||
10:30 18mTalk | The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data StructuresDistinguished Paper ICFP Papers and Events Yijia Chen Hong Kong University of Science and Technology, Lionel Parreaux HKUST (The Hong Kong University of Science and Technology) DOI | ||
10:48 18mTalk | Contextual Typing ICFP Papers and Events DOI | ||
11:06 18mTalk | Synchronous Programming with Refinement Types ICFP Papers and Events Jiawei Chen University of Michigan at Ann Arbor, José Luiz Vargas de Mendonça University of Michigan at Ann Arbor, Bereket Shimels Ayele Addis Ababa Institute of Technology, Bereket Ngussie Bekele Addis Ababa Institute of Technology, Shayan Jalili University of Michigan at Ann Arbor, Pranjal Sharma University of Michigan at Ann Arbor, Nicholas Wohlfeil University of Michigan at Ann Arbor, Yicheng Zhang University of Michigan at Ann Arbor, Jean-Baptiste Jeannin University of Michigan at Ann Arbor DOI | ||
11:24 18mTalk | Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System ICFP Papers and Events DOI File Attached | ||
11:42 18mTalk | Trace contractsJFP First Paper JFP First Papers DOI | ||
12:00 - 13:30 | |||
12:00 - 13:30 | |||
15:00 - 15:30 | |||
Fri 6 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 60mKeynote | High-Performance Logic Programming on Servers, Clusters, and GPUsin-person miniKanren | ||
09:00 - 10:30 | |||
09:00 90mKeynote | 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 | ||
09:00 - 10:30 | |||
09:00 90mTutorial | Aeneas, a framework to verify safe Rust programs ICFP Tutorials Son Ho Inria | ||
09:00 - 10:30 | |||
09:00 5mDay opening | Welcome to TyDe TyDe | ||
09:05 80mKeynote | Types for correctness, convenience, and performance TyDe Gabriele Keller Utrecht University | ||
09:00 - 10:30 | |||
09:00 5mTalk | Welcome Haskell J. Garrett Morris University of Iowa | ||
09:05 70mKeynote | Fabricating Functional Formalisms for Fun Haskell Brent Yorgey Hendrix College | ||
09:30 - 10:30 | |||
09:30 60mKeynote | Architecting Functional Programs FUNARCH | ||
09:30 - 10:30 | |||
09:30 30mTalk | Designing interrupts for ML and OCaml ML | ||
10:00 30mTalk | Fram: Named Parameters Pushed to the Limit ML Media Attached | ||
10:30 - 11:00 | |||
11:00 - 12:30 | |||
11:00 30mTalk | Relational Reactive Programming: miniKanren for the Webremote miniKanren | ||
11:30 30mTalk | To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decisionin-person miniKanren | ||
12:00 30mTalk | Six Ways to Implement Divisibility by Three in miniKanrenin-person miniKanren Pre-print | ||
11:00 - 12:30 | |||
11:00 45mTalk | 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 45mTalk | 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 | ||
11:00 - 12:30 | |||
11:00 90mTutorial | Aeneas, a framework to verify safe Rust programs ICFP Tutorials Son Ho Inria | ||
11:00 - 12:30 | |||
11:00 45mResearch paper | F3: A Compiler For Feature Engineering FUNARCH Weixi Ma Meta, Arnaud Venet Facebook, Junhua Gu Meta, Subbu Subramanian Meta, Siyu Wang Meta, Rocky Liu Meta, Daniel Friedman Indiana University, Yafei Yang | ||
11:45 45mExperience report | Design and implementation of a verified interpreter for additive manufacturing programs FUNARCH Matthew Sottle Lawrence Livermore National Laboratory, Mohit Tekriwal Lawrence Livermore National Laboratory | ||
11:00 - 12:30 | |||
11:00 22mTalk | A Type- And Control- Flow Analysis for System FC (Extended Abstract) TyDe File Attached | ||
11:22 22mTalk | Dependent Types to Push Corners of the Property-based Testing (Extended Abstract) TyDe Denis Buzdalov Institute for System Programming of RAS File Attached | ||
11:45 22mTalk | How Novices Perceive Interactive Theorem Provers (Extended Abstract) TyDe Sára Juhošová Delft University of Technology File Attached | ||
12:07 22mTalk | Type-level Property Based Testing TyDe | ||
11:00 - 12:30 | |||
11:00 30mTalk | Is there a use for linear types? ML | ||
11:30 30mTalk | Automatic Differentiation via Effects and Handlers in OCaml ML Jesse Sigal University of Edinburgh Pre-print File Attached | ||
12:00 30mTalk | Rethinking the Value Restriction ML Stephen Dolan Jane Street | ||
11:00 - 12:30 | |||
11:00 30mTalk | Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus Haskell | ||
11:30 30mTalk | Liquid Amortization - Proving amortized complexity with LiquidHaskell (Functional Pearl) Haskell Jan van Brügge Heriot-Watt University | ||
12:00 30mTalk | Making a Curry Interpreter using Effects and Handlers Haskell | ||
12:30 - 14:00 | |||
14:00 - 15:30 | |||
14:00 60mKeynote | Hosted miniKanren: Reconciling Optimizing Compilation and Extensibilityin-person miniKanren | ||
15:00 30mTalk | typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskellremote miniKanren Pre-print | ||
14:00 - 15:30 | |||
14:00 45mTalk | A comparison of OpenCL, CUDA, and HIP as compilation targets for a functional array language FProPer Troels Henriksen University of Copenhagen | ||
14:45 45mTalk | 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 | ||
14:00 - 15:30 | Tutorial: Aeneas, a framework to verify safe Rust programs (repetition of part 1)ICFP Tutorials at Meeting 5 | ||
14:00 90mTutorial | Aeneas, a framework to verify safe Rust programs ICFP Tutorials Son Ho Inria | ||
14:00 - 15:30 | |||
14:00 45mExperience report | Applying Continuous Formal Methods to Cardano FUNARCH | ||
14:45 45mExperience report | Continuations: what have they ever done for us? FUNARCH | ||
14:00 - 15:30 | |||
14:00 22mTalk | Modal Mu-Calculus for Free in Agda TyDe | ||
14:22 22mTalk | First-class Algebraic Presentations with Elaborator Reflection (Extended Abstract) TyDe File Attached | ||
14:45 22mTalk | Normalizable types TyDe Stefan Monnier Université de Montréal | ||
15:07 22mTalk | Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma TyDe Hannes Saffrich University of Freiburg, Peter Thiemann University of Freiburg, Germany, Marius Weidner University of Freiburg | ||
14:00 - 15:30 | |||
14:00 30mTalk | Safe Pattern Generation for Multi-Stage Programming ML Pre-print Media Attached | ||
14:30 30mTalk | Pattern-matching on mutable values: danger! ML | ||
15:00 30mTalk | Light-speed type unification modulo isomorphisms ML File Attached | ||
14:00 - 15:30 | |||
14:00 70mKeynote | State of GHC Haskell Simon Peyton Jones Epic Games File Attached | ||
15:30 - 16:00 | |||
16:00 - 17:30 | |||
16:00 30mTalk | Improving stableKanren’s Backward Compatibilityin-person miniKanren | ||
16:30 30mTalk | A Relational Solver for Constraint-based Type Inferenceremote miniKanren | ||
16:00 - 17:30 | |||
16:00 45mTalk | Functional Sparse Tensor Compilation FProPer | ||
16:45 45mTalk | 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 | ||
16:00 - 17:30 | Tutorial: Aeneas, a framework to verify safe Rust programs (repetition of part 2)ICFP Tutorials at Meeting 5 | ||
16:00 90mTutorial | Aeneas, a framework to verify safe Rust programs ICFP Tutorials Son Ho Inria | ||
16:00 - 17:30 | |||
16:00 45mExperience report | Bidirectional Data Transformations FUNARCH Marcus Crestani Active Group GmbH, Markus Schlegel Active Group GmbH, Marco Schneider Active Group GmbH | ||
16:45 45mPanel | Future of FUNARCH FUNARCH Michael Sperber Active Group GmbH | ||
16:00 - 17:30 | |||
16:00 22mTalk | Typed, Concise, Nanopass (pick 3) (Extended Abstract) TyDe Lawrence Chonavel Utrecht University File Attached | ||
16:22 22mTalk | Term Search in Rust TyDe | ||
16:45 22mTalk | Towards Type-Directed API Search for Mainstream Languages TyDe Marc Etter OST Eastern Switzerland University of Applied Sciences, Farhad Mehta OST Eastern Switzerland University of Applied Sciences | ||
17:07 22mMeeting | TyDe closing TyDe | ||
16:00 - 17:30 | |||
16:00 30mTalk | Labeled Tuples (Informed Position) ML | ||
16:30 30mTalk | Wasm_of_ocaml ML | ||
16:00 - 17:30 | |||
16:00 30mTalk | 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 20mTalk | [HIW] Thrive with HEAD - How to adopt innovation from GHC HEAD timely in industrial scale Haskell Ian-Woo Kim Mercury Technologies, Inc | ||
16:50 40mTalk | Lightning talks I Haskell | ||
Sat 7 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 7 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 60mTalk | Scheme on WebAssembly: It is happening! Scheme Andy Wingo Igalia, S.L. File Attached | ||
10:00 30mTalk | An Implementation of a Visual Stepper in the GRASP Programming System Scheme Panicz Godek None File Attached | ||
09:00 - 10:30 | |||
09:00 90mTutorial | Teaching functional programming ICFP Tutorials Michael Sperber Active Group GmbH | ||
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 22mTalk | On the design and implementation of Modular Explicitsin-person OCaml File Attached | ||
09:22 22mTalk | Flambda2 Validatorin-person OCaml File Attached | ||
09:45 22mTalk | A Non-allocating Optionin-person OCaml Richard A. Eisenberg Jane Street File Attached | ||
10:07 22mTalk | Mixed Blocks: Storing More Fields Flatin-person OCaml Nicholas Roberts Jane Street File Attached | ||
09:00 - 10:30 | |||
09:00 30mTalk | MicroHs - A Small Compiler for Haskell Haskell Lennart Augustsson Epic Games | ||
09:30 30mTalk | Higher Order Patterns for Rewrite Rules Haskell Jaro Reinders Delft University of Technology DOI File Attached | ||
10:00 30mTalk | Welcome to the Parti(tioning) (Functional Pearl) Haskell | ||
10:30 - 11:00 | |||
11:00 - 12:30 | |||
11:00 30mTalk | A Teaching Language for Specification Scheme Cameron Moy Northeastern University | ||
11:30 30mTalk | Beyond SICP - Design and Implementation of a Notional Machine for Scheme Scheme File Attached | ||
12:00 30mTalk | Nocksche and Nocko Scheme James Torre None | ||
11:00 - 12:30 | |||
11:00 90mTutorial | Teaching functional programming ICFP Tutorials Michael Sperber Active Group GmbH | ||
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 22mTalk | Structured diagnostics for the OCaml compilerin-person OCaml Florian Angeletti Inria File Attached | ||
11:22 22mTalk | Project-wide occurrences for OCaml, a progress reportin-person OCaml Ulysse Gérard Tarides File Attached | ||
11:45 22mTalk | 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 22mTalk | First-Class Windows: Building a Roadmap for OCaml on Windowsin-person OCaml File Attached | ||
11:00 - 12:30 | |||
11:00 22mTalk | [HIW] Analysing the heap of uninstrumented Haskell programs using ghc-debug Haskell Zubin Duggal Well-Typed LLP | ||
11:22 22mTalk | [HIW] A zero-copy interface to compact regions powered by destinations Haskell Thomas BAGREL Tweag, LORIA/INRIA | ||
11:45 22mTalk | [HIW] Building Haskell with Buck2 Haskell Andreas Herrmann Tweag by Modus Create | ||
12:07 22mTalk | [HIW] The JavaScript FFI feature in GHC Wasm backend Haskell Cheng Shao Modus Create | ||
12:30 - 14:00 | |||
14:00 - 15:30 | |||
14:00 90mTutorial | Tutorial on Program Transformations Scheme Jason Hemann Seton Hall University | ||
14:00 - 15:30 | |||
14:00 90mTutorial | Teaching functional programming ICFP Tutorials Michael Sperber Active Group GmbH | ||
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 22mTalk | Picos — Interoperable effects based concurrencyin-person OCaml Vesa Karvonen Tarides File Attached | ||
14:22 22mTalk | 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 22mTalk | Priodomainslib: Prioritized Fine-grained Parallelism for Multicore OCamlin-person OCaml Stefan K. Muller Illinois Institute of Technology File Attached | ||
15:07 22mTalk | Saturn: a library of verified concurrent data structures for OCaml 5in-person OCaml File Attached | ||
14:00 - 15:30 | |||
14:00 30mTalk | Calculating Compilers Effectively Haskell Zac Garby University of Nottingham, Graham Hutton University of Nottingham, Patrick Bahr IT University of Copenhagen | ||
14:30 30mTalk | Cloaca: A Concurrent Hardware Garbage Collector for Non-Strict Functional Languages Haskell | ||
15:00 30mTalk | Functional Reactive Programming, Rearranged Haskell | ||
15:30 - 16:00 | |||
16:00 - 17:30 | |||
16:00 60mTalk | Challenges in the Design and Implementation of Teaching Languages for EDSLs Scheme Jason Hemann Seton Hall University | ||
16:00 - 17:30 | |||
16:00 90mTutorial | Teaching functional programming ICFP Tutorials Michael Sperber Active Group GmbH | ||
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 22mTalk | 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 22mTalk | Recursion schemes in OCaml: An experience reportin-person OCaml Tim Williams Bloomberg File Attached | ||
16:45 22mTalk | ChorCaml: Functional Choreographic Programming in OCamlremote OCaml Rokas Urbonas University of Cambridge File Attached | ||
17:07 22mTalk | B · o · B, a universal & secure file-transfer software in OCamlin-person OCaml Romain Calascibetta robur.coop File Attached | ||
16:00 - 17:30 | |||
16:00 90mTalk | Lightning talks II / Chairs' report / Future of HS discussion Haskell | ||