ACM SIGPLAN Courses

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.

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

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.

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

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.

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

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.

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

The Best Multicore-Parallelization Refactoring You've Never Heard Of

Discover a powerful, lesser-known refactoring technique for optimizing multicore parallelization in software development.

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

Fast Deep Learning with Categories

Explore GPU-accelerated deep learning using Haskell, ConCat, and Accelerate for high-performance industrial applications.

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

Rank-Polymorphism for Shape-Guided Blocking

Explore rank-polymorphic array languages for generically blocked algorithms, focusing on matrix multiplication. Learn how this approach improves performance and simplifies implementation of complex numerical computations.

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

Shape-Constrained Array Programming with Size-Dependent Types

Explore a dependent type system for array-size consistency in functional programming, enabling compile-time shape enforcement and nontrivial transformations without added complexity.

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

Code Analysis at WhatsApp - Keynote

Explore WhatsApp's code analysis tools, dynamic and static analysis techniques, and their integration into software development lifecycles.

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

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.

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

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.

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

Event-Driven Multiparty Session Actors

Explore a novel approach combining actor languages and multiparty session types for reliable distributed applications, featuring a statically-typed session system for multi-session actors.

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

Operational Game Semantics for Generative Algebraic Effects and Handlers

Explore operational game semantics for generative algebraic effects and handlers in a typed call-by-value λ-calculus with dynamic allocation of effect instances.

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

Granite: Compositional Functional Logic Programming

Explore Granite, a new programming language enhancing functional programming with parallelism, expressiveness, and compositionality through first-class semilattice structures.

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

Flattening Meets Effects - A Surprising Connection

Explore the unexpected link between term-rewriting systems and algebraic effects, examining HORPO's application to effect systems and its extension to 'let' constructs.

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