Haskell 2023
| title | author | length |
|---|---|---|
| Welcome | Niki Vazou | 01m |
Conference opens with two practical logistics items: two lightning talks slots (one at the end of day, one tomorrow before lunch) with a sign‑up form on the… | ||
| The Evolution of Effects | Nicolas Wu | 01h 06m |
Survey of monads to monad transformers to algebraic and higher‑order effects, arguing that higher-order free monad signatures fix non‑algebraic scoped… | ||
| Effect Handlers for Programmable Inference | Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay | 26m |
Claims a Haskell library that uses algebraic effects and effect handlers to represent models as trees of sample/observe operations and to express inference… | ||
| The Essence of Reactivity | Ivan Perez, Frank Dedden | 29m |
A Haskell prototype defines generic typeclasses (constrained applicative, time, concatenation and drop) that capture where reactive systems actually differ… | ||
| This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Pr... | Finnbar Keating, Michael B. Gale | 29m |
Transforms ArrowLoop programs into variants with known execution order (introducing LoopD and LoopM) by applying Arrow and ArrowLoop laws (sliding, split) plus… | ||
| An Exceptional Actor System (Functional Pearl) | Patrick Redmond, Lindsey Kuper | 26m |
Builds an actor framework by reusing GHC runtime features: throwTo and forkIO for sending and spawning, instance Exception for messages to make arbitrary ADTs… | ||
| HasTEE: Programming Trusted Execution Environments with Haskell | Abhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen | 27m |
A Haskell DSL called HasTEE embeds enclave, app and client monads, provides a GHC runtime port for Intel SGX and partitions a single Haskell program by… | ||
| Haskell Library for Safer Virtual Machine Introspection (Experience Report) | Takato Otsuka, Hideya Iwasaki | 27m |
HaVMI is a Haskell library that wraps LibVMI and uses Template Haskell meta-functions like generate_struct to emit concrete Haskell types, accessors and… | ||
| A Haskell Auto-Parallelizer for Distributed Computing | Yuxi Long, Shiyou Wu, Yingjie Xu | 23m |
A Haskell auto-parallelizer prototype parses main to an AST, builds a data-dependency graph and schedules pure-function calls to remote workers over a simple… | ||
| Verifying Haskell's Rewrite Rules based on Polymorphic Rewriting Theory | Makoto Hamana | 32m |
Presents a formal calculus System FRE — System Fω plus higher-order, polymorphic rewriting — and an automated checker ReCheck that verifies rewrite rules by… | ||
| Lightning Talks I | 36m | |
Describes an annoying CI hole where bumping an upper bound can leave CI green because the solver chooses older transitive versions and merging breaks… | ||
| Haskell for choice-based learning | Ningning Xie | 49m |
Claims that choice-based learning is implementable by combining algebraic effects and handlers with the selection monad, so optimizers become handlers that… | ||
| falsify: Internal Shrinking Reimagined for Haskell | Edsko de Vries | 31m |
falsify implements internal shrinking for Haskell by parsing an infinite splitable sample tree of RNG bits into values rather than by pairing generators with… | ||
| Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based ... | Segev Elazar Mittelman, Aviel Resnick, Ivan Perez, Alwyn E. Goodloe, Leonidas Lampropoulos | 26m |
Integrates LazySearch enumeration with NIST’s ACTS combinatorial arrays to split the infinite input space into structural prefixes (patterns) that avoid costly… | ||
| Lightning Talks II | 33m | |
Short bursts covering: a proposal for a unified generator type that injects Hedgehog/QuickCheck-like generators and shrinkers to implement a universal forall… | ||
| Haskell Summer of Code Presentations | Aaron Allen | 01h 29m |
A set of Summer of Code projects deliver concrete tools and prototypes: a new compiler flag f-diagnostics-as-json that emits one-line JSON diagnostics plus a… | ||
| PC Chair Report | Niki Vazou | 05m |
Program committee reports 15 submissions this year (12 regular papers, 1 demo, 1 experience report, 1 functional pearl) and a 53% acceptance rate after three… | ||
| nothing matches | ||