ACM SIGPLAN Courses

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

Octagons Revisited - Elegant Proofs and Simplified Algorithms

Explore simplified algorithms for Octagon domain closure, featuring elegant proofs, efficient computations, and improved abstract transformers for affine assignments in program analysis.

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

Reuse and Automated Integration of Recommenders for Modelling Languages

Explore a methodology for reusing and integrating recommenders in modeling tools, addressing language, tool, source, and item dimensions. Learn about IronMan plugin for automating integration.

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

Scaling Up Machine Learning Without Tears - Programming Languages' Role

Explore techniques for scaling machine learning workloads across accelerators, focusing on partitioning, parallelism, and programming language concepts to optimize performance and hardware utilization.

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

Hydroflow: A Compiler Target for Fast, Correct Distributed Programs

Explore Hydroflow, a Rust-based dataflow runtime enabling correct program transformations for distributed systems. Learn about refactoring, replication, and partitioning techniques for optimizing distributed programs.

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

Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference

Explore innovative approaches to improve type error messages in constraint-based type inference systems, focusing on data flow and subtyping constraints to enhance programmer understanding.

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

Scaling Verification of Concurrent Programs with the Civl Verifier

Learn to verify complex concurrent programs using Civl's layered refinement approach. Master techniques for simplifying proofs, enhancing maintainability, and scaling verification of advanced concurrent systems.

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

String Solving for Verification - TutorialFest at POPL 2024

Explore string solving techniques for software verification, focusing on theory, implementations, and applications in programming languages and security analysis.

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

Automated Datastructure Verification Using Unfoldings and SMT Solving - Foundations and FO-Completeness

Explore automated datastructure verification techniques using unfoldings and SMT solving. Learn foundations, FO-completeness, and applications in program verification.

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

Machine Learning Meets Program Synthesis - TutorialFest at POPL'24

Explore key principles for leveraging machine learning in program synthesis, examining challenges at the intersection of programming languages, software engineering, and AI.

• YouTube
• 2 hours 45 minutes
• On-Demand
• Free Video

Foundations of Type-Driven Probabilistic Modelling

Explore type-driven abstractions for probabilistic modelling, covering discrete probability and quasi-Borel spaces. Gain hands-on experience through accompanying exercises for self-study.

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

MetaCoq Tutorial - Meta-programming and Proving with MetaCoq

Explore MetaCoq library for Coq meta-programming, learn to develop plugins and tactics, and understand metatheory for verifying meta-programs. Hands-on exercises included.

• YouTube
• 3 hours 28 minutes
• On-Demand
• Free Video