| Qubit mapping and routing via maxsat A Molavi, A Xu, M Diges, L Pick, S Tannu, A Albarghouthi 2022 55th IEEE/ACM International Symposium on Microarchitecture (MICRO …, 2022 | 46 | 2022 |
| Petr4: formal foundations for p4 data planes R Doenges, MT Arashloo, S Bautista, A Chang, N Ni, S Parkinson, ... Proceedings of the ACM on Programming Languages 5 (POPL), 1-32, 2021 | 35 | 2021 |
| Synthesizing Quantum-Circuit Optimizers A Xu, A Molavi, L Pick, S Tannu, A Albarghouthi Proceedings of the ACM on Programming Languages 7 (PLDI), 835-859, 2023 | 25 | 2023 |
| Compilation for Surface Code Quantum Computers A Molavi, A Xu, S Tannu, A Albarghouthi arXiv preprint arXiv:2311.18042, 2023 | 3 | 2023 |
| Optimizing Quantum Circuits, Fast and Slow A Xu, A Molavi, S Tannu, A Albarghouthi arXiv preprint arXiv:2411.04104, 2024 | | 2024 |
