ACM SIGPLAN Courses

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

Programming Language as Language

Explore programming languages as human languages, examining their structural elements, cognitive impacts, and role in shaping developer communities and mental models.

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

Unification Modulo Equational Theories in Languages with Binding Operators

Explore unification algorithms for languages with binding operators and equational axioms. Learn about solving equations between terms in logic programming and theorem proving.

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

CellPond: Spatial Programming Without Escape

Explore spatial programming with CellPond, a novel approach that eliminates escape hatches and maximizes visual, interactive benefits.

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

PAW: A Programmable and Visual Audio Workstation

Explore a prototype bridging digital audio workstations and live coding, combining visual interfaces with programmable music creation for enhanced flexibility and creativity.

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

A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description Languages

Explore a pred-LL(*) parsable typed higher-order macro system for Architecture Description Languages, reducing specification redundancy and improving maintainability.

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