Abtin Molavi

According to our database, Abtin Molavi authored at least 7 papers between 2020 and 2023.

Collaborative distances:

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

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