ACM SIGPLAN Courses

Architecture-Preserving Provable Repair of Deep Neural Networks

Explore architecture-preserving V-polytope provable repair of deep neural networks. Learn about a novel approach that guarantees specification satisfaction while preserving DNN architecture, supporting various layers and activation functions.

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

Incremental Verification of Neural Networks

Explore a novel framework for efficient, incremental, and complete verification of updated deep neural networks, improving scalability and speed in determining trustworthy properties.

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

Better Defunctionalization through Lambda Set Specialization

Explore lambda set specialization, a novel defunctionalization technique for higher-order functions. Learn about its polymorphic type system, type inference algorithm, and performance benefits in functional programming languages.

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

Prompting Is Programming: A Query Language for Large Language Models

Explore Language Model Programming (LMP) and LMQL, a novel approach combining text prompting and scripting for efficient language model interactions and task adaptations.

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

Responsive Parallelism with Synchronization

Explore a novel approach combining static and dynamic techniques to prevent priority inversion in concurrent programs using mutexes and condition variables, enhancing responsiveness and efficiency.

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

Efficient Parallel Functional Programming with Effects

Explore techniques for efficient parallel functional programming with unrestricted effects, improving performance while maintaining safety benefits through innovative memory management.

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

Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis

Explore a novel approach for fast and precise pointer analysis in Java, using Cut-Shortcut to achieve context sensitivity without contexts, offering improved efficiency and precision for complex programs.

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

cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications

Explore cuCatch, an innovative debugging tool for CUDA applications that efficiently detects memory safety violations with low performance overhead and high error detection coverage.

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

Modular Hardware Design with Timeline Types

Explore Filament, a language for modular hardware design using timeline types to specify and enforce timing and structural constraints in statically scheduled pipelines, enabling safe composition and efficient hardware lowering.

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

Deductive Verification of Parameterized Embedded Systems Modeled in SystemC

Explore deductive verification for parameterized embedded systems in SystemC, focusing on formal encoding, automated transformation, and novel invariant construction for global properties.

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

Formal Runtime Error Detection in Automotive Software Development

Explore formal runtime error detection in automotive software development using inferred contracts and abstract interpretation for improved precision and scalability in module-level analysis.

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

Two Projects on Human Interaction with AI

Explore two projects on human-AI interaction: distinguishing human from machine agents and using AI in software development. Gain insights into trust, validity, and dynamic knowledge construction in AI interactions.

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

Automating Relational Verification of Infinite-State Programs

Explore automated relational verification techniques for infinite-state programs, focusing on hyperproperties, k-safety, and advanced security applications. Compare constraint-based and proof search approaches.

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

Rust on Morello - POCL'24

Explore Rust programming on the Morello architecture, focusing on memory safety and capability-based security features.

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

Object Capabilities - Principles and Applications

Explore object capabilities in programming languages, focusing on security, encapsulation, and access control mechanisms for robust software design.

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