← authors · overview

• An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures
  2024 · 12 citations
• Compiler Optimization for Quantum Computing Using Reinforcement Learning
  2022 · 5 citations
• Predicting Good Quantum Circuit Compilation Options
  2022 · 4 citations
• Software Tools for Decoding Quantum Low-Density Parity Check Codes
  2022 · 2 citations
• Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms
  2022 · 2 citations
• Stripping Quantum Decision Diagrams of their Identity
  2024 · 2 citations
• A SAT Encoding for Optimal Clifford Circuit Synthesis
  2022 · 1 citations
• On Optimal Subarchitectures for Quantum Circuit Mapping
  2022 · 1 citations
• Automatic De-Quantization of Quantum Programs Using Constant Propagation
  2026
• Search Smarter, Not Harder: A Scalable, High-Quality Zoned Neutral Atom Compiler
  2025