ACM SIGPLAN Courses

E-graphs and Automated Reasoning: Looking Back to Look Forward

Explore e-graph rewriting techniques in automated reasoning, examining historical connections and potential extensions for future implementations.

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

Disequalities in E-Graphs: An Experiment

Explore integration of disequalities into e-graphs for enhanced automated theorem proving efficiency. Learn about implementation approaches and preliminary results in egg library.

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

A Tale of Shared Memory Concurrency in Programming Languages

Explore shared memory concurrency in programming languages, examining challenges, recent advancements, and future directions for designing effective concurrency models for multicore systems.

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

Automated Proof Generation for Associative and Distributive Rewriting with E-Graphs

Explore automated proof generation for associative and distributive rewriting using e-graphs, focusing on encoding dependently-typed languages and strategies for building proof trees within egglog.

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

EGSTRA: E-Graph-Based Strategy for Test Suite Reduction and Abstraction

Explore e-graph application in software testing, focusing on test suite reduction and abstraction for program analysis tools. Learn about JSON-based implementation and preliminary research findings.

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

Interleaving Static Analysis and LLM Prompting for Error-Specification Inference

Explore a novel approach combining static program analysis with LLM queries to enhance error-specification inference in C systems code, improving recall and F1-score while maintaining precision.

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

Bridging Syntax and Semantics of Lean Expressions in E-Graphs

Explore proof automation in Lean using equality saturation, addressing challenges in bridging expression semantics with e-graphs for improved equational reasoning and theorem proving.

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

Interplay Between Corporate, Government, and University R&D - Career Perspectives

Explore career paths in corporate, government, and university R&D with insights from a 25-year industry veteran. Gain valuable perspectives to guide your professional journey in research and development.

• YouTube
• 1 hour 9 minutes
• On-Demand
• Free Video

Model Checking Distributed Software Systems

Explore state space exploration for distributed systems, focusing on the Must project and its scalability advancements. Discover challenges in industrial deployment of model checking.

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

Misconceptions About Loops in C - Challenges in Loop Analysis for Static Analysis Tools

Explore rare edge cases and challenges in loop analysis for C programming, enhancing understanding of static analysis tools and improving software verification techniques.

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

Reasoning About Hilbert's Choice Operator in SMT

Explore implementing Hilbert's ε-terms in SMT solvers, gaining access to a new logical choice primitive for enhanced reasoning capabilities.

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

Type-safe Nanopasses: How to Write a Safe and Modern Compiler Front-end - INFER 2024

Explore a novel approach to strongly typing compiler passes, combining nanopasses and recursion schemes for efficient, type-safe compiler front-end development in Ada.

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

Work Assisting - Linking Task-Parallel Work Stealing with Data-Parallel Self Scheduling

Explore a novel scheduling strategy for mixing data and task parallelism, preserving data parallelism structure while enabling flexible thread distribution and self-scheduling for improved performance.

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

Zero-Overhead Parallel Scans for Multi-Core CPUs - ARRAY 2024

Explore efficient parallel scans for multi-core CPUs, achieving zero overhead and improved single-threaded performance in array languages.

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

Apple Array Allocation - Static Memory Management for Flat, Immutable Arrays

Explore statically determined memory allocation for flat, immutable arrays in Apple array system, extending liveness analysis for JIT compilers in functional languages.

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