Control Systems Courses

ACM SIGPLAN

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

ACM SIGPLAN

Control-Flow Tracking and Misuse Detection for Non-local Jumps in C

Explore an approach for analyzing setjmp/longjmp in C, enhancing static analyzers to detect misuse and support non-local control flow through side-effecting transfer functions.

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

ACM SIGPLAN

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
• Self-Paced
• Free Video

ACM SIGPLAN

The Potential of Information-Flow Control Research for Helping GDPR Compliance

Explore Information-Flow Control's role in data security, its implementation in Haskell, and its alignment with GDPR principles for building secure, compliant software systems.

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

ACM SIGPLAN

Capturing Types: A Calculus for Tracking Free Variables in Type Systems

Explore a calculus representing captured variables in types for enhanced safety, enabling effect implementation via scoped capabilities and guiding practical capture checking in programming languages.

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

ACM SIGPLAN

Can We Reason About the Security of Concurrent Systems Code?

Explore challenges and possibilities in reasoning about security in concurrent systems code with expert Peter Sewell.

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

ACM SIGPLAN

Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators

Explore the equivalence between labeled effect handlers and labeled delimited control operators in computational effects, with insights on their expressive power and practical applications.

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

ACM SIGPLAN

MVC, MVCC and Causal Trees in CRDT Systems - Lecture 23

Explore MVC, MVCC, and Causal Trees in CRDT systems, focusing on techniques to organize inner workings while maximizing benefits and minimizing disruption to established practices.

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

ACM SIGPLAN

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
• Self-Paced
• Free Video

ACM SIGPLAN

Borrow Checking in Hylo - A High-Level Systems Programming Language

Explore Hylo's innovative approach to safe, efficient systems programming using mutable value semantics and abstract interpretation for lifetime verification.

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

ACM SIGPLAN

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
• Self-Paced
• Free Video

ACM SIGPLAN

Programming with Effect Exclusion - Type and Effect Systems

Explore a novel type and effect system enabling direct reasoning about effect absence through effect exclusion, enhancing programming flexibility and correctness in various domains.

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

ACM SIGPLAN

Supporting General and Dynamic Adaptation in Computing Systems

Explore a framework for adaptive computing systems that supports dynamic modification of goals and configuration parameters, enhancing flexibility and performance in complex environments.

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

ACM SIGPLAN

Virgil as a Systems Programming Language

Explore Virgil's approach to systems programming, focusing on self-hosting, kernel interaction, and VM implementation for WebAssembly in the Wizard Research Engine.

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

ACM SIGPLAN

Profile Guided Offline Optimization of Hidden Class Graphs for JavaScript VMs in Embedded Systems

Optimize JavaScript VMs for IoT devices by reducing hidden classes, improving memory usage and execution speed through offline graph optimization and profile-guided techniques.

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