ACM SIGPLAN Courses

The Potential of Information-Flow Control Research for Helping GDPR Compliance

Explore Information-Flow Control's role in data security, its implementation in Haskell, and its alignment with GDPR principles for building secure, compliant software systems.

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

How to Give a Talk - Structuring Effective Scientific Presentations

Master the art of scientific presentations: learn effective structuring, audience engagement, and strategic use of visuals and equations for impactful talks.

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

Refinement Types: From Light to Deep Verification - Lecture

Explore refinement types for expressive specifications, from light verification of basic properties to deep verification of complex language semantics using Liquid Haskell.

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

The Evolution of Effects in Functional Programming - From Monads to Higher-Order Effects

Explore the evolution of effectful programming in Haskell, from monads to higher-order effects, examining key milestones and their impact on functional programming paradigms.

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

Incremental Computation: What Is the Essence? - Lecture 24

Explore incremental computation's essence through incrementalization, a systematic method for efficient algorithm and program design. Gain insights into high-level abstractions for developing optimized solutions.

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

A Historical Perspective on Program Transformation and Recent Developments

Explore the evolution of program transformation techniques, focusing on functional and constraint logic programming, and their applications in program verification and synthesis.

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

Partial Evaluation of Reversible Flowchart Programs

Explore partial evaluation of reversible flowchart programs, examining effects on symmetric encryption and reversible Turing machines. Gain insights into program inversion and applications in various computing domains.

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

Productivity Verification for Functional Programs by Reduction to Termination Verification

Explore a novel method for verifying productivity in functional programs, transforming co-inductive data structures into functions and reducing productivity verification to termination verification.

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

Yaffle: A New Core for Idris 2

Explore Yaffle, the new core language for Idris 2, and discover key insights from implementing a dependently typed language in itself.

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

Solving Constraints During Type Inference - WITS'24

Explore GHC's type inference engine, covering bidirectional inference, implication constraints, level numbers, evidence generation, and quantified constraints in Haskell.

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

Type Inference for Application Spines in Higher-Order Languages - WITS'24

Explore type inference for application spines in Haskell, covering error messages, impredicative polymorphism, visible type application, and required type arguments.

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

asai: A Library for Compiler Diagnostics

Explore asai, an OCaml library for enhancing compiler diagnostics in proof assistants, improving error messages for end users.

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

Implementing Separation Logic Using an SMT-backed Frame Rule

Explore implementing separation logic with SMT-backed Frame Rule for symbolic execution. Learn to simplify verification of programs with pointers using CVC5 solver's decidable fragment support.

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

Efficient Evaluation with Controlled Definition Unfolding - WITS'24

Explore efficient evaluation techniques in polymorphic and dependently typed languages, focusing on controlled definition unfolding for improved user interaction and unification processes.

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

Binding Syntax for Dependently-Typed Programs - WITS'24

Explore innovative binding syntax for dependently-typed programs, enhancing ergonomics while maintaining fixed grammar for improved error messaging.

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