ACM SIGPLAN Courses

Optimizing Function Layout for Mobile Applications

Explore novel function layout optimization techniques for mobile apps, improving compressed code size and cold start-up time through balanced graph partitioning algorithms implemented in LLVM.

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

Faster APL with Lazy Extensions

Explore optimizing APL performance through lazy evaluation and virtual arrays, leveraging Common Lisp's object-oriented features for elegant and efficient array-generating kernels.

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

Learning to Boost Disjunctive Static Bug-Finders

Explore a novel learning-based strategy for disjunctive static bug-finders, addressing challenges in state-selection heuristics and improving efficiency in real-world program analysis.

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

Flux: Refinement Types for Rust

Explore refinement types for Rust with Flux, enhancing code safety and expressiveness in systems programming.

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

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

U-Net CNN in APL: Exploring Zero-Framework, Zero-Library Machine Learning

Explore U-Net CNN implementation in APL, comparing performance and clarity with PyTorch. Discover APL's potential for concise, transparent machine learning code using modern GPU-supported compiler.

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

Crosys: Cross Architectural Dynamic Analysis for IoT Malware

Explore Crosys, a novel method for dynamic analysis of multi-architectural binaries through intermediate language interpretation and binary rewriting, addressing IoT malware analysis challenges.

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

Array Programming via Multi-Dimensional Homomorphisms

Explore array programming using Multi-Dimensional Homomorphisms for efficient data-parallel computations, optimized code generation, and high-performance results on GPUs and CPUs.

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

MultiGPU Performance-Portable Solution for Array Programming Based on Kokkos

Explore a new Kokkos-based API for transparent, portable multiGPU array computation. Learn about implementation variations, autotuning, and performance comparisons with MPI+Kokkos on top supercomputers.

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

Lineage: A Data-Flow Analysis for Erlang

Explore a novel data-flow analysis for Erlang, producing over-approximating dataflow graphs for efficient taint checking in large-scale codebases.

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

Incremental Analysis in Infer

Explore Infer's incremental analysis infrastructure, addressing technical challenges and future developments for faster program analysis in large codebases.

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

A Comparison of Program Logics for (In)Correctness

Explore program logics for correctness and incorrectness, comparing over- and under-approximation techniques. Analyze Sufficient Incorrectness Logic and its Separation Logic variant for dynamic heap management.

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

Unified Compositional Formal Methods: Exact Separation Logic and the Gillian Platform - Incorrectness'24

Explore unified compositional formal methods for program correctness and incorrectness reasoning, focusing on exact separation logic and the Gillian platform.

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

InducTeX: A MetaCoq Plugin for Typesetting Inductive Definitions

Explore InducTeX, a MetaCoq plugin for typesetting Coq inductive definitions as TeX inference rules, streamlining documentation and communication of formal developments.

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

Functorial Syntax for All - Representing and Reasoning About Binding Structures

Explore a Coq library for reasoning about variable binding in programming languages using functorial syntax, with insights from development and application across projects.

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