ACM SIGPLAN Courses

Morello Software and Compilers

Explore Morello software and compilers, focusing on advanced techniques and innovations in programming language implementation for enhanced security and performance.

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

The State of Morello and CHERI

Explore the current status and advancements of Morello and CHERI technologies in computer architecture and security.

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

CHERI Static Analysis - POCL'24

Explore CHERI static analysis techniques for enhanced memory safety and security in software development.

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

WALI: A Thin Linux Kernel Interface for WebAssembly

Explore WALI, a thin layer enabling WebAssembly to interact seamlessly with Linux systems, enhancing application portability and security while leveraging existing compiler backends.

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

Generating Executable Specification from Formal Semantics of WebAssembly

Explore automatic generation of algorithmic artifacts from WebAssembly's formal semantics using a domain-specific language, streamlining the standardization process for new features.

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

What is a WebAssembly Component and Why - WAW'24

Explore the WebAssembly Component Model proposal, its motivations, technical design, and upcoming releases for cross-language, portable module development.

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

Toward a Live, Rich, Composable, and Collaborative Planetary Compute Engine

Explore Planet Hazel, a visionary programming environment for collaborative planetary computing to address climate crisis challenges across diverse stakeholders.

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

Building Open Source Software for Climate Change Research - Lessons Learned from Mimi.jl

Explore Mimi.jl, an open-source platform for climate change economic impact modeling. Learn about its development, user experience, and design considerations for domain-specific languages in research.

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

Categorical Composition of Discrete Exterior Calculus Climate Models

Explore Decapodes.jl framework for composing multiphysics equations in climate modeling, featuring Discrete Exterior Calculus and undirected wiring diagrams for efficient simulation code generation.

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

Quantum Abstract Interpretation

Explore quantum abstract interpretation for efficient verification of large-scale quantum programs, overcoming simulation limitations and enabling assertion checks for up to 300 qubits.

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

Program Synthesis via Bi-directional Reduced-product Abstract Interpretation - N40AI'24

Explore bi-directional reduced-product abstract interpretation for inductive program synthesis, focusing on example-based techniques and their application to bit-manipulation programs.

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

Trust but Verify: Scaling Deductive Verification with Abstract Interpretation - N40AI'24

Explore scaling deductive verification for smart contracts using abstract interpretation. Learn about pointer analysis algorithms, program simplifications, and challenges in low-level code analysis.

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

Unified Compositional Symbolic Execution - N40AI'24

Explore unified compositional symbolic execution techniques for program analysis, enhancing software reliability and performance optimization.

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

Mechanizing Abstract Interpretation - Challenges and Applications

Explore the challenges and successes of formalizing abstract interpretation theory using proof assistants, focusing on Coq-based attempts and comparisons with other systems.

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

Consider Collaboration - Importance and Strategies in Research

Discover the importance of collaboration in research, learn how to initiate partnerships, overcome challenges, and achieve success in joint projects.

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