ACM SIGPLAN Courses

Exploring Task Equivalence for Software Engineering Practice Adaptation and Replacement

Explore task equivalence in software engineering practice adaptation, focusing on maintaining functionality while tailoring to local contexts. Learn to identify compatible aspects for effective modifications.

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

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

The 4 Horsemen of Unsoundness in Object-Oriented Languages

Explore 4 subtle issues challenging OO verification: termination, leaky partial verification, ill-founded contracts, and reduction to primitive operations.

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

How to Trust a Verified Program - Challenges and Solutions in Program Verification

Explore challenges in trusting verified programs, examining theoretical and practical issues in program verification using proof assistants, and discussing potential solutions for enhancing trustworthiness.

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

Lang-n-Prove: A Domain-Specific Language for Language Proofs

Explore Lang-n-Prove, a domain-specific language for expressing theorems and proofs applicable to multiple languages, focusing on type safety in functional programming.

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

Property-Based Testing: Climbing the Stairway to Verification - Lecture

Explore property-based testing's integration with formal verification for enhanced code correctness assurance, using Cogent's framework as a case study.

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

Gradual Grammars: Syntax in Levels and Locales

Explore gradual syntax definition for programming languages, enabling level-based learning and internationalization. Enhance accessibility for diverse users while minimizing impact on language processors.

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

The Semantics of Plurals in Expression Languages - SLE

Explore the semantics of plurals in software languages, examining bunch theory and its integration with relations for seamless modeling and programming.

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

jGuard - Programming Misuse-Resilient APIs

Explore jGuard, a Java extension enabling API designers to encode specifications directly, preventing misuse without additional tooling for users. Enhance API resilience effortlessly.

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

Property Probes: Source Code-Based Exploration of Program Analysis Results

Explore interactive program analysis results with property probes, enhancing debugging and understanding through source code-based exploration as you edit.

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

Ease Virtual Machine Level Tooling with Language Level Ordinary Object Pointers

Explore techniques to bridge abstraction gaps in VM tooling using Language Level Ordinary Object Pointers, enhancing debugging and error resolution in Pharo environments.

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

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

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

Compilation of Modular and General Sparse Workspaces - PLDI 2024

Explore efficient code generation for sparse tensor algebra, focusing on sparse workspaces as adapters between compute code and result tensors. Learn about modular compiler design and performance improvements.

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

Descend: A Safe GPU Systems Programming Language

Explore Descend, a safe GPU programming language enforcing memory management through type systems. Learn about its holistic model, extended Borrow checking, and competitive performance against CUDA.

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