Compiler Contract Extraction for ARTS-style Parallelism from OpenMP

Mar 1, 2025·
Rafael Herrera Guaitero
· 1 min read
Abstract
This work examines how compiler analysis can recover contract information from OpenMP programs and lower it into a form suitable for ARTS-style parallel execution.
Date
Mar 1, 2025 12:00 AM — 1:00 AM
Event
Location

Las Vegas, Nevada

events

The talk focuses on the CARTS line of work and how explicit contract extraction can expose schedulable structure in OpenMP applications.

OpenMP MLIR Runtime Systems
Authors
Rafael Herrera Guaitero
Ph.D. Candidate in Electrical and Computer Engineering
I design execution-contract systems that make State, Dependency, and Effect compiler-visible across compilers, runtime systems, and agentic AI workflows. My work spans LLVM and MLIR pipelines, OpenMP and event-driven runtimes, and typed orchestration systems for heterogeneous and distributed execution.