ACM SIGPLAN Courses

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
• Self-Paced
• Free Video

Is Polyglot Programming Really a Thing?

Explore the concept of polyglot programming, its prevalence, benefits, and challenges. Examine integration issues and software engineering implications for multi-language development.

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

Realizing Persistent Signals in JavaScript

Explore persistent signals implementation in JavaScript, enabling time-travel functionality and broader application in web development through relay-server architecture and DSL library approach.

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

Benchmarks for Multiparty Session Types - ST30

Explore benchmarks for multiparty session types, including motivation, selection criteria, and current protocols. Engage in open discussion to refine and improve the benchmark set.

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

Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems

Explore mechanisms for describing real-time tasks in FRP languages for small-scale embedded systems, focusing on periodic and aperiodic task extensions in Emfrp.

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

Session Types vs. Ordinary Types: Understanding Fundamental Differences - Lecture 30

Explore fundamental principles of type systems, comparing session types with traditional types in logic, mathematics, and computer science.

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

Degrees of Separation: A Flexible Type System for Data Race Prevention

Explore a flexible type system for data race prevention in parallel programming, allowing aliasing while controlling it to prevent data races. Implemented as a Scala 3 compiler extension.

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

Behavioral Up/Down Casting for Statically Typed Languages

Explore advanced typestate-based checking for Java, focusing on inheritance, polymorphism, and protocol compliance. Learn to enhance object-oriented code safety and expressiveness.

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

Borrow Checking in Hylo - A High-Level Systems Programming Language

Explore Hylo's innovative approach to safe, efficient systems programming using mutable value semantics and abstract interpretation for lifetime verification.

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

All Languages are Dynamic - Speculations on the Future of Programming Languages

Explore the future of programming languages, where dynamic features and static analysis converge, challenging traditional notions of language design and programmer workflows.

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

Unfolding State Changes via Live State-First Debugging

Explore live state-first debugging for web GUI apps, revealing state changes without logs or breakpoints. Learn about Unfold's timeline, code correlation, and auto-replay features.

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

A Monadic Framework for Name Resolution in Multi-Phased Type Checkers

Explore a monadic framework for name resolution in multi-phased type checkers, bridging the gap between abstract typing rules and practical implementations using compositional mappings and monadic combinators.

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

Embark: A Computational Outliner for Travel Planning

Explore a prototype tool for streamlined travel planning, combining freeform text, external data, and dynamic formulas in a single outline document.

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

CodeProber: Live Compiler Exploration - LIVE23

Explore interactive compiler debugging with CodeProber. Learn to identify and fix bugs in language tooling using source code-based exploration of AST properties.

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

Relational Solver for Java Generics Type System

Explore a relational solver for Java Generics Type System, enhancing understanding of advanced programming concepts and type theory.

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