ACM SIGPLAN Courses

Waddle - A Serious Game to Teach Writing, Reading, and Debugging Programs

Explore Waddle, an innovative serious game designed to enhance programming skills through interactive writing, reading, and debugging exercises in an engaging educational format.

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

Separation Logics for Probability, Concurrency, and Security

Explore advanced separation logics for verifying concurrent probabilistic programs using Rocq and Iris frameworks to ensure security properties in critical infrastructure.

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

How to Synthesize Quantum-Circuit Optimizers

Discover how to develop robust tools for optimizing quantum programs across diverse computing architectures through synthesis techniques and flexible compilation methods.

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

How to Secure a Distributed Database Such as OpenRiak with Open-Source Tools

Discover how to install and secure OpenRiak distributed database using open-source tools, addressing common vulnerabilities in default configurations for academic and industry use.

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

X-by-Construction - Towards Ensuring Non-Functional Properties in by-Construction Engineering

Explore X-by-Construction engineering to integrate non-functional properties like performance and energy efficiency into software development through refinement-based approaches.

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

Bottom-Up Computation Using Trees of Sublists

Explore bottom-up algorithms for list computations using tree structures with sublists, deriving efficient table maintenance methods for dynamic programming solutions.

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

Scheme Reports at Fifty - Where Do We Go from Here?

Explore the future of Scheme programming language as it approaches its 50th anniversary, examining the evolution of language reports and community direction.

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

Carving Text at Its Joints - A New Perspective on Writing and Computers

Explore a critical analysis of multilingual text handling challenges in computing, examining encoding, editing, and display issues across diverse writing systems.

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

Total Type Classes - Exhaustive Pattern Matching and Constraint Verification in Haskell

Explore total type classes in Haskell, enabling exhaustive pattern matching verification and constraint-free usage when instances are provably complete.

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

Domain-Specific Tensor Languages

Explore tensor notation implementation in functional programming through a Haskell-embedded DSL that bridges mathematical tensor calculus with practical programming applications.

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

Synchronous Programming for Kids - A Manifesto

Explore how synchronous programming languages like Esterel can revolutionize children's coding education by matching their natural intuitions about time and events.

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

Continuations for All - Language Design Considerations for Accessible Continuations

Discover how to make delimited continuations more accessible to beginners through pedagogical language design and teaching insights from graduate education research.

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

Literate Tracing - A Paradigm for Program Documentation Using Annotated Execution Traces

Discover a new paradigm for program documentation using annotated execution traces to bridge the gap between code comments and design docs with TReX tool demonstrations.

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

Staging Automatic Differentiation with Fusion

Explore advanced automatic differentiation optimization through staging and fusion techniques in Haskell, achieving 110x speedups in generated code performance.

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

Towards Compiler-Guided Static Analysis

Explore how compiler internal state and transformations can enhance static analysis, addressing SMT solving and equivalence checking bottlenecks through innovative frameworks.

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