ACM SIGPLAN Courses

A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis

Explore DebloaterX, a novel approach for efficient object-sensitive pointer analysis. Learn how container-usage patterns improve context debloating, enhancing performance with minimal precision loss.

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

Bring Your Own Data Structures to Datalog

Explore a novel approach to Datalog implementation, allowing custom data structures for improved scalability in deductive-analytic workloads like social media analytics and program analysis.

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

The Bounded Pathwidth of Control-Flow Graphs

Explore bounded pathwidth in control-flow graphs, its advantages over treewidth, and its applications in static analysis and compiler optimization. Gain insights into more efficient algorithms for program analysis.

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

Modular Component-Based Quantum Circuit Synthesis

Explore a novel method for synthesizing quantum circuits using modular components, accelerating the process and reducing search space for efficient circuit construction.

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

Mechanizing Session-Types Using a Structural View - Enforcing Linearity without Linearity

Explore a novel technique for mechanizing session types using structural typing contexts, enhancing the modeling of linear type systems in proof assistants.

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

Automated Ambiguity Detection in Layout-Sensitive Grammars

Explore automated ambiguity detection in layout-sensitive grammars using SMT solving. Learn about local ambiguity, reachability conditions, and their application to language design.

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

Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection

Explore efficient question selection in Oracle-Guided Inductive Synthesis. Learn about LearnSy, a novel selector improving OGIS solver performance through effective and efficient optimization techniques.

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

WheaCha: An Explanation Method for Models of Code

Explore WheaCha, a novel method for explaining code model predictions by separating input programs into 'wheat' and 'chaff', demonstrating its efficiency and usefulness in identifying defective models.

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

Rapid: Region-Based Pointer Disambiguation for Efficient Memory Optimization

Explore Rapid, a tool for efficient pointer disambiguation using region-based allocation. Learn about its performance benefits, low-overhead allocator, and improved dynamic checks for compiler optimizations.

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

Functional Collection Programming with Semi-Ring Dictionaries

Explore semi-ring dictionaries, a versatile collection type for functional programming. Learn about SDQL language and its optimizations for efficient database and linear algebra processing.

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

Initializing Global Objects: Time and Order

Explore a novel approach to global object initialization in Scala, addressing safety issues and proposing static analysis techniques to eliminate errors and optimize performance.

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

How Domain Experts Use an Embedded DSL

Explore how domain experts utilize embedded DSLs, uncovering key themes and user needs to inform future designs. Gain insights into eDSL usability and adoption challenges.

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

Back to Direct Style: Typed and Tight

Explore typed translations between direct and continuation-passing styles, examining their preservation of types and semantics, and their behavior in trivial and non-trivial control flow scenarios.

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

Randomized Testing of Byzantine Fault Tolerant Algorithms

Explore ByzzFuzz, a randomized testing method for detecting errors in Byzantine fault-tolerant algorithms. Learn how it uncovers protocol and implementation bugs in blockchain systems through innovative message mutations.

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

Compositional Security Definitions for Higher-Order Where Declassification

Explore compositional security definitions for higher-order where declassification using logical relations, addressing intensional information-flow properties in private data handling for advanced programming.

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