ACM SIGPLAN Courses

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.

• YouTube
• 26 minutes
• On-Demand
• Free Video

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.

• YouTube
• 23 minutes
• On-Demand
• Free Video

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.

• YouTube
• 26 minutes
• On-Demand
• Free Video

The Essence of Reactivity

Explore abstractions capturing time variance in reactive programming, comparing approaches and demonstrating a generic Haskell interface for different temporal formalisms.

• YouTube
• 29 minutes
• On-Demand
• Free Video

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.

• YouTube
• 27 minutes
• On-Demand
• Free Video

Lightning Talks on Haskell Programming - Session II

Explore diverse Haskell topics through rapid-fire presentations, gaining insights into cutting-edge developments and innovative applications in functional programming.

• YouTube
• 33 minutes
• On-Demand
• Free Video

The Evolution of Effects in Haskell - From Monads to Higher-Order Effects

Explore the evolution of effectful programming in Haskell, from monads to higher-order effects. Gain insights into harmonizing pure functional programming with real-world computational effects.

• YouTube
• 1 hour 6 minutes
• On-Demand
• Free Video

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.

• YouTube
• 26 minutes
• On-Demand
• Free Video

Haskell for Choice-Based Learning in Machine Learning Programming

Explore language design for machine learning, focusing on choice-based learning. Combine algebraic effects, handlers, and selection monad to create powerful frameworks for decision-making models and optimization techniques.

• YouTube
• 49 minutes
• On-Demand
• Free Video

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.

• YouTube
• 29 minutes
• On-Demand
• Free Video

Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types

Explore a novel approach for specifying data layouts of rich data types, enabling better control over memory representation while maintaining high-level abstractions in programming languages.

• YouTube
• 32 minutes
• On-Demand
• Free Video

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.

• YouTube
• 28 minutes
• On-Demand
• Free Video

More Fixpoints - Solving Recursive Problems in Haskell

Explore innovative solutions for recursive Haskell programming, overcoming limitations and enabling elegant, productive code using pure data structures with enhanced fixpoint capabilities.

• YouTube
• 30 minutes
• On-Demand
• Free Video

Programming with Effect Exclusion - Type and Effect Systems

Explore a novel type and effect system enabling direct reasoning about effect absence through effect exclusion, enhancing programming flexibility and correctness in various domains.

• YouTube
• 27 minutes
• On-Demand
• Free Video

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.

• YouTube
• 29 minutes
• On-Demand
• Free Video