Rafael Herrera Guaitero

Ph.D. Candidate in Electrical and Computer Engineering

University of Delaware

CAPSL Research Group

Professional Summary

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.

Education

PhD Electrical and Computer Engineering

2021-08-01
2026-12-31

University of Delaware

Bachelor of Engineering

2015-01-01
2020-12-31

Pontificia Universidad Javeriana

Interests

Execution contracts over State, Dependency, and Effect LLVM and MLIR compiler pipelines Runtime systems for heterogeneous and distributed execution Agentic AI orchestration and workflow runtimes Reproducible systems research infrastructure
Research

I work at the boundary between compiler and runtime co-design, heterogeneous systems, and agentic AI infrastructure.

My research focuses on execution contracts: explicit declarations of State, Dependency, and Effect that make scheduling and orchestration semantics compiler-visible rather than implicit. I use that idea to improve overlap, distributed execution, workflow validation, and system reliability.

The recurring themes across my work are:

  • LLVM and MLIR compiler pipelines
  • OpenMP and event-driven runtime systems
  • Agentic workflow orchestration and typed execution IRs
  • Local-first and reproducible research tooling
Selected Projects

Open-source systems and research infrastructure I actively build.

A-PXM

A parallel execution model for agentic AI with an execution IR, compiler pipeline, runtime, and scheduler.

Tully

A local-first system for experiment tracking, research context, and reproducible technical workflows.

AgentMate

A Rust framework for building AI agents with tools, streaming, memory, and sandboxed execution.

CARTS Benchmarks

Benchmark suites and harnesses for evaluating contract extraction and event-driven execution strategies.

Selected Talks

Compiling Agentic AI Programs for Dataflow Execution with Explicit Contracts

Talk on compiling agentic AI programs into a contract-aware dataflow execution model.

Rafael Herrera Guaitero

Compiler Contract Extraction for ARTS-style Parallelism from OpenMP

Talk on extracting execution contracts from OpenMP to enable ARTS-style event-driven execution.

Rafael Herrera Guaitero

Task-dependency graph discovery and compile-time optimizations of OpenMP tasks

Talk on discovering task-dependency graphs and enabling compile-time optimization of OpenMP tasking.

Rafael Herrera Guaitero
Current Direction

I am currently interested in systems that turn implicit execution behavior into analyzable program structure.

That includes compiler-visible dependence and effect models, contract-aware agent runtimes, heterogeneous task placement, and tooling that makes systems research easier to reproduce, inspect, and extend.