ACM SIGPLAN Courses

Local-First: Experiments and Lessons Learned Building TypeCell - PLF23

Explore local-first software architecture through TypeCell's development. Learn about reactive programming, experimental backends, and challenges in building decentralized applications.

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

Witter: A Library for White-Box Testing of Introductory Programming Algorithms

Explore Witter, a library for white-box testing in programming education. Analyze method execution against reference solutions to verify algorithm behavior and provide insightful feedback.

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

Centering Humans in the Programming Languages Classroom: Building a Text for the Next Generation

Explore principles for designing inclusive programming language textbooks, focusing on human-centered approaches and interdisciplinary applications in computer science education.

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

Solving Queries for Boolean Fault Tree Logic via Quantified SAT

Explore fault tree analysis using Boolean Logic and Quantified SAT. Learn to identify system failure factors, analyze what-if scenarios, and check element independence in fault trees.

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

Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library

Explore safety guarantees in Rust-SPARK language bindings, focusing on the BBQueue circular buffer library. Learn about maintaining compile-time safety across language boundaries in embedded systems.

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

Formal Verification of a Mechanical Ventilator Using UPPAAL

Explore formal verification of mechanical ventilators using UPPAAL, enhancing system reliability and correctness through advanced modeling techniques.

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

Keeping the asm in Wasm - Running High-Level Languages on a Low-Level VM

Explore WebAssembly's design for running high-level languages on a low-level VM, addressing challenges and performance optimizations for dynamic languages.

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

Capture Tracking in Scala

Explore capture tracking in Scala with Martin Odersky, delving into advanced concepts and techniques for efficient memory management and resource handling.

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

Programming Languages for AI Programming Agents

Explore the future of programming languages in AI-driven development, examining key features, tools, and workflows needed for effective human-AI collaboration in software creation.

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

How I Learned to Stop Worrying and Love Dynamic Languages

Explore insights on dynamic languages from a seasoned researcher's perspective, covering successful strategies in research, advising, and project leadership.

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

Complete Multiparty Session Type Projection with Automata - ST30

Explore efficient multiparty session type projection using automata. Learn sound, complete, and efficient techniques for verifying asynchronous communication protocols.

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

JITs are Nice, but Why Aren't We Using Them? - Dynamic Language Performance Challenges

Explore the challenges and potential of JIT compilation in dynamic languages, examining its impact on performance and adoption in industry from a practical perspective.

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

Actix-Telepathy: Distributed Actor Programming in Rust

Explore Actix-Telepathy, an extension for Rust's Actix library enabling remote messaging and clustering support for distributed applications using the actor programming model.

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

What We Learned from Writing a Book About Session Types

Explore insights gained while writing a book on session types, including coinductive definitions, linear vs. sharable types, subtyping, and propositions-as-types approach.

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

Asynchronous and Synchronous Mixed Sessions in Session Types - Lecture 30

Explore the expressive power of mixed session types in distributed processes, examining their impact on type safety and communication in asynchronous and synchronous contexts.

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