ACM SIGPLAN Courses

Bayesian Inference Using Probabilistic Programming

Explore Bayesian inference techniques and probabilistic programming concepts with expert insights from Hong Ge at LAFI'24.

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

Reasoning via Semantic Transformations

Explore semantic transformations in reasoning processes, examining their role and impact on logical analysis and problem-solving techniques.

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

Some Things I Wish I Hadn't Seen - Challenging Concurrency Patterns in Code

Explore complex concurrency patterns in code bases, examining challenging examples that push the boundaries of theoretical understanding and practical implementation.

• YouTube
• 21 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

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