Abtin Molavi

Orcid: 0009-0006-1841-9565

According to our database1, Abtin Molavi authored at least 10 papers between 2020 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Generating Compilers for Qubit Mapping and Routing.
CoRR, August, 2025

Dependency-Aware Compilation for Surface Code Quantum Architectures.
Proc. ACM Program. Lang., 2025

Optimizing Quantum Circuits, Fast and Slow.
Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025

2023
Synthesizing Quantum-Circuit Optimizers.
Proc. ACM Program. Lang., 2023

Compilation for Surface Code Quantum Computers.
CoRR, 2023

2022
Qubit Mapping and Routing via MaxSAT.
Proceedings of the 55th IEEE/ACM International Symposium on Microarchitecture, 2022

2021
Hyperparameter Choice as Search Bias in AlphaZero.
Proceedings of the 2021 IEEE International Conference on Systems, Man, and Cybernetics, 2021

2020
Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis.
Proceedings of the Proceedings 11th International Symposium on Games, 2020

MCBAT: Model Counting for Constraints over Bounded Integer Arrays.
Proceedings of the Software Verification - 12th International Conference, 2020

MCBAT: a practical tool for model counting constraints on bounded integer arrays.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020


  Loading...