Abtin Molavi

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 9

Top Topics

Quantum Computation

Symbolic Execution

Top Venues

Proc. ACM Program. Lang.

Publications

Amanda Xu, Abtin Molavi, Lauren Pick, Swamit Tannu, Aws Albarghouthi
Synthesizing Quantum-Circuit Optimizers. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Abtin Molavi, Amanda Xu, Swamit Tannu, Aws Albarghouthi
Compilation for Surface Code Quantum Computers. CoRR (2023)
Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit Tannu, Aws Albarghouthi
Qubit Mapping and Routing via MaxSAT. CoRR (2022)
Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit Tannu, Aws Albarghouthi
Qubit Mapping and Routing via MaxSAT. MICRO (2022)
Amanda Xu, Abtin Molavi, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi
Synthesizing Quantum-Circuit Optimizers. CoRR (2022)
Eric M. Weiner, George D. Montañez, Aaron Trujillo, Abtin Molavi
Hyperparameter Choice as Search Bias in AlphaZero. SMC (2021)
Abtin Molavi, Mara Downing, Tommy Schneider, Lucas Bang
MCBAT: a practical tool for model counting constraints on bounded integer arrays. ESEC/SIGSOFT FSE (2020)
Abtin Molavi, Tommy Schneider, Mara Downing, Lucas Bang
MCBAT: Model Counting for Constraints over Bounded Integer Arrays. VSTTE (2020)
Mara Downing, Abtin Molavi, Lucas Bang
Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis. GandALF (2020)