A Semantics of Core Erlang with Handling of Signals
Explore a small step semantics for Core Erlang's monitoring and signal systems, aimed at enabling causal explanations for property violations in concurrent programs.
Generation and Refinement of Testing Models - Erlang 2023
Explore Faktory, an Elixir tool for generating property-based testing models from function specifications and contracts. Learn to improve test-case generation and refine models for various applications.
GHC-Specter: A Plugin for Live Inspection of GHC Internal States
Explore ghc-specter, a GHC plugin for real-time inspection and visualization of GHC's internal states during compilation, enabling interactive debugging and performance analysis.
Severing Ties: The Need for Non-Updateable Thunks
Explore non-updateable thunks in Haskell to prevent memory leaks and optimize garbage collection in streaming abstractions and control flow scenarios.
GHC Plugin for Setting Breakpoints in Concurrent Programs
Explore a GHC plugin for improved breakpoint functionality in concurrent programs, addressing limitations in GHCi's built-in debugger.
Integrating Liquid Haskell with GHC - Challenges and Trade-offs
Explore challenges and trade-offs of integrating Liquid Haskell with GHC, examining maintenance issues, potential benefits, and implications for Haskell development.
Why Code in Python+C When You Can Code in Lisp+Zig
Explore the benefits of combining GNU Guile Lisp and Zig for bioinformatics, offering quick coding and high performance without fighting Rust's borrow checker.
Modal FRP for All: Functional Reactive Programming Without Space Leaks in Haskell
Explore Modal FRP in Haskell: Learn to prevent space leaks in functional reactive programming and implement a Pong game using this technique.
Reflecting on Random Generation in Property-Based Testing
Explore reflective generators as a new foundation for random data generation, unifying and enhancing existing techniques for property-based testing, shrinking, and mutation in programming.
Etna: An Evaluation Platform for Property-Based Testing - Experience Report
Explore Etna, a platform for evaluating property-based testing techniques. Compare popular frameworks in Coq and Haskell to understand best practices and tradeoffs in functional programming.
Formal Specification and Testing for Reinforcement Learning
Explore formal specification and testing methods for reinforcement learning applications, focusing on temporal difference methods and property-based testing using functional programming techniques.
Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters
Explore combinator-based fixpoint algorithms for big-step abstract interpreters. Learn to develop and ensure soundness of sophisticated fixpoint algorithms using reusable combinators for static analysis.
Efficient Loops in Arrowized Functional Reactive Programming - Haskell 2023
Explore efficient loop optimization in Arrowized Functional Reactive Programming, improving performance through novel program transformations while maintaining correctness in Haskell.
Effect Handlers for Programmable Inference - Haskell 2023
Explore effect handlers for modular inference programming in probabilistic algorithms, revealing high-level structures and enabling easy customization of Metropolis-Hastings and particle filtering methods.
HasTEE: Programming Trusted Execution Environments with Haskell
Explore HasTEE, a Haskell-embedded DSL for programming Trusted Execution Environments. Learn how it simplifies TEE application development with automatic partitioning and enhanced security features.
The Essence of Reactivity
Explore abstractions capturing time variance in reactive programming, comparing approaches and demonstrating a generic Haskell interface for different temporal formalisms.
Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
Explore an innovative approach to property-based testing, integrating LazySearch with NIST's ACTS for significantly faster and more effective testing in functional programming.
A Haskell Auto-Parallelizer for Distributed Computing
Explore a Haskell auto-parallelizer for distributed computing, leveraging function purity to create scalable and performant applications on large clusters.
An Exceptional Actor System in Haskell - Functional Pearl
Explore a hidden actor framework in GHC's runtime system, demonstrating its power through distributed systems examples and discussing implications for feature constraints.
Haskell Library for Safer Virtual Machine Introspection - Experience Report
Explore a Haskell library for safer virtual machine introspection, leveraging Template Haskell for compile-time code generation and static error detection in VMI programming.
Flambda 2 Types: An Abstract Domain for Static Analysis of Functional Programs
Explore Flambda 2 Types, an abstract domain for static analysis of OCaml programs, focusing on its role in optimizing functional code.