ACM SIGPLAN Courses

Bridging the Gap for Security Analysis in Infer

Explore advancements in Infer's static analysis for enhanced security vulnerability detection, with proposed improvements and implementation strategies for expanded property coverage.

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

IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications

Explore dynamic predictive analysis for detecting unserializable behaviors in weakly isolated data store applications. Learn about IsoPredict's novel techniques and evaluation results.

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

ChoRus: Library-Level Choreographic Programming in Rust

Explore ChoRus, a Rust framework for choreographic programming. Learn about endpoint projection and its implementation for distributed systems using library-level techniques.

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

Classical Simulation of Quantum Circuits with Partial Interference Effects

Explore classical simulation of quantum circuits using partial interference, improving efficiency for textbook quantum algorithms through a novel concurrency model approach.

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

Choreographic Programming: Its Essence, Beauty, and Necessity - CP 2024

Explore choreographic programming's essence, beauty, and necessity. Delve into its applications in cloud computing, microservices, concurrency, and digital democracy with Professor Fabrizio Montesi.

• YouTube
• 1 hour 2 minutes
• Self-Paced
• Free Video

Quantum Program Analysis: Verification and Testing

Explore quantum program analysis techniques, including Quantum Hoare logic, Incorrectness logic, and relational Hoare logic. Learn about verifying correctness and catching bugs in quantum programs.

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

Quantum Application Development for Multi-Processor Systems Using CUDA-Q

Explore CUDA-Q for quantum-classical hybrid computing, leveraging GPUs to accelerate quantum application development and execution in high-performance systems.

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

Design DSLs with xDSL - SPARSE 2024

Explore designing Domain-Specific Languages using xDSL, a powerful tool for creating custom programming languages tailored to specific domains.

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

Probabilistic Programming with Programmable Variational Inference

Explore a modular approach to variational inference in probabilistic programming, enhancing expressiveness and enabling user-defined objectives with systematic gradient estimation transformations.

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

PDEs and Stencils - SPARSE 2024

Explore PDEs and stencils in computational science, focusing on efficient numerical methods for solving partial differential equations.

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

FOLD-SE: An Efficient Rule-based Machine Learning Algorithm with Scalable Explainability

Explore FOLD-SE, an efficient rule-based ML algorithm for classification tasks, offering scalable explainability and competitive performance with state-of-the-art methods.

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

Cutting the Cake Into Crumbs: Verifying Envy-Free Cake-Cutting Protocols using Bounded Integer Arithmetic

Explore envy-free cake-cutting protocols verification using bounded integer arithmetic. Learn to reduce fairness checks to SAT instances for efficient protocol analysis.

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

Modular Higher-Order Effects in Declarative Languages - PADL'24 Lecture

Explore modular higher-order effects in Haskell for creating extensible domain-specific languages with enhanced expressiveness and maintainability using the effective library.

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

Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs

Explore AutoConcierge, a system combining GPT-3 and answer set programming to create realistic, domain-specific conversational agents that truly understand user utterances.

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

Asynchronous Reactive Programming with Modal Types in Haskell

Explore asynchronous reactive programming using modal types in Haskell. Learn about Async Rattus, an embedded FRP language with compile-time clock tracking for efficient asynchronous system composition.

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