ACM SIGPLAN Courses

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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• Free Video

Higher-Order Property-Directed Reachability

Explore higher-order extension of PDR for automated verification of complex systems. Learn about HoPDR's formalization, implementation, and effectiveness in program safety verification.

• YouTube
• 28 minutes
• Self-Paced
• Free Video

Programming for the Planet - Functional Programming for Climate Analysis

Explore functional programming's role in building resilient systems for climate analysis, emphasizing data handling, access control, and interdisciplinary collaboration for conservation impact.

• YouTube
• 1 hour 11 minutes
• Self-Paced
• Free Video

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.

• YouTube
• 28 minutes
• Self-Paced
• Free Video

Graded Modal Dependent Type Theory with Universe and Erasure - Formalized

Explore a graded modal type theory with dependent types, erasure, and formalized meta-theoretic properties. Delve into its universe, extraction function, and soundness proofs for open programs.

• YouTube
• 30 minutes
• Self-Paced
• Free Video

Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification

Explore modular techniques for writing and verifying high-level code while producing efficient, zero-overhead implementations. Learn how these methods scaled HACL library and improved proof engineer productivity.

• YouTube
• 30 minutes
• Self-Paced
• Free Video

As Low-Level as Possible, But No Lower - WebAssembly's Evolution and Future

Explore WebAssembly's evolution, adoption across ecosystems, and its foundation in programming language research. Gain insights into its formal specification and upcoming features.

• YouTube
• 1 hour 6 minutes
• Self-Paced
• Free Video

Student Research Contest Talks - ICFP 2023

Explore cutting-edge research in functional programming through student presentations at ICFP'23, featuring innovative ideas and emerging talent in the field.

• YouTube
• 32 minutes
• Self-Paced
• Free Video

Dependently-Typed Programming with Logical Equality Reflection

Explore System DE, a calculus for dependently-typed programming with equality reflection. Learn about termination tracking, inductive proofs, and performance-safety trade-offs in functional languages.

• YouTube
• 31 minutes
• Self-Paced
• Free Video

TypeScript: Static Types for JavaScript - Keynote

Explore TypeScript's origins, unique type system, and benefits, even for dynamic language enthusiasts, with Anders Hejlsberg, the project's lead architect.

• YouTube
• 1 hour 11 minutes
• Self-Paced
• Free Video