Mariia Mykhailova

18 papers A* 1A 5C 1Misc 3Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2023 Misc conf
Teaching Quantum Computing Using Microsoft Quantum Development Kit and Azure Quantum.
QCE
Mariia Mykhailova
2023 — conf
Using Azure Quantum Resource Estimator for Assessing Performance of Fault Tolerant Quantum Computation.
SC Workshops
Wim van Dam, Mariia Mykhailova, Mathias Soeken
2022 A* conf
Automatic oracle generation in microsoft's quantum development kit using QIR and LLVM passes.
DAC
Mathias Soeken, Mariia Mykhailova
2022 Misc conf
Developing Programming Assignments for Teaching Quantum Computing and Quantum Programming.
QCE
Mariia Mykhailova
2021 A conf
A Resource Estimation and Verification Workflow in Q# Special session paper.
DATE
Mathias Soeken, Mariia Mykhailova, Vadym Kliuchnikov, Christopher E. Granade, Alexander Vaschillo
2021 A conf
Developing Programming Exercises for Teaching Quantum Computing.
SIGCSE
Mariia Mykhailova
2021 — conf
Testing Quantum Programs using Q# and Microsoft Quantum Development Kit.
Q-SET@QCE
Mariia Mykhailova, Mathias Soeken
2020 A conf
Introduction to Quantum Computing.
SIGCSE
Christopher E. Granade, Mariia Mykhailova, Mark Tsang
2020 A conf
Teaching Quantum Computing through a Practical Software-driven Approach: Experience Report.
SIGCSE
Mariia Mykhailova, Krysta M. Svore
2020 J jnl
Teaching Quantum Computing through a Practical Software-driven Approach: Experience Report.
CoRR
Mariia Mykhailova, Krysta M. Svore
2020 A conf
The Quantum Katas: Learning Quantum Computing using Programming Exercises.
SIGCSE
Mariia Mykhailova
2018 — conf
Q#: Enabling Scalable Quantum Computing and Development with a High-level DSL.
RWDSL@CGO
Krysta M. Svore, Alan Geller, Matthias Troyer, John Azariah, Christopher E. Granade, Bettina Heim, Vadym Kliuchnikov, Mariia Mykhailova, Andres Paz, Martin Roetteler
2018 J jnl
Q#: Enabling scalable quantum computing and development with a high-level domain-specific language.
CoRR
Krysta M. Svore, Alan Geller, Matthias Troyer, John Azariah, Christopher E. Granade, Bettina Heim, Vadym Kliuchnikov, Mariia Mykhailova, Andres Paz, Martin Roetteler
2017 J jnl
Apache REEF: Retainable Evaluator Execution Framework.
ACM Trans. Comput. Syst.
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
2015 C conf
Declaratively Solving Google Code Jam Problems with Picat.
PADL
Sergii Dymchenko, Mariia Mykhailova
2015 J jnl
Declaratively solving Google Code Jam problems with Picat.
CoRR
Sergii Dymchenko, Mariia Mykhailova
2015 Misc conf
Declaratively solving tricky google code jam problems with prolog-based ECLiPSe CLP system.
SAC
Sergii Dymchenko, Mariia Mykhailova
2014 J jnl
Declaratively solving tricky Google Code Jam problems with Prolog-based ECLiPSe CLP system.
CoRR
Sergii Dymchenko, Mariia Mykhailova