ACM SIGPLAN Courses

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

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

Language Model Agents Enable Semi-Formal Programming - LIVE23

Explore semi-formal programming using language model agents to capture semantic information and execute informal program elements, enhancing malleable programming environments.

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

Virtual Domain Specific Languages via Embedded Projectional Editing

Explore virtual Domain Specific Languages through embedded projectional editing, bridging internal and external DSLs for enhanced flexibility and seamless GPL integration.

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

Toward Programming Languages for Reasoning - Humans, Symbolic Systems, and AI Agents

Explore the future of programming languages focused on reasoning, integrating human developers, symbolic systems, and AI agents. Learn about the Bosque platform's radical simplification approach.

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

Document-Oriented Programming Based on Edit History

Explore a novel programming environment focusing on document-centric approach and edit history, enabling local-first collaboration and adaptive code structure.

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

Trustworthy Formal Natural Language Specifications

Explore a novel approach to translating natural language specifications into formal claims within proof assistants, enhancing software verification and bridging the gap between informal and formal specifications.

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

Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples

Design Datalog templates for synthesizing bidirectional programs from tabular examples, exploring innovative approaches in program synthesis and transformation.

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

TypeCell: End-User Programming in Block-Based Rich Text Documents

Explore end-user programming in TypeCell, a block-based rich text editor. Learn about liveness, composability, and extensibility features that simplify programming for non-experts.

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

Generating Conforming Programs with Xsmith

Explore Xsmith, a Racket library for efficient fuzz testing of programming languages. Learn to create conforming programs for differential testing with minimal code, finding bugs in various language implementations.

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