ACM SIGPLAN Courses

Mental Health Mentoring for Programming Language Students

Explore strategies for maintaining mental health as a programming language student, focusing on self-care, stress management, and seeking support.

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

How to Thrive as a PhD Student in Programming Languages

Discover strategies for success and personal growth during your PL PhD journey, focusing on research, collaboration, and professional development.

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

A History of Subtyping

Explore the evolution and significance of subtyping in programming languages with Benjamin C. Pierce's comprehensive historical overview.

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

GHC Status Report - Haskell Compiler Updates and Improvements

Explore GHC's latest developments, including quality-of-life improvements, WebAssembly support, dependent types, and linear types in this comprehensive status report.

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

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

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

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