| 2025 | QCE | Quantum Programming in Depth: Project-based Approach to Learning Quantum Computing. | Mariia Mykhailova |
| 2023 | QCE | Teaching Quantum Computing Using Microsoft Quantum Development Kit and Azure Quantum. | Mariia Mykhailova |
| 2023 | SC | Using Azure Quantum Resource Estimator for Assessing Performance of Fault Tolerant Quantum Computation. | Wim van Dam, Mariia Mykhailova, Mathias Soeken |
| 2022 | DAC | Automatic oracle generation in microsoft's quantum development kit using QIR and LLVM passes. | Mathias Soeken, Mariia Mykhailova |
| 2022 | QCE | Developing Programming Assignments for Teaching Quantum Computing and Quantum Programming. | Mariia Mykhailova |
| 2021 | DATE | A Resource Estimation and Verification Workflow in Q# Special session paper. | Mathias Soeken, Mariia Mykhailova, Vadym Kliuchnikov, Christopher E. Granade, Alexander Vaschillo |
| 2021 | QCE | Testing Quantum Programs using Q# and Microsoft Quantum Development Kit. | Mariia Mykhailova, Mathias Soeken |
| 2021 | SIGCSE | Developing Programming Exercises for Teaching Quantum Computing. | Mariia Mykhailova |
| 2020 | SIGCSE | Introduction to Quantum Computing. | Christopher E. Granade, Mariia Mykhailova, Mark Tsang |
| 2020 | SIGCSE | The Quantum Katas: Learning Quantum Computing using Programming Exercises. | Mariia Mykhailova |
| 2020 | SIGCSE | Teaching Quantum Computing through a Practical Software-driven Approach: Experience Report. | Mariia Mykhailova, Krysta M. Svore |
| 2018 | CGO | Q#: Enabling Scalable Quantum Computing and Development with a High-level DSL. | Krysta M. Svore, Alan Geller, Matthias Troyer, John Azariah, Christopher E. Granade, Bettina Heim, Vadym Kliuchnikov, Mariia Mykhailova, Andres Paz, Martin Roetteler |
| 2015 | PADL | Declaratively Solving Google Code Jam Problems with Picat. | Sergii Dymchenko, Mariia Mykhailova |
| 2015 | SAC | Declaratively solving tricky google code jam problems with prolog-based ECLiPSe CLP system. | Sergii Dymchenko, Mariia Mykhailova |