Abtin Molavi - RankMe

16 papers A* 1A 1B 1Journal 9Unranked 4

Year	Rank	Type	Title / 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