Projects

Neutral-Atom Systems

An atom array with transport trajectories and an interacting atom pair

Overview

Neutral atom processors use programmable atom movement to change hardware connections. Compilers must coordinate these movements with quantum operations.

We develop compiler and runtime support for reconfigurable arrays. Our work includes architecture-specific optimization, equivalence checking, and shared circuit execution.

Approach

  1. Weaver provides a programming language, compiler optimizations, and an equivalence checker for field-programmable quantum arrays.
  2. MultiQ combines virtual zone layouts with a controller that schedules independent circuits on shared neutral atom hardware.

Papers

MultiQ: Multi-Programming Neutral Atom Quantum Architectures, first page
CGO2027

MultiQ: Multi-Programming Neutral Atom Quantum Architectures

Francisco Romao, Daniel Vonk, Emmanouil Giortamis, Dennis Sprokholt, Pramod Bhatotia

Paper
Weaver: A Retargetable Compiler Framework for FPQA Quantum Architectures, first page
CGO2025

Weaver: A Retargetable Compiler Framework for FPQA Quantum Architectures

Oguzcan Kirmemis, Francisco Romao, Emmanouil Giortamis, Pramod Bhatotia

Paper