ACM SIGPLAN Courses

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

Automatically Generated Supernodes for AST Interpreters Improve Virtual-Machine Performance

Explore a novel technique for improving AST interpreter performance through automatically generated supernodes, enhancing execution speed and reducing JIT compiler pressure in programming language implementations.

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

Is Wasm Becoming Garbage? - WebAssembly and Garbage Collection

Explore WebAssembly's new garbage collection feature, its design rationale, and implications for compilers targeting object-oriented and functional languages.

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

Lifting On-Demand Analysis to Higher-Order Languages

Explore an innovative approach to on-demand analysis for higher-order languages, focusing on precise call graph construction and scalable bug detection in complex code bases.

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

Automated Extraction of Grammar Optimization Rule Configurations for Metamodel-Grammar Co-evolution

Explore automated extraction of grammar optimization rule configurations for metamodel-grammar co-evolution, reducing manual effort and enabling fully automated migration processes.

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

Seamless Code Generator Synchronization in the Composition of Heterogeneous Modeling Languages

Explore a lightweight generator composition concept using symbol tables for heterogeneous modeling languages, enabling seamless code generator synchronization and enhancing language composition capabilities.

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

Artificial Languages are Dead. Long Live Artificial Languages - SLE23

Explore the impact of Large Language Models on programming, artificial languages, and CS education in this thought-provoking talk by Crista Lopes.

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

Nanopass Attribute Grammars - Managing Complexity in Compiler Design

Explore nanopass attribute grammars for managing compiler complexity, enabling type-safe language versioning and transformation composition in feature-rich language implementations.

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