Abtin Molavi

16 papers A* 1A 1B 1Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2026 A conf
A Case for Elastic Quantum Error Correction Decoders.
EuroSys
Satvik Maurya, Abtin Molavi, Aws Albarghouthi, Swamit Tannu
2026 J jnl
Analyzing Decoders for Quantum Error Correction.
CoRR
Abtin Molavi, Feras Saad, Aws Albarghouthi
2026 J jnl
Generating Compilers for Qubit Mapping and Routing.
Proc. ACM Program. Lang.
Abtin Molavi, Amanda Xu, Ethan Cecchetti, Swamit Tannu, Aws Albarghouthi
2025 J jnl
Dependency-Aware Compilation for Surface Code Quantum Architectures.
Proc. ACM Program. Lang.
Abtin Molavi, Amanda Xu, Swamit Tannu, Aws Albarghouthi
2025 J jnl
Generating Compilers for Qubit Mapping and Routing.
CoRR
Abtin Molavi, Amanda Xu, Ethan Cecchetti, Swamit Tannu, Aws Albarghouthi
2025 — conf
Optimizing Quantum Circuits, Fast and Slow.
ASPLOS (1)
Amanda Xu, Abtin Molavi, Swamit Tannu, Aws Albarghouthi
2024 J jnl
Optimizing Quantum Circuits, Fast and Slow.
CoRR
Amanda Xu, Abtin Molavi, Swamit Tannu, Aws Albarghouthi
2023 J jnl
Compilation for Surface Code Quantum Computers.
CoRR
Abtin Molavi, Amanda Xu, Swamit Tannu, Aws Albarghouthi
2023 J jnl
Synthesizing Quantum-Circuit Optimizers.
Proc. ACM Program. Lang.
Amanda Xu, Abtin Molavi, Lauren Pick, Swamit Tannu, Aws Albarghouthi
2022 A* conf
Qubit Mapping and Routing via MaxSAT.
MICRO
Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi
2022 J jnl
Qubit Mapping and Routing via MaxSAT.
CoRR
Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi
2022 J jnl
Synthesizing Quantum-Circuit Optimizers.
CoRR
Amanda Xu, Abtin Molavi, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi
2021 B conf
Hyperparameter Choice as Search Bias in AlphaZero.
SMC
Eric M. Weiner, George D. Montañez, Aaron Trujillo, Abtin Molavi
2020 — conf
MCBAT: Model Counting for Constraints over Bounded Integer Arrays.
VSTTE
Abtin Molavi, Tommy Schneider, Mara Downing, Lucas Bang
2020 — conf
MCBAT: a practical tool for model counting constraints on bounded integer arrays.
ESEC/SIGSOFT FSE
Abtin Molavi, Mara Downing, Tommy Schneider, Lucas Bang
2020 — conf
Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis.
GandALF
Mara Downing, Abtin Molavi, Lucas Bang