Neutral-Atom Systems
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
- Weaver provides a programming language, compiler optimizations, and an equivalence checker for field-programmable quantum arrays.
- MultiQ combines virtual zone layouts with a controller that schedules independent circuits on shared neutral atom hardware.
Papers

CGO2027
MultiQ: Multi-Programming Neutral Atom Quantum Architectures
Francisco Romao, Daniel Vonk, Emmanouil Giortamis, Dennis Sprokholt, Pramod Bhatotia
Paper
CGO2025
Weaver: A Retargetable Compiler Framework for FPQA Quantum Architectures
Oguzcan Kirmemis, Francisco Romao, Emmanouil Giortamis, Pramod Bhatotia
Paper