ACM SIGPLAN Courses

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

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
• On-Demand
• Free Video

Consider Collaboration - Importance and Strategies in Research

Discover the importance of collaboration in research, learn how to initiate partnerships, overcome challenges, and achieve success in joint projects.

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

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