Abtin Molavi

According to our database, Abtin Molavi authored at least 12 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Analyzing Decoders for Quantum Error Correction.

Abtin Molavi, Feras Saad, Aws Albarghouthi

CoRR, March, 2026

Generating Compilers for Qubit Mapping and Routing.

Abtin Molavi, Amanda Xu, Ethan Cecchetti, Swamit Tannu, Aws Albarghouthi

Proc. ACM Program. Lang., 2026

A Case for Elastic Quantum Error Correction Decoders.

Satvik Maurya, Abtin Molavi, Aws Albarghouthi, Swamit Tannu

Proceedings of the 21st European Conference on Computer Systems, 2026

2025

Dependency-Aware Compilation for Surface Code Quantum Architectures.

Abtin Molavi, Amanda Xu, Swamit Tannu, Aws Albarghouthi

Proc. ACM Program. Lang., 2025

Optimizing Quantum Circuits, Fast and Slow.

Amanda Xu, Abtin Molavi, Swamit Tannu, Aws Albarghouthi

Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025

2023

Synthesizing Quantum-Circuit Optimizers.

Amanda Xu, Abtin Molavi, Lauren Pick, Swamit Tannu, Aws Albarghouthi

Proc. ACM Program. Lang., 2023

Compilation for Surface Code Quantum Computers.

Abtin Molavi, Amanda Xu, Swamit Tannu, Aws Albarghouthi

CoRR, 2023

2022

Qubit Mapping and Routing via MaxSAT.

Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi

Proceedings of the 55th IEEE/ACM International Symposium on Microarchitecture, 2022

2021

Hyperparameter Choice as Search Bias in AlphaZero.

Eric M. Weiner, George D. Montañez, Aaron Trujillo, Abtin Molavi

Proceedings of the 2021 IEEE International Conference on Systems, Man, and Cybernetics, 2021

2020

Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis.

Mara Downing, Abtin Molavi, Lucas Bang

Proceedings of the Proceedings 11th International Symposium on Games, 2020

MCBAT: Model Counting for Constraints over Bounded Integer Arrays.

Abtin Molavi, Tommy Schneider, Mara Downing, Lucas Bang

Proceedings of the Software Verification - 12th International Conference, 2020

MCBAT: a practical tool for model counting constraints on bounded integer arrays.

Abtin Molavi, Mara Downing, Tommy Schneider, Lucas Bang

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020