Mariia Mykhailova

According to our database, Mariia Mykhailova authored at least 15 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Using Azure Quantum Resource Estimator for Assessing Performance of Fault Tolerant Quantum Computation.

Wim van Dam, Mariia Mykhailova, Mathias Soeken

Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, 2023

Teaching Quantum Computing Using Microsoft Quantum Development Kit and Azure Quantum.

Mariia Mykhailova

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

2022

Developing Programming Assignments for Teaching Quantum Computing and Quantum Programming.

Mariia Mykhailova

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2022

Automatic oracle generation in microsoft's quantum development kit using QIR and LLVM passes.

Mathias Soeken, Mariia Mykhailova

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2021

Developing Programming Exercises for Teaching Quantum Computing.

Mariia Mykhailova

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

Testing Quantum Programs using Q# and Microsoft Quantum Development Kit.

Mariia Mykhailova, Mathias Soeken

Proceedings of the Short Papers Proceedings of the 2nd International Workshop on Software Engineering & Technology (Q-SET 2021) co-located with IEEE International Conference on Quantum Computing and Engineering (IEEE Quantum Week 2021), 2021

A Resource Estimation and Verification Workflow in Q# Special session paper.

Mathias Soeken, Mariia Mykhailova, Vadym Kliuchnikov, Christopher E. Granade, Alexander Vaschillo

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2020

Teaching Quantum Computing through a Practical Software-driven Approach: Experience Report.

Mariia Mykhailova, Krysta M. Svore

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

The Quantum Katas: Learning Quantum Computing using Programming Exercises.

Mariia Mykhailova

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

Introduction to Quantum Computing.

Christopher E. Granade, Mariia Mykhailova, Mark Tsang

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

2018

Q#: Enabling scalable quantum computing and development with a high-level domain-specific language.

Krysta M. Svore, Alan Geller, Matthias Troyer, John Azariah, Christopher E. Granade, Bettina Heim, Vadym Kliuchnikov, Mariia Mykhailova, Andres Paz, Martin Roetteler

CoRR, 2018

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

Proceedings of the Real World Domain Specific Languages Workshop, 2018

2017

Apache REEF: Retainable Evaluator Execution Framework.

Byung-Gon Chun, Tyson Condie, Yingda Chen, Brian Cho, Andrew Chung, Carlo Curino, Chris Douglas, Matteo Interlandi, Beomyeol Jeon, Joo Seong Jeong, Gyewon Lee, Yunseong Lee, Tony Majestro, Dahlia Malkhi, Sergiy Matusevych, Brandon Myers, Mariia Mykhailova, Shravan M. Narayanamurthy, Joseph Noor, Raghu Ramakrishnan, Sriram Rao, Russell Sears, Beysim Sezgin, Taegeon Um, Julia Wang, Markus Weimer, Youngseok Yang

ACM Trans. Comput. Syst., 2017

2015

Declaratively solving tricky google code jam problems with prolog-based ECLiPSe CLP system.

Sergii Dymchenko, Mariia Mykhailova

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Declaratively Solving Google Code Jam Problems with Picat.

Sergii Dymchenko, Mariia Mykhailova

Proceedings of the Practical Aspects of Declarative Languages, 2015