Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 4 SepDisplayed time zone: Pacific Time (US & Canada) change
Mon 4 Sep
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:30 | |||
09:00 15mDay opening | Welcome to the Erlang Workshop Erlang | ||
09:15 75mKeynote | Keynote: Code Analysis at WhatsApp Erlang Ke Mao Meta | ||
09:00 - 10:30 | |||
09:00 45mSocial Event | PLMW Icebreaker Session PLMW @ ICFP | ||
09:45 45mTalk | How to Thrive as a PhD student in PL PLMW @ ICFP Sam Westrick Carnegie Mellon University | ||
09:00 - 10:30 | |||
09:00 30mTalk | Introduction HIW Ryan Scott Galois, Inc. | ||
09:30 60mTalk | GHC status report HIW | ||
09:00 - 10:30 | |||
09:00 45mKeynote | Programming the Groq TSP Architecture in Haskell with Haste FHPNC | ||
09:45 45mTalk | Rank-Polymorphism for Shape-Guided Blocking FHPNC Artjoms Šinkarovs Heriot-Watt University, UK, Thomas Koopman Radboud University, Sven-Bodo Scholz Heriot-Watt University DOI | ||
09:00 - 10:30 | |||
09:00 10mDay opening | Welcome TyDe Pierre-Evariste Dagand IRIF / CNRS | ||
09:10 60mKeynote | Multi-phase computation as an applicative functor TyDe Jeremy Gibbons Department of Computer Science, University of Oxford | ||
09:00 - 10:30 | |||
09:00 30mTalk | One Weird Trick to Untie Landin's Knot HOPE Paulette Koronkevich University of British Columbia, William J. Bowman University of British Columbia | ||
09:30 30mTalk | Operational game semantics for generative algebraic effects and handlersRemote HOPE | ||
10:00 30mTalk | Higher-Order Weakest Precondition Transformers via a CPS Transformation HOPE Satoshi Kura National Institute of Informatics Pre-print | ||
10:30 - 11:00 | |||
11:00 - 12:30 | |||
11:00 45mTalk | Invited Talk: A Type System for Elixir Erlang Pre-print | ||
11:45 30mTalk | A semantics of Core Erlang with handling of signals Erlang | ||
12:15 15mTalk | Lightning Talk: How To Add Dialyzer To An Existing Elixir Project Without Your Colleagues Hating You Erlang Noah Betzen Lightning Talk Speaker | ||
11:00 - 12:30 | |||
11:00 45mPanel | Getting Productive in Research PLMW @ ICFP Daan Leijen Microsoft Research, Mae Milano University of California at Berkeley, Leonidas Lampropoulos University of Maryland, College Park, Benjamin C. Pierce University of Pennsylvania, Cyrus Omar University of Michigan | ||
11:45 45mTalk | Getting the Most Out of ICFP PLMW @ ICFP Paulette Koronkevich University of British Columbia | ||
11:00 - 12:30 | |||
11:00 30mTalk | Integrating Liquid Haskell with GHC HIW Facundo Domínguez Tweag | ||
11:30 30mTalk | Error Message Annotation Plugins for Haskell HIW Dylan Thinnes Digital Asset | ||
12:00 15mTalk | An Algorithm Generator for Fixed-point Oriented Programming (Lightning Talk) HIW | ||
12:15 15mTalk | Advancements in info table profiling (Lightning Talk) HIW Finley McIlwaine Well-Typed LLP | ||
11:00 - 12:30 | |||
11:00 45mKeynote | Fast Deep Learning with Categories FHPNC Michael Sperber Active Group GmbH | ||
11:45 45mTalk | Efficient GPU Implementation of Affine Index Permutations on Arrays FHPNC Mathis Bouverot-Dupuis École normale supérieure Paris-Saclay, Mary Sheeran Chalmers | University of Gothenburg DOI | ||
11:00 - 12:30 | TyDe: Type-Driven TypesTyDe at St Helens Chair(s): Reynald Affeldt National Institute of Advanced Industrial Science and Technology (AIST), Japan | ||
11:00 22mTalk | A Calculus of Inductive Linear Constructions TyDe DOI | ||
11:22 22mTalk | A Dependently Typed Language with Dynamic Equality TyDe Mark Lemay Autodesk, Qiancheng Fu Boston University, William Blair Boston University, Cheng Zhang Boston University, Hongwei Xi Boston University DOI | ||
11:45 22mTalk | Combining Dependency, Grades, and Adjoint Logic TyDe DOI | ||
12:07 22mTalk | Infix-Extensible Record Types for Tabular DataRecorded TyDe DOI | ||
11:00 - 12:30 | |||
11:00 30mTalk | Event-Driven Multiparty Session Actors HOPE Pre-print | ||
11:30 30mTalk | Flattening Meets Effects: A Surprising Connection HOPE Ezra e. k. Cooper Independent | ||
12:30 - 14:00 | |||
14:00 - 15:30 | |||
14:00 45mTalk | Invited Talk: Set-theoretic Types for Erlang Erlang Albert Schimpf University of Kaiserslautern-Landau, Stefan Wehr Offenburg University of Applied Sciences, Annette Bieniusa University of Kaiserslautern-Landau Link to publication DOI Authorizer link Pre-print | ||
14:45 30mTalk | Mria: an eventually consistent MnesiaRemote Erlang Dmitrii Fedoseev , Serhii Tupchii EMQ Technologies, Thales Macedo Garitezi EMQ Technologies, Zaiming Shi EMQ Technologies | ||
15:15 15mTalk | Lightning Talk: Towards Mailbox Typing for Erlang Erlang Simon Fowler University of Glasgow | ||
14:00 - 15:30 | |||
14:00 45mTalk | A History of Subtyping PLMW @ ICFP Benjamin C. Pierce University of Pennsylvania | ||
14:45 45mTalk | Mental Health Mentoring for PL StudentsRemote PLMW @ ICFP Rose Bohrer Worcester Polytechnic Institute | ||
14:00 - 15:30 | |||
14:00 30mTalk | GHC Plugin for Setting Breakpoints HIW | ||
14:30 15mTalk | Building web apps with Haskell and IHP (Lightning Talk) HIW Marc Scholten digitally induced | ||
14:45 15mTalk | Deriving as a library (Lightning Talk) HIW Li-yao Xia University of Edinburgh | ||
15:00 15mTalk | MicroHaskell (Lightning Talk) HIW Lennart Augustsson Epic Games | ||
15:15 15mTalk | Using MMTk Garbage Collection in GHC (Lightning Talk)Remote HIW | ||
14:00 - 15:30 | |||
14:00 45mKeynote | Performance vs. Correctness When Writing Low-Level HPC/Tensor/Array Code FHPNC Gilbert Louis Bernstein Stanford University, USA | ||
14:45 45mTalk | The best multicore-parallelization refactoring you've never heard of FHPNC Mike Rainey Carnegie Mellon University | ||
14:00 - 15:30 | |||
14:00 22mTalk | An Intrinsically-typed Probabilistic Programming Language in Coq (Extended Abstract) TyDe Ayumu Saito Tokyo Institute of Technology, Reynald Affeldt National Institute of Advanced Industrial Science and Technology (AIST), Japan File Attached | ||
14:22 22mTalk | A Type System For Feature Engineering (Extended Abstract) TyDe File Attached | ||
14:45 22mTalk | A type-theoretic account of quantum computation (Extended Abstract) TyDe File Attached | ||
15:07 22mTalk | Exploring modal types for the Intel Quantum SDK (Extended Abstract) TyDe Jennifer Paykin Intel File Attached | ||
14:00 - 15:30 | |||
14:00 30mTalk | Continuations and Coexponentials HOPE Vikraman Choudhury University of Glasgow | ||
14:30 30mTalk | Granite: Compositional Functional Logic Programming HOPE | ||
15:00 30mTalk | Semantic foundations of potential-synthesis for expected amortised-cost analysis HOPE | ||
15:30 - 16:00 | |||
16:00 - 17:30 | |||
16:00 30mTalk | Generation and Refinement of Testing Models 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 | ||
16:30 30mTalk | TLS the Erlang/OTP way (Experience Report) Erlang Ingela A. Andin Ericsson, SE, Raimo Niskanen Ericsson, SE, Peter Dimitrov Ericsson, SE, Kiko Fernandez-Reyes Ericsson, Sweden | ||
17:00 15mDay closing | Closing of the Erlang Workshop Erlang | ||
16:00 - 17:30 | |||
16:00 45mTalk | How to Write a Great Research Paper PLMW @ ICFP Simon Peyton Jones Epic Games | ||
16:45 45mSocial Event | Speed Mentoring PLMW @ ICFP | ||
16:00 - 17:30 | |||
16:00 30mTalk | Severing ties: the need for non-updateable thunks HIW Edsko de Vries Well-Typed LLP | ||
16:30 30mTalk | ghc-specter: a GHC plugin that inspects the GHC state on live HIW Ian-Woo Kim Mercury Technologies, Inc | ||
17:00 15mTalk | Execution domains in GHC/Haskell (Lightning Talk) HIW Ben Gamari Well-Typed LLP | ||
17:15 15mTalk | Kudzu (Lightning Talk) HIW | ||
16:00 - 17:30 | |||
16:00 45mTalk | Shape-Constrained Array Programming with Size-Dependent Types FHPNC Lubin Bailly École normale supérieure, Troels Henriksen University of Copenhagen, Denmark, Martin Elsman University of Copenhagen, Denmark DOI | ||
16:45 45mPanel | Community Update and Discussion FHPNC | ||
16:00 - 17:30 | TyDe: Type-Driven RuntimesTyDe at St Helens Chair(s): Ningning Xie University of Toronto / Google DeepMind | ||
16:00 22mTalk | Semantic Encapsulation using Linking Types TyDe Daniel Patterson Northeastern University, Andrew Wagner Northeastern University, Amal Ahmed Northeastern University, USA DOI | ||
16:22 22mTalk | Towards Tagless Interpretation of Stratified System F (Extended Abstract) TyDe File Attached | ||
16:45 22mTalk | Types as First-Class Values in Fuzion (Extended Abstract) TyDe Fridtjof Siebert Tokiwa Software GmbH File Attached | ||
17:07 22mTalk | Pipit: Reactive Systems in F★ (Extended Abstract) TyDe Amos Robinson Australian National University, Australia, Alex Potanin Australian National University File Attached | ||
16:00 - 17:30 | |||
16:00 30mTalk | A proof of normalization for effect handlers HOPE Wiktor Kuchta University of Wrocław File Attached | ||
16:30 30mTalk | Free Variable as Effect, in Practice HOPE Oleg Kiselyov Tohoku University File Attached | ||
Tue 5 SepDisplayed time zone: Pacific Time (US & Canada) change
Tue 5 Sep
Displayed time zone: Pacific Time (US & Canada) change
08:00 - 08:50 | |||
08:50 - 09:00 | WelcomeICFP Papers and Events / ICFP Keynotes at A - Grand Ballroom 2 Chair(s): Nikhil Swamy Microsoft Research | ||
08:50 10m | Welcome ICFP Papers and Events Nikhil Swamy Microsoft Research | ||
09:00 - 10:00 | Morning keynoteICFP Keynotes / ICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Sam Lindley University of Edinburgh | ||
09:00 60mKeynote | Programming for the planet ICFP Keynotes Anil Madhavapeddy University of Cambridge, UK | ||
10:00 - 10:30 | |||
10:30 - 12:00 | EffectsICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Ningning Xie University of Toronto / Google DeepMind | ||
10:30 30mTalk | A General Fine-Grained Reduction Theory for Effect Handlers ICFP Papers and Events Filip Sieczkowski Heriot-Watt University, Mateusz Pyzik University of Wrocław, Dariusz Biernacki University of Wrocław DOI | ||
11:00 30mTalk | Modular Models of Monoids with Operations ICFP Papers and Events DOI | ||
11:30 30mTalk | With or Without You: Programming with Effect Exclusion ICFP Papers and Events Matthew Lutze Aarhus University, Magnus Madsen Aarhus University, Philipp Schuster University of Tübingen, Jonathan Immanuel Brachthäuser University of Tübingen DOI | ||
10:30 - 12:00 | |||
10:30 30mTalk | Is Sized Typing for Coq Practical?JFP Presentation ICFP Papers and Events Jonathan Chan University of Pennsylvania, Yufeng Li University of Waterloo, William J. Bowman University of British Columbia Link to publication DOI Media Attached | ||
11:00 30mTalk | Dependently-Typed Programming with Logical Equality Reflection ICFP Papers and Events DOI | ||
11:30 30mTalk | A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized ICFP Papers and Events Andreas Abel Gothenburg University, Nils Anders Danielsson Chalmers and Gothenburg University, Oskar Eriksson Chalmers and Gothenburg University DOI | ||
12:00 - 13:30 | |||
12:00 - 13:30 | |||
13:30 - 14:30 | Afternoon keynoteICFP Keynotes / ICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Nikhil Swamy Microsoft Research | ||
13:30 60mKeynote | As low-level as possible, but no lower ICFP Keynotes Andreas Rossberg Independent | ||
14:30 - 15:00 | |||
15:00 - 16:00 | Concurrency and distributionICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Satnam Singh Groq | ||
15:00 30mTalk | Special Delivery: Programming with Mailbox Types ICFP Papers and Events Simon Fowler University of Glasgow, Duncan Paul Attard University of Glasgow, Franciszek Sowul University of Glasgow, Simon J. Gay University of Glasgow, UK, Phil Trinder University of Glasgow DOI Pre-print | ||
15:30 30mTalk | HasChor: Functional Choreographic Programming for All (Functional Pearl)Functional PearlDistinguished Paper ICFP Papers and Events Gan Shen University of California, Santa Cruz, USA, Shun Kashiwa University of California, Santa Cruz, Lindsey Kuper University of California, Santa Cruz DOI Pre-print | ||
15:00 - 16:00 | FixpointsICFP Papers and Events at B - Fifth Avenue Chair(s): Sam Tobin-Hochstadt Indiana University | ||
15:00 30mTalk | Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters ICFP Papers and Events DOI | ||
15:30 30mTalk | More Fixpoints! (Functional Pearl)Functional Pearl ICFP Papers and Events Joachim Breitner unaffiliated DOI Pre-print File Attached | ||
16:00 - 16:30 | |||
16:30 - 17:30 | |||
16:30 35m | Student research contest talks ICFP Papers and Events | ||
17:05 25m | Programming contest report ICFP Papers and Events | ||
18:00 - 19:30 | |||
Wed 6 SepDisplayed time zone: Pacific Time (US & Canada) change
Wed 6 Sep
Displayed time zone: Pacific Time (US & Canada) change
08:00 - 09:00 | |||
09:00 - 10:00 | |||
09:00 60mKeynote | TypeScript: Static types for JavaScript ICFP Keynotes Anders Hejlsberg Microsoft | ||
10:00 - 10:30 | |||
10:30 - 12:00 | Verification 1ICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Tahina Ramananandro Microsoft Research | ||
10:30 30mTalk | Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification ICFP Papers and Events DOI | ||
11:00 30mTalk | Higher-Order Property-Directed Reachability ICFP Papers and Events Hiroyuki Katsura University of Tokyo, Naoki Kobayashi University of Tokyo, Ryosuke Sato University of Tokyo DOI | ||
11:30 30mTalk | Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation ProtocolsRemote ICFP Papers and Events Léon Gondelman Aarhus University, Jonas Kastberg Hinrichsen Aarhus University, Denmark, Mário Pereira NOVA LINCS & DI -- Nova School of Science and Technology, Amin Timany Aarhus University, Lars Birkedal Aarhus University DOI | ||
10:30 - 12:00 | |||
10:30 30mTalk | Reflecting on Random GenerationDistinguished Paper ICFP Papers and Events Harrison Goldstein University of Pennsylvania, Samantha Frohlich University of Bristol, Meng Wang University of Bristol, Benjamin C. Pierce University of Pennsylvania DOI | ||
11:00 30mTalk | Etna: An Evaluation Platform for Property-Based Testing (Experience Report)Experience Report ICFP Papers and Events Jessica Shi University of Pennsylvania, Alperen Keles University of Maryland at College Park, Harrison Goldstein University of Pennsylvania, Benjamin C. Pierce University of Pennsylvania, Leonidas Lampropoulos University of Maryland, College Park DOI | ||
11:30 30mTalk | Formal Specification and Testing for Reinforcement LearningRemote ICFP Papers and Events Mahsa Varshosaz IT University of Copenhagen, Denmark, Mohsen Ghaffari IT University of Copenhagen, Einar Broch Johnsen University of Oslo, Andrzej Wąsowski IT University of Copenhagen, Denmark DOI | ||
12:00 - 13:30 | |||
12:00 - 13:30 | |||
13:30 - 14:30 | Circuits and monoidsICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Patrik Jansson Chalmers University of Technology | ||
13:30 30mTalk | Timely Computation ICFP Papers and Events Conal Elliott Independenet DOI Pre-print | ||
14:00 30mTalk | A well-known representation of monoids and its application to the function ‘vector reverse’Functional PearlJFP PresentationRemote ICFP Papers and Events Wouter Swierstra Utrecht University, Netherlands Link to publication DOI | ||
13:30 - 14:30 | |||
13:30 30mTalk | Embedding by Unembedding ICFP Papers and Events Kazutaka Matsuda Tohoku University, Samantha Frohlich University of Bristol, Meng Wang University of Bristol, Nicolas Wu Imperial College London DOI | ||
14:00 30mTalk | MacoCaml: Staging Composable and Compilable Macros ICFP Papers and Events Ningning Xie University of Toronto / Google DeepMind, Leo White Jane Street, Olivier Nicole Tarides, Jeremy Yallop University of Cambridge DOI Pre-print | ||
14:30 - 15:00 | |||
15:00 - 16:00 | |||
15:00 30mTalk | Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc ICFP Papers and Events DOI Pre-print | ||
15:30 30mTalk | Typing Records, Maps, and Structs ICFP Papers and Events Giuseppe Castagna CNRS; Université Paris Cité DOI | ||
15:00 - 16:00 | Modal FRPICFP Papers and Events at B - Fifth Avenue Chair(s): Amos Robinson Australian National University, Australia | ||
15:00 30mTalk | Modal FRP for all: Functional reactive programming without space leaks in HaskellJFP Presentation ICFP Papers and Events Patrick Bahr IT University of Copenhagen Link to publication DOI | ||
15:30 30mTalk | Asynchronous Modal FRP ICFP Papers and Events DOI Pre-print | ||
16:00 - 16:30 | |||
16:30 - 17:15 | Business meetingICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Nikhil Swamy Microsoft Research | ||
16:30 15mAwards | Awards ICFP Papers and Events File Attached | ||
16:45 5m | JFP at ICFP ICFP Papers and Events Gabriele Keller Utrecht University | ||
16:50 5m | Diversity, equality, and inclusion at ICFP ICFP Papers and Events Daan Leijen Microsoft Research | ||
16:55 15m | PC Chair's report ICFP Papers and Events Sam Lindley University of Edinburgh File Attached | ||
17:10 5m | ICFP 2024 announcement ICFP Papers and Events Marco Gaboardi Boston University File Attached | ||
19:00 - 21:30 | W@ICFP DinnerDiversity, Equity, and Inclusion at W@ICFP Dinner Ändra Loft Bar, 2000 4th Ave, Seattle, WA 98121 | ||
Thu 7 SepDisplayed time zone: Pacific Time (US & Canada) change
Thu 7 Sep
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:00 | KeynoteICFP Keynotes / ICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Matthew Flatt University of Utah | ||
09:00 60mKeynote | The Cogent and Dargent approach to facilitating verified software development ICFP Keynotes Christine Rizkallah University of Melbourne | ||
10:00 - 10:30 | |||
10:30 - 12:00 | Verification 2ICFP Papers and Events at B - Fifth Avenue Chair(s): Niki Vazou IMDEA Software Institute | ||
10:30 30mTalk | Explicit Refinement Types ICFP Papers and Events DOI | ||
11:00 30mTalk | Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)Experience Report ICFP Papers and Events Thomas Bourgeat , Ian Clester Georgia Institute of Technology, Andres Erbsen MIT, Samuel Gruetter Massachusetts Institute of Technology, Pratap Singh CMU, Andy Wright MIT, Adam Chlipala Massachusetts Institute of Technology DOI | ||
12:00 - 13:30 | |||
12:00 - 13:30 | |||
13:30 - 14:30 | Session typing functional pearlsICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Andrew K. Hirsch University at Buffalo, SUNY | ||
13:30 30mTalk | Intrinsically Typed Sessions with Callbacks (Functional Pearl)Functional Pearl ICFP Papers and Events Peter Thiemann University of Freiburg, Germany DOI | ||
14:00 30mTalk | Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl)Functional PearlRemote ICFP Papers and Events Jules Jacobs Radboud University Nijmegen, Jonas Kastberg Hinrichsen Aarhus University, Denmark, Robbert Krebbers Radboud University Nijmegen DOI | ||
13:30 - 14:30 | Blame and educationICFP Papers and Events at B - Fifth Avenue Chair(s): Benjamin C. Pierce University of Pennsylvania | ||
13:30 30mTalk | How to Evaluate Blame for Gradual Types, Part 2 ICFP Papers and Events Lukas Lazarek Northwestern University, Ben Greenman Brown University, Matthias Felleisen PLT @ Northeastern University, Christos Dimoulas PLT @ Northwestern University DOI | ||
14:00 30mTalk | What Happens When Students Switch (Functional) Languages (Experience Report)RemoteExperience Report ICFP Papers and Events Kuang-Chen Lu Brown University, USA, Shriram Krishnamurthi Brown University, United States, Kathi Fisler Brown University, Ethel Tshukudu University of Botswana DOI | ||
14:30 - 15:00 | |||
15:00 - 16:00 | |||
15:00 30mTalk | Calculating Compilers for Concurrency ICFP Papers and Events DOI Pre-print | ||
15:30 30mTalk | Trustworthy Runtime Verification via Bisimulation (Experience Report)Experience Report ICFP Papers and Events Ryan Scott Galois, Inc., Mike Dodds Galois, Inc., Robert Dockins Amazon, Ivan Perez NASA Ames Research Center, Alwyn Goodloe NASA Langley Research Center DOI Pre-print | ||
15:00 - 16:00 | Data representationICFP Papers and Events at B - Fifth Avenue Chair(s): Lennart Augustsson Epic Games | ||
15:00 30mTalk | Read/write factorizable programsJFP Presentation ICFP Papers and Events Link to publication DOI | ||
15:30 30mTalk | Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types ICFP Papers and Events Thaïs Baudon ENS de Lyon & LIP, Gabriel Radanne Inria, Laure Gonnord Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France DOI Pre-print Media Attached File Attached | ||
16:00 - 16:30 | |||
16:30 - 17:30 | Fireside chatICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Amal Ahmed Northeastern University, USA | ||
16:30 60mOther | Fireside chat: Amal Ahmed hosts Felix Klock and Greg Morrisett ICFP Papers and Events C: Amal Ahmed Northeastern University, USA, P: Felix Klock Amazon Web Services, P: Greg Morrisett Cornell University | ||
17:45 - 18:15 | Ask me anything with Tim SweeneyICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Simon Peyton Jones Epic Games | ||
17:45 30mLive Q&A | Ask me anything with Tim Sweeney ICFP Papers and Events Tim Sweeney Epic Games | ||
Fri 8 SepDisplayed time zone: Pacific Time (US & Canada) change
Fri 8 Sep
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:30 | |||
09:00 5mDay opening | Welcome Haskell Niki Vazou IMDEA Software Institute | ||
09:05 70mKeynote | The Evolution of Effects Haskell Nicolas Wu Imperial College London DOI | ||
09:00 - 10:30 | ML Workshop: Session 1Higher-order, Typed, Inferred, Strict: ML Family Workshop at Grand Crescent Chair(s): Jacques Garrigue Nagoya University | ||
09:00 30mTalk | Resource polymorphism: proposal for integrating first-class resources into MLRemote Higher-order, Typed, Inferred, Strict: ML Family Workshop | ||
09:30 30mTalk | Modernizing Standard ML of New Jersey: A Status Report Higher-order, Typed, Inferred, Strict: ML Family Workshop | ||
10:00 30mTalk | Semi-explicit polymorphic parameters Higher-order, Typed, Inferred, Strict: ML Family Workshop Leo White Jane Street | ||
09:00 - 10:30 | miniKanren: TutorialminiKanren at Olympic Chair(s): William E. Byrd University of Alabama at Birmingham, USA | ||
09:00 - 10:30 | |||
09:00 90mTutorial | Vehicle - A Specification Language for Neural Network Properties Tutorials Ekaterina Komendantskaya Heriot-Watt University and Southampton University, Matthew L. Daggitt Heriot-Watt University, Wen Kokke University of Edinburgh Pre-print | ||
09:00 - 10:30 | |||
09:00 45mTalk | Functional Programming in the Large - Status and Perspective FUNARCH | ||
09:45 45mTalk | Crème de la Crem: Composable Representable Executable MachinesRemote FUNARCH DOI | ||
09:00 - 10:30 | FARM Session 1FARM at Vashon 2 Chair(s): John Leo Halfaya Research, Mae Milano University of California at Berkeley | ||
09:00 30mTalk | Weighted Refinement Types for Counterpoint CompositionRecorded FARM Youyou Cong Tokyo Institute of Technology DOI | ||
09:30 30mTalk | The Beauty and Elegance of Functional Reactive Animation FARM Ivan Perez NASA Ames Research Center DOI | ||
10:00 30mTalk | Demo: A functional EDSL for mathematics visualization that compiles to JavaScriptRecorded FARM Allister Beharry University of London DOI Pre-print Media Attached | ||
10:30 - 11:00 | |||
11:00 - 12:30 | |||
11:00 30mTalk | Effect Handlers for Programmable Inference Haskell Minh Nguyen University of Bristol, Roly Perera Alan Turing Institute, Meng Wang University of Bristol, Steven Ramsay University of Bristol DOI | ||
11:30 30mTalk | The Essence of Reactivity Haskell DOI | ||
12:00 30mTalk | This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs Haskell DOI | ||
11:00 - 12:30 | ML Workshop: Session 2Higher-order, Typed, Inferred, Strict: ML Family Workshop at Grand Crescent Chair(s): Oleg Kiselyov Tohoku University | ||
11:00 30mTalk | A New Standard ML Prettyprinter Library, An Experience Report Higher-order, Typed, Inferred, Strict: ML Family Workshop David MacQueen University of Chicago (Emeritus) | ||
11:30 30mTalk | Exploring Perceus For OCaml Higher-order, Typed, Inferred, Strict: ML Family Workshop Pre-print | ||
12:00 30mTalk | Immutable Arrays Help Mutating Arrays More Efficiently Higher-order, Typed, Inferred, Strict: ML Family Workshop Sven-Bodo Scholz Heriot-Watt University | ||
11:00 - 12:30 | miniKanren: Papers (Session 1 out of 2)miniKanren at Olympic Chair(s): William E. Byrd University of Alabama at Birmingham, USA | ||
11:00 45mTalk | klogic: miniKanren in KotlinRemote miniKanren Yury Kamenev , Dmitrii Kosarev Saint Petersburg State University, Russia, Dmitry Ivanov Huawei, Denis Fokin , Dmitri Boulytchev Saint Petersburg State University Pre-print | ||
11:45 45mTalk | Semi-Automated Direction-Driven Functional ConversionRemote miniKanren Pre-print | ||
11:00 - 12:30 | |||
11:00 90mTutorial | Vehicle - A Specification Language for Neural Network Properties Tutorials Ekaterina Komendantskaya Heriot-Watt University and Southampton University, Matthew L. Daggitt Heriot-Watt University, Wen Kokke University of Edinburgh Pre-print | ||
11:00 - 12:30 | |||
11:00 45mTalk | Functional Shell and Reusable Components for Easy GUIs FUNARCH DOI | ||
11:45 45mTalk | Stretching the Glasgow Haskell Compiler: Nourishing GHC with Domain-Driven DesignRemote FUNARCH DOI | ||
11:00 - 12:30 | FARM Session 2FARM at Vashon 2 Chair(s): John Leo Halfaya Research, Mae Milano University of California at Berkeley | ||
11:00 30mTalk | Exploring Self-Embedded Knitting Programs with Twine FARM Amy Zhu University of Washington, Adriana Schulz University of Washington, Zachary Tatlock University of Washington DOI Pre-print | ||
11:30 30mTalk | Homotopy Type Theory for Sewn Quilts FARM DOI Pre-print | ||
12:00 30mTalk | Demo: Sonic Catalog of Rare Diseases FARM Stephen Taylor University of Illinois Urbana-Champaign, Aditi Kantipuly Centers for Disease Control and Prevention DOI | ||
12:30 - 14:00 | |||
14:00 - 15:30 | |||
14:00 30mTalk | An Exceptional Actor System (Functional Pearl) Haskell Patrick Redmond University of California at Santa Cruz, Lindsey Kuper University of California, Santa Cruz DOI Pre-print | ||
14:30 30mTalk | HasTEE: Programming Trusted Execution Environments with Haskell Haskell Abhiroop Sarkar Chalmers University of Technology, Robert Krook Chalmers University of Technology, Sweden, Alejandro Russo Chalmers University of Technology, Sweden, Koen Claessen Chalmers University of Technology DOI Pre-print | ||
15:00 30mTalk | Haskell Library for Safer Virtual Machine Introspection (Experience Report) Haskell DOI | ||
14:00 - 15:30 | |||
14:00 30mTalk | Programming with Explicit Effects in ReML Higher-order, Typed, Inferred, Strict: ML Family Workshop Martin Elsman University of Copenhagen, Denmark | ||
14:30 30mTalk | Wasocaml: a compiler from OCaml to WebAssembly (moved from OCaml workshop) Higher-order, Typed, Inferred, Strict: ML Family Workshop | ||
15:00 30mTalk | Layout Polymorphism: Using static computation to allow efficient polymorphism over variable representations Higher-order, Typed, Inferred, Strict: ML Family Workshop Richard A. Eisenberg Jane Street File Attached | ||
14:00 - 15:30 | miniKanren: Papers (Session 2 out of 2)miniKanren at Olympic Chair(s): William E. Byrd University of Alabama at Birmingham, USA | ||
14:00 45mTalk | Stable Model Semantics Extension of miniKanren miniKanren Pre-print | ||
14:45 45mTalk | Goals as Constraints: Writing miniKanren Constraints in miniKanrenRemote miniKanren Evan Donahue University of Tokyo Pre-print | ||
14:00 - 15:30 | |||
14:00 90mTutorial | Porting Lwt applications to OCaml 5 and Eio Tutorials | ||
14:00 - 15:30 | |||
14:00 45mTalk | A Software Architecture Based on Coarse-Grained Self-Adjusting Computations FUNARCH DOI | ||
14:45 45mTalk | Phases in Software Architecture FUNARCH A: Jeremy Gibbons Department of Computer Science, University of Oxford, A: Oisín Kidney Imperial College London, A: Tom Schrijvers KU Leuven, A: Nicolas Wu Imperial College London DOI Pre-print | ||
15:30 - 16:00 | |||
16:00 - 17:30 | |||
16:00 30mDemonstration | A Haskell Auto-Parallelizer for Distributed Computing Haskell | ||
16:30 30mDemonstration | Verifying Haskell's Rewrite Rules based on Polymorphic Rewriting Theory Haskell Makoto Hamana Gunma University, Japan | ||
17:00 30mMeeting | Lightning Talks I Haskell | ||
16:00 - 17:30 | ML Workshop: Session 4Higher-order, Typed, Inferred, Strict: ML Family Workshop at Grand Crescent Chair(s): Oleg Kiselyov Tohoku University | ||
16:00 30mTalk | Flambda 2 Types: An abstract domain for static analysis of functional programs (moved from OCaml workshop) Higher-order, Typed, Inferred, Strict: ML Family Workshop | ||
16:30 30mTalk | The Design and Implementation of an Abstract Interpreter for OCaml Programs: A Preliminary Report on the Salto Analyser Higher-order, Typed, Inferred, Strict: ML Family Workshop Benoît Montagu Inria Pre-print Media Attached File Attached | ||
16:00 - 17:30 | miniKanren: Discussion on the Future of miniKanrenminiKanren at Olympic Chair(s): William E. Byrd University of Alabama at Birmingham, USA | ||
16:00 - 17:30 | |||
16:00 90mTutorial | Porting Lwt applications to OCaml 5 and Eio Tutorials | ||
16:00 - 17:30 | |||
16:00 45mTalk | Typed Design Patterns for the Functional Era FUNARCH DOI | ||
16:45 45mTalk | Types that Change: The Extensible Type Design Pattern FUNARCH DOI | ||
19:30 - 22:30 | FARM Performance EveningFARM at Reisbeck Auditorium Chair(s): Kaley Eaton Cornish College of the Arts Doors open at 7:00pm. Open at no charge to all participants of ICFP and/or any workshop. It is also open to the public at no charge, but conference attendees have preference and seating may be limited. Address is 2017 Boren Ave, the glass building to the right of the Performance Hall. | ||
19:30 15mOther | As music overheard, as image made light. FARM | ||
19:50 60mKeynote | Keynote: Perfectly Imperfect: Music, Math and the Keyboard FARM Gloria Cheng UCLA DOI | ||
21:00 15mOther | Solo Piano Performance FARM Gloria Cheng UCLA | ||
21:20 15mOther | Humanity: From Survival to Revival FARM | ||
21:40 20mOther | Accelerometers as an Instrument FARM | ||
22:05 15mOther | Aurora: Goddess of Dawn FARM | ||
Sat 9 SepDisplayed time zone: Pacific Time (US & Canada) change
Sat 9 Sep
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:30 | Haskell: Keynote 2Haskell at B - Fifth Avenue Chair(s): Leonidas Lampropoulos University of Maryland, College Park | ||
09:00 60mKeynote | Haskell for choice-based learning Haskell Ningning Xie University of Toronto / Google DeepMind DOI | ||
09:00 - 10:30 | |||
09:00 22mTalk | Eio 1.0 – Effects-based IO for OCaml 5 OCaml Thomas Leonard Tarides, Patrick Ferris University of Cambridge, UK, Christiano Haesbaert Tarides, Lucas Pluvinage Tarides, Vesa Karvonen Tarides, Sudha Parimala Tarides, KC Sivaramakrishnan IIT Madras and Tarides, Vincent Balat Tarides, Anil Madhavapeddy University of Cambridge, UK File Attached | ||
09:22 22mTalk | Modern DSL compiler architecture in OCaml our experience with CatalaRemote OCaml File Attached | ||
09:45 22mTalk | Runtime Detection of Data Races in OCaml with ThreadSanitizerRemote OCaml File Attached | ||
10:07 22mTalk | Targeted Static Analysis for OCaml C Stubs: Eliminating gremlins from the codeRemote OCaml Edwin Török XenServer, Cloud Software Group File Attached | ||
09:00 - 10:30 | SCHEME: Session IScheme at Olympic Chair(s): Jason Hemann Seton Hall University 09:30 Visualizing Why Nondeterministic Finite-State Automatons Reject, Oliwia Kempinski and Marco T. Morazan 10:00 Visualizing a Nondeterministic to Deterministic Finite-State Machine Transformation, Tijana Minic and Marco T. Morazan | ||
09:30 30mTalk | Visualizing Why Nondeterministic Finite-State Automa Reject Scheme | ||
10:00 30mTalk | Visualizing a Nondeterministic to Deterministic Finite-State Machine Transformation Scheme | ||
09:00 - 10:30 | |||
09:00 90mTutorial | Teaching Functional Programming Tutorials Michael Sperber Active Group GmbH | ||
09:00 - 10:30 | |||
09:00 5mDay opening | Welcome and Opening Remarks DeclMed Stephen Ramsey Oregon State University | ||
09:05 25mTalk | Towards Higher-level Abstractions for Molecular Programming DeclMed Peter-Michael Osera Grinnell College | ||
09:30 55mKeynote | Strange loops: journeys in declarative logic programming in genomics and beyond DeclMed Christopher Mungall Lawrence Berkeley National Laboratory Media Attached | ||
10:30 - 11:00 | |||
11:00 - 12:30 | |||
11:00 30mTalk | falsify: Internal Shrinking Reimagined for Haskell Haskell Edsko de Vries Well-Typed LLP DOI | ||
11:30 30mTalk | Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing Haskell Segev Elazar Mittelman University of Maryland, College Park, Aviel Resnick University of Pennsylvania, Ivan Perez NASA Ames Research Center, Alwyn Goodloe NASA Langley Research Center, Leonidas Lampropoulos University of Maryland, College Park DOI | ||
12:00 30mMeeting | Lightning Talks II Haskell | ||
11:00 - 12:30 | |||
11:00 22mTalk | Efficient OCaml compilation with Flambda 2 OCaml File Attached | ||
11:22 22mTalk | Less Power for More Learning: Restricting OCaml Features for Effective TeachingRemote OCaml Max Lang Technische Universität München, Nico Petzendorfer Department of Computer Science, Technische Universität München, Garching, Germany File Attached | ||
11:45 22mTalk | Osiris: an Iris-based program logic for OCamlRemote OCaml File Attached | ||
12:07 22mTalk | Safe and efficient generic functions with MacoCaml OCaml Dmitrij Szamozvancev University of Cambridge, Leo White Jane Street, Ningning Xie University of Toronto / Google DeepMind, Jeremy Yallop University of Cambridge File Attached | ||
11:00 - 12:30 | SCHEME: Session IIScheme at Olympic Chair(s): Marco T Morazan Seton Hall University 11:00 The Calysto Scheme Project, James B. Marshall and Douglas Blank 11:30 Keynote Address: The Rational Programmer, Christos Dimoulas | ||
11:00 30mTalk | The Calysto Scheme Project Scheme Pre-print | ||
11:30 60mKeynote | The Rational Programmer, An Investigative Method for Programming Language Pragmatics Scheme Christos Dimoulas PLT @ Northwestern University | ||
11:00 - 12:30 | |||
11:00 90mTutorial | Teaching Functional Programming Tutorials Michael Sperber Active Group GmbH | ||
11:00 - 12:30 | |||
10:50 25mTalk | Modeling Graph-Based Morphology of the Synaptic Spine Head DeclMed Matthew Hur University of California, Irvine | ||
11:15 25mTalk | Why code in Python+C if you can code in Lisp+Zig? DeclMed Pjotr Prins University of Tennessee Health Science Center File Attached | ||
11:40 25mTalk | Propagator networks for degenerate computation DeclMed Arun Isaac University College London (UCL) File Attached | ||
12:05 25mTalk | Functional Pearl: Signature Memoization for Drug Repurposing DeclMed Media Attached File Attached | ||
12:30 - 14:00 | |||
14:00 - 15:30 | |||
14:00 70mMeeting | Haskell Summer of Code Presentations Haskell | ||
15:10 5mDay closing | PC Chair Report Haskell Niki Vazou IMDEA Software Institute | ||
14:00 - 15:30 | |||
14:00 22mTalk | Buck2 for OCaml Users & DevelopersRemoteHybrid In-Person OCaml File Attached | ||
14:22 22mTalk | Building a lock-free STM for OCaml OCaml Vesa Karvonen Tarides, Bartosz Modelski Tarides, Carine Morel Tarides, Thomas Leonard Tarides, KC Sivaramakrishnan IIT Madras and Tarides, YSS Narasimha Naidu IIT Madras, Sudha Parimala Tarides Link to publication File Attached | ||
14:45 22mTalk | Parallel Sequences in Multicore OCamlRemote OCaml Andrew Tao Princeton University File Attached | ||
15:07 22mTalk | State of the OCaml Platform 2023 OCaml Thibaut Mattio Tarides, Anil Madhavapeddy University of Cambridge, UK, Thomas Gazagnaire Tarides, David Allsopp Tarides File Attached | ||
14:00 - 15:30 | SCHEME: Session IIIScheme at Olympic Chair(s): Jason Hemann Seton Hall University 14:00 A R4RS Compliant REPL in 8Kb, Léonard Oest O’Leary 14:30 Lightning Talk: Designing a Language for Learning Continuations, Youyou Cong | ||
14:00 30mTalk | A R4RS Compliant REPL in 8Kb Scheme Léonard Oest O'Leary Université de Montréal | ||
14:30 20mTalk | Lightning Talk: Designing a Language for Learning ContinuationsRecorded Scheme Youyou Cong Tokyo Institute of Technology Pre-print | ||
14:00 - 15:30 | |||
14:00 90mTutorial | Teaching and Learning Compilers Incrementally Tutorials Jeremy G. Siek Indiana University, USA Pre-print | ||
14:00 - 15:30 | |||
13:45 20mTalk | Declarative Programming for Designing Neuro-Symbolic Learning ModelsRemote DeclMed Parisa Kordjamshidi Michigan State University File Attached | ||
14:05 25mTalk | Biolink Model: a Universal Schema for Knowledge Graphs in Clinical, Biomedical, and Translational Science DeclMed Sierra Moxon Lawrence Berkeley National Laboratory | ||
14:30 55mKeynote | NCATS' Biomedical Data Translator - Connecting the Dots DeclMed Tyler Beck National Center for Advancing Translational Sciences | ||
15:30 - 16:00 | |||
16:00 - 17:30 | |||
16:00 20mTalk | MetaOCaml Theory and Implementation OCaml Oleg Kiselyov Tohoku University File Attached | ||
16:25 20mTalk | Owi: an interpreter and a toolkit for WebAssembly written in OCaml OCaml File Attached | ||
16:00 - 17:30 | |||
16:00 90mTutorial | Teaching and Learning Compilers Incrementally Tutorials Jeremy G. Siek Indiana University, USA Pre-print | ||
16:00 - 17:30 | |||
15:45 20mTalk | Addressing Treatment-Relevance in Biomedical Relation ExtractionRemote DeclMed Abdulateef Almudaifer University of Alabama Birmingham | ||
16:05 25mTalk | Aggregating combinatorial biomedical graph ranking results for drug repurposing DeclMed Daniel Korn Every Cure | ||
16:30 55mKeynote | The Algorithm for Precision Medicine DeclMed Matthew Might University of Alabama at Birmingham | Harvard Medical School | ||
17:25 5mDay closing | Closing Remarks DeclMed William E. Byrd University of Alabama at Birmingham, USA | ||