Abtin Molavi

Profile picture

✉ amolavi@wisc.edu | Abtin-Molavi | CV

I am a CS Ph.D. candidate at the University of Wisconsin-Madison advised by Aws Albarghouthi. I develop tools and techniques for compiling quantum programs to native device instructions.

I earned a B.S. in Computer Science and Math at Harvey Mudd College, where I worked on quantitative program analysis with Lucas Bang and the ALPAQA group.

Recent Publications

  • Dependency-Aware Compilation for Surface Code Quantum Architectures [PDF]
    Abtin Molavi Amanda Xu Swamit Tannu Aws Albarghouthi
    OOPSLA ’25
  • Optimizing Quantum Circuits, Fast and Slow [PDF]
    Amanda Xu Abtin Molavi Swamit Tannu Aws Albarghouthi
    ASPLOS ’25
  • Synthesizing Quantum-Circuit Optimizers [PDF]
    Amanda Xu Abtin Molavi Lauren Pick Swamit Tannu Aws Albarghouthi
    PLDI ’23
  • Qubit Mapping and Routing via MaxSAT [PDF]
    Abtin Molavi Amanda Xu Swamit Tannu Aws Albarghouthi
    MICRO ’22