ACM SIGPLAN Courses

Rhyme - A Data-Centric Expressive Query Language for Nested Data Structures

Explore Rhyme, a new query language for nested data structures. Learn its syntax, capabilities, and applications in data manipulation, tensor expressions, and more.

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

Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks

Explore a neurosymbolic framework for improving CNN interpretability in image classification using logic programming and kernel-grouping techniques.

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

A Direct ASP Encoding for Declare

Explore a novel ASP encoding for Declare constraints in Process Mining, comparing its effectiveness to alternative approaches for improved business process modeling.

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

Hardware Implementation of OCaml Using a Synchronous Functional Language

Explore Éclat, a functional language for hardware applications, and its implementation of an OCaml virtual machine on FPGAs, showcasing real-time interaction and customizable runtime.

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

Introducing BRAT: A Functional Programming Language for Quantum-Classical Hybrid Programs

Explore BRAT, a functional language for quantum-classical hybrid programming, featuring unique syntax and type-level parameters for enhanced safety and composition.

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

Polynomial-time Classical Simulation of Roetteler's Shifted Bent Function Algorithm

Explore polynomial-time classical simulation of Roetteler's shifted bent function algorithm, examining symbolic rewriting techniques and their implications for quantum circuit analysis.

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

Circuit Width Estimation via Effect Typing and Linear Dependency

Explore circuit width estimation in quantum programming using effect typing and linear dependency. Gain insights into Proto-Quipper-R's type system for resource analysis of quantum algorithms.

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

Qadence: A Differentiable Interface for Digital-Analog Quantum Programs

Explore Qadence, a high-level interface for digital-analog quantum programs. Learn about its flexible design, native differentiability, and focus on real device execution for quantum machine learning algorithms.

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

How Programmers Interact with AI Assistants - Exploring Interaction Modes and Live Programming

Explore how programmers use AI assistants like Github Copilot, understand interaction modes, and learn about LEAP, a new model enhancing AI code suggestion exploration and validation.

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

Thread-Level Attack-Surface Reduction for Enhanced Security

Explore thread-level attack-surface reduction, a dynamic approach to eliminate unused code on a thread level, significantly reducing ROP gadgets and enhancing security in multi-threaded applications.

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

Facilitating the Bootstrapping of a New Instruction Set Architecture

Explore tools and verification mechanisms for developing new instruction set architectures, focusing on semi-automated approaches to streamline system software and simulator infrastructure creation.

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

NUMAlloc: A Faster NUMA Memory Allocator

Explore a novel memory allocator designed for NUMA architecture, offering improved performance and scalability for multithreaded applications through innovative memory management techniques.

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

PinIt: Influencing OS Scheduling via Compiler-Induced Affinities in Embedded Media - LCTES 2023

Explore PinIt, a compiler-directed methodology optimizing OS scheduling for embedded media applications. Learn how it enhances performance by minimizing harmful thread migrations and maintaining data locality.

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

Concurrent GCs and Modern Java Workloads - A Cache Perspective

Explore the impact of concurrent garbage collectors on Java workloads, focusing on cache pollution and performance implications for modern server applications.

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

Predictable Inlining in OCaml - Flambda2 Heuristics and Inlining Histories

Explore OCaml's inlining heuristics in Flambda2 and learn about "Inlining histories" for visualizing compiler decisions.

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