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

  • A Case for Elastic Quantum Error Correction Decoders [PDF]
    Satvik Maurya, Abtin Molavi, Aws Albarghouthi, Swamit Tannu
    EuroSys ‘26
  • Generating Compilers for Qubit Mapping and Routing [PDF]
    Abtin Molavi, Amanda Xu, Ethan Cecchetti, Swamit Tannu, Aws Albarghouthi
    POPL ‘26
  • 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